From 21b4977a5e0200aa14343112f1b7b03714f9385e Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Tue, 17 Nov 2015 17:40:44 +0100
Subject: Support different highlight colors for popup hints

---
 css/codeq.css | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'css/codeq.css')

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;
-- 
cgit v1.2.1