From 5a56bd88b4fe9dc8917995b67fcfb5fa852f8822 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 28 Feb 2017 12:13:35 +0100 Subject: CSS: add background-color for hint highlights --- css/codeq/hint.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'css') 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; } -- cgit v1.2.1