summaryrefslogtreecommitdiff
path: root/css
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-28 12:13:35 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-28 12:13:35 +0100
commit5a56bd88b4fe9dc8917995b67fcfb5fa852f8822 (patch)
treea8dc532a76dc35f958acf68cf921fe42bdaa0216 /css
parent9900670aa934a7bfccdfef8fd088e74051d78a9a (diff)
CSS: add background-color for hint highlights
Diffstat (limited to 'css')
-rw-r--r--css/codeq/hint.css3
1 files changed, 2 insertions, 1 deletions
diff --git a/css/codeq/hint.css b/css/codeq/hint.css
index 4cdb0ca..0bc3c95 100644
--- a/css/codeq/hint.css
+++ b/css/codeq/hint.css
@@ -1,5 +1,5 @@
/* CodeQ: an online programming tutor.
- Copyright (C) 2015,2016 UL FRI
+ Copyright (C) 2015-2017 UL FRI
This program is free software: you can redistribute it and/or modify it under
the terms of the GNU Affero General Public License as published by the Free
@@ -58,6 +58,7 @@ div.hints > div.feedback > div {
/* the highlighted part of the text, used in pop-up and drop-down hints */
.editor-mark.highlight {
+ background-color: #ffebeb;
color: red;
text-decoration: dotted underline;
}