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/hint.css | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'css/codeq/hint.css')

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