diff --git a/src/ace/theme/tm.css b/src/ace/theme/tm.css index 2f7cdd73..be5ef74f 100644 --- a/src/ace/theme/tm.css +++ b/src/ace/theme/tm.css @@ -1,7 +1,7 @@ .ace-tm .ace_editor { border: 2px solid rgb(159, 159, 159); font-family: "Menlo", "Monaco", "Courier New", "Courier", monospace; - font-size: 12px; + font-size: 11px; } .ace-tm .ace_editor.ace_focus { @@ -12,8 +12,8 @@ width: 50px; background: #e8e8e8; color: #333; - font-family: Menlo, Monaco, "Courier New"; - font-size: 12px; + font-family: "Menlo", "Monaco", "Courier New", monospace; + font-size: 11px; overflow : hidden; }