From b3143e6cc0f35a83dd83cb4f03d7620bb36f71e3 Mon Sep 17 00:00:00 2001
From: Marc Delisle <marc@infomarc.info>
Date: Fri, 20 Jan 2012 04:25:44 -0500
Subject: [PATCH] Increase CodeMirror font size

---
 themes/original/css/theme_right.css.php | 2 +-
 themes/pmahomme/css/theme_right.css.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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;