Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-05 08:14:00 +01:00
Code Issues Packages Projects Releases Wiki Activity

Removed font-size

Browse Source 
To allow the editor's font-size to be controlled by user
This commit is contained in:
Matt Pass
2013-04-20 16:05:49 +01:00
parent 5b894794dd
commit 6273bcdd3f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CodeMirror-3.12/theme/rubyblue.css
View File

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