diff options
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; |