From 728071e818f4ed725ee0ff36df0de1eb9c375b28 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Thu, 20 Apr 2017 12:06:55 +0200
Subject: [PATCH] nicer starred styles on hover

---
 css/plugins/starred.less    | 28 ++++++++++++++++++++++------
 tpl/nav-page-attributes.php |  2 +-
 2 files changed, 23 insertions(+), 7 deletions(-)

diff --git a/css/plugins/starred.less b/css/plugins/starred.less
index 85e9a27..f15c941 100644
--- a/css/plugins/starred.less
+++ b/css/plugins/starred.less
@@ -2,12 +2,28 @@
  * This file provides styles for starred plugin
  */
 
+.page-attributes {
 
-.page-attributes .starred svg {
-    height: 1.6em;
-    width: 1.6em;
+    li.plugin_starred {
+        .starred svg {
+            margin-top: .1em;
+            width: 1.6em;
+            height: 1.6em;
+            font-size: 0.82rem;
+            fill: @ini_nav_menu_color;
+        }
+
+        .starred.on svg {
+            fill: @ini_link;
+        }
+
+        a:hover,
+        a:active {
+            .starred svg {
+                fill: @ini_nav_menu_hover_bg;
+            }
+        }
+
+    }
 }
 
-.page-attributes .starred.on svg {
-    fill: @ini_link;
-}
diff --git a/tpl/nav-page-attributes.php b/tpl/nav-page-attributes.php
index 3b55f1a..84bbf77 100755
--- a/tpl/nav-page-attributes.php
+++ b/tpl/nav-page-attributes.php
@@ -42,7 +42,7 @@ if($doPlugin !== null) {
 }
 
 if($starredPlugin !== null) {
-    echo '<li>';
+    echo '<li class="plugin_starred">';
     $starredPlugin->tpl_starred();
     echo '</li>';
 }