From 5a56bd88b4fe9dc8917995b67fcfb5fa852f8822 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
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(-)

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