diff --git a/static/atom.css b/static/atom.css index e7b073fb5..3daa50629 100644 --- a/static/atom.css +++ b/static/atom.css @@ -1,5 +1,5 @@ html, body { - font: 16px Inconsolata, Monaco, Courier !important; + font: caption !important; width: 100%; height: 100%; overflow: hidden; diff --git a/static/editor.css b/static/editor.css index e1892bee1..6a5cfc18b 100644 --- a/static/editor.css +++ b/static/editor.css @@ -6,6 +6,7 @@ -webkit-box-flex: 1; position: relative; z-index: 0; + font: 16px Inconsolata, Monaco, Courier !important; } .editor.mini {