[gnome-themes-standard] menu: fix appearance of scroll buttons in menus

[Cosimo Cecchi <cosimoc src gnome org>]

commit 18f0ad2049bc2f40882988c6f2c96ee345b05d35
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Tue Sep 13 16:11:29 2011 -0400

    menu: fix appearance of scroll buttons in menus
    
    Don't give them the regular button background/border, but fade them in
    the menu background.

 themes/Adwaita/gtk-3.0/gtk-widgets.css |   46 ++++++++++++++++++++------------
 1 files changed, 29 insertions(+), 17 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index cc0f718..cd5282a 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -690,23 +690,6 @@ GtkTreeMenu.menu {
     background-color: @theme_base_color;
 }
 
-GtkTreeMenu.menu.button {
-    background-image: none;
-    background-color: @theme_base_color;
-    color: @internal_element_color;
-}
-
-GtkTreeMenu.menu.button:hover {
-    background-image: none;
-    background-color: @theme_base_color;
-    color: @theme_text_color;
-}
-
-GtkTreeMenu.menu.button:insensitive {
-    background-color: @theme_base_color;
-    color: lighter(@internal_element_color);
-}
-
 GtkTreeMenu .menuitem {
     padding: 2;
 
@@ -726,6 +709,35 @@ GtkTreeMenu .menuitem * {
     border-style: none;
 }
 
+.menu.button {
+    background-image: none;
+    background-color: @theme_base_color;
+    color: @internal_element_color;
+
+    border-image: none;
+    border-style: none;
+    border-width: 0;
+}
+
+.menu.button:hover {
+    background-image: none;
+    background-color: @theme_base_color;
+    color: @theme_text_color;
+
+    border-image: none;
+    border-style: none;
+    border-width: 0;
+}
+
+.menu.button:insensitive {
+    background-color: @theme_base_color;
+    color: lighter(@internal_element_color);
+
+    border-image: none;
+    border-style: none;
+    border-width: 0;
+}
+
 /* this controls the general appearance of the menubar */
 .menubar {
     border-color: @theme_bg_color;