diff options
Diffstat (limited to '')
-rw-r--r-- | public/css/index.css | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/public/css/index.css b/public/css/index.css index 5cb33089..27834c8f 100644 --- a/public/css/index.css +++ b/public/css/index.css @@ -95,6 +95,20 @@ body { .CodeMirror-sizer { margin-bottom: 0px !important; } +.CodeMirror-insert-match { + background: lawngreen; + border: 1px solid limegreen; + -moz-box-sizing: border-box; + box-sizing: border-box; + opacity: .5; +} +.CodeMirror-delete-match { + background: indianred; + border: 1px solid darkred; + -moz-box-sizing: border-box; + box-sizing: border-box; + opacity: .5; +} .ui-content { height: 100%; margin-left: 0; |