diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index d9ae837b..84d82520 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -4,7 +4,7 @@ .ace_editor { position: absolute; overflow: hidden; - font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Droid Sans Mono', 'Courier New', monospace; + font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Droid Sans Mono', 'Consolas', monospace; font-size: 12px; }