From c41cfe5ae2b44a2af095e12c53e18cc4763eb45b Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Fri, 1 Mar 2013 16:48:22 +0000
Subject: [PATCH] Fix to CodeMirror display area

CodeMirror v3.1 extended it's CSS margin bottom by 30px. Plus also
change BG style font etc to be more in line with editor.php.
---
 lib/settings-screen.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index a239475..e230b19 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -11,8 +11,8 @@
 <script src="../<?php echo $ICEcoder["codeMirrorDir"]; ?>/lib/codemirror-compressed.js"></script>
 
 <style type="text/css">
-.CodeMirror {position: absolute; width: 0; background-color: #fff; color: #000; font-family: monospace; width: 420px}
-.CodeMirror-scroll {height: 240px; overflow: hidden}
+.CodeMirror {position: absolute; width: 420px; height: 240px; font-size: 13px}
+.CodeMirror-scroll {overflow: hidden}
 /* Make sure this next one remains the 3rd item, updated with JS */
 .cm-tab:after {position: relative; display: inline-block; width: 0; left: -1.4em; overflow: visible; color: #aaa; content: "<?php if($ICEcoder["visibleTabs"]) {echo '\21e5';};?>";}
 </style>