diff options
Diffstat (limited to 'css')
| -rw-r--r-- | css/codeq.css | 5 | ||||
| -rw-r--r-- | css/codeq/hint.css | 17 |
2 files changed, 17 insertions, 5 deletions
diff --git a/css/codeq.css b/css/codeq.css index e82cf85..03bb08e 100644 --- a/css/codeq.css +++ b/css/codeq.css @@ -439,11 +439,6 @@ div.vertical-line{ /* codeq hints */ -/* the highlighted part of the text, used in pop-up and drop-down hints */ -.editor-mark { - background-color: #e7c3c3; -} - /* the pop-up window, it is already absolutely positioned and its and positioning properties controlled from CodeMirror */ .editor-popup { background: #245269; diff --git a/css/codeq/hint.css b/css/codeq/hint.css index 17f7b6d..7323a59 100644 --- a/css/codeq/hint.css +++ b/css/codeq/hint.css @@ -27,3 +27,20 @@ a.hint-static-link { .hints > div:hover { opacity: 1; } + +/* the highlighted part of the text, used in pop-up and drop-down hints */ +.editor-mark { + background-color: #e7c3c3; +} + +.editor-mark.insert { + background-color: #b9ed61; +} + +.editor-mark.remove { + background-color: #ffbb99; +} + +.editor-mark.change { + background-color: #f4dd32; +} |