diff options
Diffstat (limited to 'plugins/LocalFilesEditor/codemirror/lib/codemirror.css')
-rw-r--r-- | plugins/LocalFilesEditor/codemirror/lib/codemirror.css | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/plugins/LocalFilesEditor/codemirror/lib/codemirror.css b/plugins/LocalFilesEditor/codemirror/lib/codemirror.css new file mode 100644 index 000000000..578af41ae --- /dev/null +++ b/plugins/LocalFilesEditor/codemirror/lib/codemirror.css @@ -0,0 +1,53 @@ +.CodeMirror { + overflow: auto; + height: 300px; + line-height: 1em; + font-family: monospace; + _position: relative; /* IE6 hack */ +} + +.CodeMirror-gutter { + position: absolute; left: 0; top: 0; + background-color: #f7f7f7; + border-right: 1px solid #eee; + min-width: 2em; + height: 100%; +} +.CodeMirror-gutter-text { + color: #aaa; + text-align: right; + padding: .4em .2em .4em .4em; +} +.CodeMirror-lines { + padding: .4em; +} + +.CodeMirror pre { + -moz-border-radius: 0; + -webkit-border-radius: 0; + -o-border-radius: 0; + border-radius: 0; + border-width: 0; margin: 0; padding: 0; background: transparent; + font-family: inherit; +} + +.CodeMirror-cursor { + z-index: 10; + position: absolute; + visibility: hidden; + border-left: 1px solid black !important; +} +.CodeMirror-focused .CodeMirror-cursor { + visibility: visible; +} + +span.CodeMirror-selected { + background: #ccc !important; + color: HighlightText !important; +} +.CodeMirror-focused span.CodeMirror-selected { + background: Highlight !important; +} + +.CodeMirror-matchingbracket {color: #0f0 !important;} +.CodeMirror-nonmatchingbracket {color: #f22 !important;} |