diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-17 17:40:44 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-11-17 17:40:44 +0100 |
commit | 21b4977a5e0200aa14343112f1b7b03714f9385e (patch) | |
tree | 809e62866e0e9616145c0a1897cad93fcafc23b3 /css/codeq.css | |
parent | 64778c1479a565b85cdff1d8cc5dce4a72fac600 (diff) |
Support different highlight colors for popup hints
Diffstat (limited to 'css/codeq.css')
-rw-r--r-- | css/codeq.css | 5 |
1 files changed, 0 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; |