summaryrefslogtreecommitdiff
path: root/css
diff options
context:
space:
mode:
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;
}