diff options
| -rw-r--r-- | css/codeq/hint.css | 3 |
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; } |