# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1539067276 25200
# Node ID b5a780ac6c07673dc4f8072ae83265f13e2fa5b6
# Parent  e2c2222c0441ecb15067d725c2434af665d499af
web: Make search matches green instead of red.

diff -r e2c2222c0441 -r b5a780ac6c07 wikked/assets/css/wikked/nav.less
--- a/wikked/assets/css/wikked/nav.less	Sat Oct 06 19:52:31 2018 -0700
+++ b/wikked/assets/css/wikked/nav.less	Mon Oct 08 23:41:16 2018 -0700
@@ -131,8 +131,9 @@
 }
 
 b.match {
-    color: @color-orange;
-    background: @color-gray-light;
+    color: @color-green-dark;
+    background: @color-green;
+    padding: 0.05em 0.15em;
 }
 
 form#search {