[gnome-shell-extensions] tweak the system menu theme

[Giovanni Campagna <gcampagna src gnome org>]

commit d8cef9d6f50fa37a9e9f818d0e3699e14e267c2a
Author: Allan Day <allanpday gmail com>
Date:   Fri Aug 23 17:32:29 2013 +0100

    tweak the system menu theme
    
    https://bugzilla.gnome.org/show_bug.cgi?id=706666

 data/gnome-classic.css |   17 ++++++++++++++++-
 1 files changed, 16 insertions(+), 1 deletions(-)
---
diff --git a/data/gnome-classic.css b/data/gnome-classic.css
index 35594d4..a6f2cd2 100644
--- a/data/gnome-classic.css
+++ b/data/gnome-classic.css
@@ -222,6 +222,21 @@
     color: #666 !important;
   }
 
+/* SYSTEM MENU */
+
+.system-menu-action {
+    color: #e6e6e6;
+    border: 1px solid #ddd; /* using rgba() is flaky unfortunately */
+}
+
+.system-menu-action:hover,
+.system-menu-action:focus,
+.system-menu-action:active {
+    color: white;
+    background-color: #4a90d9;
+    border: none;
+}
+
 /* VOLUME SLIDER */
 
 .slider {
@@ -264,4 +279,4 @@
 .system-menu-action:hover,
 .system-menu-action:focus {
     color: black !important;
-}
\ No newline at end of file
+}