[gnome-themes-standard] Add a margin to menus

[Matthias Clasen <matthiasc src gnome org>]

commit 7bf01517bc28cae53a2dd131241f045c92c77c20
Author: Matthias Clasen <mclasen redhat com>
Date:   Thu Mar 6 19:45:04 2014 -0500

    Add a margin to menus
    
    This is now used by GTK+ to displace context menus to avoid
    'pop up under the pointer' disease.

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index 493dca3..310b482 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -2314,6 +2314,7 @@ GtkTreeMenu .menuitem,
     color: @menu_fg_color;
     padding: 0;
     border-style: none;
+    margin: 4px;
 }
 
 .menu.button {