# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1411670096 25200
# Node ID 8e45a4f7f265b794b8bcd39b140897854eeb30ff
# Parent  72c522ba2da6c9876ace80dbefc3b4ad89917fb0
UI polishing.

diff -r 72c522ba2da6 -r 8e45a4f7f265 wikked/assets/css/wikked/nav.less
--- a/wikked/assets/css/wikked/nav.less	Thu Sep 25 10:55:42 2014 -0700
+++ b/wikked/assets/css/wikked/nav.less	Thu Sep 25 11:34:56 2014 -0700
@@ -18,7 +18,7 @@
     color: @color-gray-light;
 }
 .wiki-menu-a-hover {
-    background: @color-green-light;
+    background: @link-hover-color;
     text-decoration: none;
 }