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; }