From aa03a915f7a225a44a51d2a8dfe3c064ae8ef32b Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Thu, 28 Jul 2011 14:36:15 +0200 Subject: [PATCH] use the same font for the gutter and the editor --- lib/ace/css/editor.css | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index 6be881fc..81890948 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -1,8 +1,7 @@ .ace_editor { position: absolute; overflow: hidden; - - font-family: "Menlo", "Monaco", "Courier New", monospace; + font-family: Monaco, "Menlo", "Courier New", monospace; font-size: 12px; } @@ -98,7 +97,6 @@ } .ace_text-layer { - font-family: Monaco, "Courier New", monospace; color: black; }