From d071027087bd4f467216933b0d60ceca1a012762 Mon Sep 17 00:00:00 2001 From: nightwing Date: Mon, 1 Oct 2012 20:22:54 +0400 Subject: [PATCH] use fonts that have bold face with same width --- demo/kitchen-sink/styles.css | 4 ---- kitchen-sink.html | 2 ++ lib/ace/css/editor.css | 6 +++++- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/demo/kitchen-sink/styles.css b/demo/kitchen-sink/styles.css index e5909787..ec3578aa 100644 --- a/demo/kitchen-sink/styles.css +++ b/demo/kitchen-sink/styles.css @@ -1,7 +1,3 @@ -/*PACKAGE -@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono); - PACKAGE*/ - html { height: 100%; width: 100%; diff --git a/kitchen-sink.html b/kitchen-sink.html index 176257d8..85d68408 100644 --- a/kitchen-sink.html +++ b/kitchen-sink.html @@ -16,10 +16,12 @@ + diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css index 015cff6c..664840fd 100644 --- a/lib/ace/css/editor.css +++ b/lib/ace/css/editor.css @@ -1,7 +1,7 @@ .ace_editor { position: absolute; overflow: hidden; - font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Droid Sans Mono', 'Consolas', monospace; + font-family: 'Menlo', 'Monaco', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace; font-size: 12px; } @@ -352,6 +352,10 @@ font-weight: bold; } +.ace_nobold .ace_bold { + font-weight: normal; +} + .ace_italic { font-style: italic; }