IE6 tweaks - still doesn't work in that browser though

firemonkeyio · Feb 19, 2011 · 333cdaf · 333cdaf
1 parent a05b9ba
commit 333cdaf
Showing 1 changed file with 1 addition and 17 deletions.
diff --git a/css/codemirror.css b/css/codemirror.css
@@ -2,7 +2,7 @@
   margin: .4em;
   padding: 0;
   font-family: Monaco, consolas, monospace;
-  font-size: 10pt;
+  font-size: 12pt;
   color: black;
 }
 
@@ -50,14 +50,6 @@ span.xml-text {
   color: black;
 }
 
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monaco, consolas, monospace;
-  font-size: 12pt;
-  color: black;
-}
-
 pre.code, .editbox {
   color: #666666;
 }
@@ -106,14 +98,6 @@ span.js-string {
   color: #AA2222;
 }
 
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: Monaco, consolas, monospace;
-  font-size: 10pt;
-  color: black;
-}
-
 pre.code, .editbox {
   color: #666666;
 }