summaryrefslogtreecommitdiff
path: root/css/codeq
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-17 17:40:44 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-11-17 17:40:44 +0100
commit21b4977a5e0200aa14343112f1b7b03714f9385e (patch)
tree809e62866e0e9616145c0a1897cad93fcafc23b3 /css/codeq
parent64778c1479a565b85cdff1d8cc5dce4a72fac600 (diff)
Support different highlight colors for popup hints
Diffstat (limited to 'css/codeq')
-rw-r--r--css/codeq/hint.css17
1 files changed, 17 insertions, 0 deletions
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;
+}