From 6273bcdd3f8bf5012a49e3c4166982e2ccac3ac4 Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Sat, 20 Apr 2013 16:05:49 +0100 Subject: [PATCH] Removed font-size To allow the editor's font-size to be controlled by user --- CodeMirror-3.12/theme/rubyblue.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CodeMirror-3.12/theme/rubyblue.css b/CodeMirror-3.12/theme/rubyblue.css index 8817de0..23c0cc7 100644 --- a/CodeMirror-3.12/theme/rubyblue.css +++ b/CodeMirror-3.12/theme/rubyblue.css @@ -1,4 +1,4 @@ -.cm-s-rubyblue { font:13px/1.4em Trebuchet, Verdana, sans-serif; } /* - customized editor font - */ +.cm-s-rubyblue { font-family: Trebuchet, Verdana, sans-serif; } /* - customized editor font - */ .cm-s-rubyblue.CodeMirror { background: #112435; color: white; } .cm-s-rubyblue div.CodeMirror-selected { background: #38566F !important; }