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 {