diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php
index 2b30f3a030..71fa37e96c 100644
--- a/themes/original/css/theme_right.css.php
+++ b/themes/original/css/theme_right.css.php
@@ -2191,7 +2191,7 @@ fieldset .disabled-field td {
 }
 
 .CodeMirror {
-  line-height: 1em;
+  font-size: 140%;
   font-family: monospace;
   background: white;
   border: 1px solid black;
diff --git a/themes/pmahomme/css/theme_right.css.php b/themes/pmahomme/css/theme_right.css.php
index e47b4fd796..8cce259944 100644
--- a/themes/pmahomme/css/theme_right.css.php
+++ b/themes/pmahomme/css/theme_right.css.php
@@ -2611,7 +2611,7 @@ fieldset .disabled-field td {
 }
 
 .CodeMirror {
-  line-height: 1em;
+  font-size: 140%;
   font-family: monospace;
   background: white;
   border: 1px solid black;