summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/theme/icecoder.css
diff options
context:
space:
mode:
authorCheng-Han, Wu2016-04-20 18:11:40 +0800
committerCheng-Han, Wu2016-04-20 18:11:40 +0800
commit8bf516263c6582771e7576e8484ca8cfaa8cb9cb (patch)
treeaba81172f554a50466a762db99f25e3650d7ff45 /public/vendor/codemirror/theme/icecoder.css
parentedc3a31dfdb03e910d7355144280e281eeb582d5 (diff)
Update CodeMirror to 5.13.5
Diffstat (limited to 'public/vendor/codemirror/theme/icecoder.css')
-rw-r--r--public/vendor/codemirror/theme/icecoder.css8
1 files changed, 4 insertions, 4 deletions
diff --git a/public/vendor/codemirror/theme/icecoder.css b/public/vendor/codemirror/theme/icecoder.css
index d70d26e8..ffebaf2f 100644
--- a/public/vendor/codemirror/theme/icecoder.css
+++ b/public/vendor/codemirror/theme/icecoder.css
@@ -2,7 +2,7 @@
ICEcoder default theme by Matt Pass, used in code editor available at https://icecoder.net
*/
-.cm-s-icecoder { color: #666; background: #141612; }
+.cm-s-icecoder { color: #666; background: #1d1d1b; }
.cm-s-icecoder span.cm-keyword { color: #eee; font-weight:bold; } /* off-white 1 */
.cm-s-icecoder span.cm-atom { color: #e1c76e; } /* yellow */
@@ -37,7 +37,7 @@ ICEcoder default theme by Matt Pass, used in code editor available at https://ic
.cm-s-icecoder .CodeMirror-cursor { border-left: 1px solid white; }
.cm-s-icecoder div.CodeMirror-selected { color: #fff; background: #037; }
-.cm-s-icecoder .CodeMirror-gutters { background: #141612; min-width: 41px; border-right: 0; }
+.cm-s-icecoder .CodeMirror-gutters { background: #1d1d1b; min-width: 41px; border-right: 0; }
.cm-s-icecoder .CodeMirror-linenumber { color: #555; cursor: default; }
-.cm-s-icecoder .CodeMirror-matchingbracket { border: 1px solid grey; color: black !important; }
-.cm-s-icecoder .CodeMirror-activeline-background { background: #000; } \ No newline at end of file
+.cm-s-icecoder .CodeMirror-matchingbracket { color: #fff !important; background: #555 !important; }
+.cm-s-icecoder .CodeMirror-activeline-background { background: #000; }