From d6973dc24fb77b7cb20b91496b5153dcf69c3997 Mon Sep 17 00:00:00 2001
From: Jon Rohan <rohan@github.com>
Date: Tue, 25 Dec 2012 12:40:13 -0800
Subject: [PATCH] Not overriding font-size

---
 static/editor.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/editor.css b/static/editor.css
index 6a5cfc18b..f95816056 100644
--- a/static/editor.css
+++ b/static/editor.css
@@ -6,7 +6,7 @@
   -webkit-box-flex: 1;
   position: relative;
   z-index: 0;
-  font: 16px Inconsolata, Monaco, Courier !important;
+  font-family: Inconsolata, Monaco, Courier !important;
 }
 
 .editor.mini {