diff --git a/editor.php b/editor.php index 30ec075..d675906 100644 --- a/editor.php +++ b/editor.php @@ -28,13 +28,9 @@ if ($theme=="default") { .cm-s-visible {display: block; top: 0px} .cm-s-hidden {display: none; top: 4000px} .cm-s-activeLine {background: #002 !important;} - -.CodeMirror-selected {background: #037 !important;} -.CodeMirror-gutter {background: #333; border-right: 1px solid #e8e8e8} -.CodeMirror-gutter-text {color: #999; width: 35px; cursor: default} -.CodeMirror-cursor {border-left: 1px solid white !important;} -.CodeMirror-matchingbracket{border: 1px solid grey; color: black !important;} - + +.cm-tab:after {position: relative; display: inline-block; width: 0px; left: -1.4em; overflow: visible; color: #aaa; content: "\21e5";} + span.CodeMirror-matchhighlight {background: #555555} .CodeMirror-focused span.CodeMirror-matchhighlight {color: #000000; background: #555555; !important} @@ -45,7 +41,7 @@ span.CodeMirror-matchhighlight {background: #555555}