[gnome-shell] Theme: improve menu popup appearance

[Allan Day <allanday src gnome org>]

commit acedb60abe032dc0521c27a395d0d28f05c80642
Author: Allan Day <allanpday gmail com>
Date:   Sat Jul 30 13:00:16 2011 +0100

    Theme: improve menu popup appearance
    
    Make menu popups fully match the mockups by changing the stroke
    colour, pointer and corner radius size. This has the benefit of
    distinguishing the menu from the background and gives it a subtler
    appearance that fits the shell's aesthetic.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=655627

 data/theme/gnome-shell.css |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index edbd023..89fbbec 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -93,12 +93,12 @@ StTooltip StLabel {
 /* PopupMenu */
 
 .popup-menu-boxpointer {
-    -arrow-border-radius: 9px;
+    -arrow-border-radius: 8px;
     -arrow-background-color: rgba(0,0,0,0.9);
     -arrow-border-width: 2px;
-    -arrow-border-color: #5f5f5f;
-    -arrow-base: 30px;
-    -arrow-rise: 15px;
+    -arrow-border-color: #a5a5a5;
+    -arrow-base: 24px;
+    -arrow-rise: 11px;
 }
 
 .popup-menu {