[enh] better highlighting

2026-06-01 15:37:16 +02:00 · 2014-05-09 02:04:20 +02:00
parent 58de2801ce
commit 5d9d04a16e
4 changed files with 14 additions and 3 deletions
@@ -273,6 +273,14 @@ a {
 	float: left;
 }

+.highlight {
+    color: @color-highlight;
+}
+
+.content .highlight {
+    color: @color-black;
+}
+
 .image_result {
 	float: left;
 	margin: 10px 10px;