diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-28 12:13:35 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-28 12:13:35 +0100 |
commit | 5a56bd88b4fe9dc8917995b67fcfb5fa852f8822 (patch) | |
tree | a8dc532a76dc35f958acf68cf921fe42bdaa0216 /css | |
parent | 9900670aa934a7bfccdfef8fd088e74051d78a9a (diff) |
CSS: add background-color for hint highlights
Diffstat (limited to 'css')
-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; } |