diff --git a/en/layout/css/global.css b/en/layout/css/global.css
index fc895ac33b..ed92da0fdb 100644
--- a/en/layout/css/global.css
+++ b/en/layout/css/global.css
@@ -70,7 +70,7 @@ li > p {
 
 pre {
   font-family: monospace;
-  font-size: 1.4em;
+/*  font-size: 1.4em; */
 }
 
 tt {