aboutsummaryrefslogtreecommitdiff
path: root/imports/codemirror/theme/rubyblue.css
diff options
context:
space:
mode:
authorValerio Virgillito2012-03-06 16:17:54 -0800
committerValerio Virgillito2012-03-06 16:17:54 -0800
commitc2805e03c84b6e598556fd06d1ede7aaeea7ce9c (patch)
treeb033421762f5e0fedbc8700bfc1f175c7c5cabcf /imports/codemirror/theme/rubyblue.css
parent1cd89d4d06e3a8f2c221628b19cf26a2c69f5d3f (diff)
downloadninja-c2805e03c84b6e598556fd06d1ede7aaeea7ce9c.tar.gz
Squashed commit FileIO-Build-Candidate into Master
Fixing issues with HTML and CSS URLs. Adjusted RegEx logic. Also code a mirror update and undo/redo changes were merged into this request. Signed-off-by: Valerio Virgillito <valerio@motorola.com>
Diffstat (limited to 'imports/codemirror/theme/rubyblue.css')
-rw-r--r--[-rwxr-xr-x]imports/codemirror/theme/rubyblue.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/imports/codemirror/theme/rubyblue.css b/imports/codemirror/theme/rubyblue.css
index c7127550..3c67762b 100755..100644
--- a/imports/codemirror/theme/rubyblue.css
+++ b/imports/codemirror/theme/rubyblue.css
@@ -1,7 +1,7 @@
1.cm-s-rubyblue { font:13px/1.4em Trebuchet, Verdana, sans-serif; } /* - customized editor font - */ 1.cm-s-rubyblue { font:13px/1.4em Trebuchet, Verdana, sans-serif; } /* - customized editor font - */
2 2
3.cm-s-rubyblue { background: #112435; color: white; } 3.cm-s-rubyblue { background: #112435; color: white; }
4.cm-s-rubyblue span.CodeMirror-selected { background: #0000FF !important; } 4.cm-s-rubyblue div.CodeMirror-selected { background: #38566F !important; }
5.cm-s-rubyblue .CodeMirror-gutter { background: #1F4661; border-right: 7px solid #3E7087; min-width:2.5em; } 5.cm-s-rubyblue .CodeMirror-gutter { background: #1F4661; border-right: 7px solid #3E7087; min-width:2.5em; }
6.cm-s-rubyblue .CodeMirror-gutter-text { color: white; } 6.cm-s-rubyblue .CodeMirror-gutter-text { color: white; }
7.cm-s-rubyblue .CodeMirror-cursor { border-left: 1px solid white !important; } 7.cm-s-rubyblue .CodeMirror-cursor { border-left: 1px solid white !important; }