simplify (fix?) font sizing in editor

mzero · Feb 8, 2011 · 36c32a6 · 36c32a6
1 parent 5a7cff6
commit 36c32a6
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/seed/static/codemirror.css b/seed/static/codemirror.css
@@ -6,23 +6,11 @@
 }
 
 body {
-  font:13px/1.4 "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
-  *font-size:small; /* for IE */
-  *font:x-small; /* for IE in quirks mode */
-}
-
-body.editbox {
-  font-family:monospace;
-  font-size: 93%; /* 12pt */
-  line-height: 124%;
+  font:12px/14px monospace;
   overflow: auto;
   padding: 1em 0;
 }
 
-body.editbox[readonly] {
-  background: rgb(229,237,244);
-}
-
 .paren-match { background-color: #9cc2fd; }
 .paren-error {
   background-color: #ff4d4d;