diff --git a/static/css/print.css b/static/css/print.css
index 3af3c104af..83800081e9 100644
--- a/static/css/print.css
+++ b/static/css/print.css
@@ -5,6 +5,9 @@ html,
 body #body{
     font-size: 8.9pt;
 }
+pre code {
+    font-size: 8.3pt;
+}
 code.copy-to-clipboard-inline {
     border-bottom-right-radius: 2px;
     border-top-right-radius: 2px;