[gtk-engines/gnome3] some vertical padding in menus

[Hylke Bons <hbons src gnome org>]

commit 1756c48f4b8d5e1cfabf42fb4f3c5ef7721459ef
Author: Hylke Bons <hylke bons intel com>
Date:   Fri Apr 2 17:08:11 2010 +0100

    some vertical padding in menus

 themes/GNOME3/gtk-2.0/gtkrc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/themes/GNOME3/gtk-2.0/gtkrc b/themes/GNOME3/gtk-2.0/gtkrc
index 2b50f89..675163f 100644
--- a/themes/GNOME3/gtk-2.0/gtkrc
+++ b/themes/GNOME3/gtk-2.0/gtkrc
@@ -223,7 +223,7 @@ style "menubar" {
 
 style "menu" {
 	xthickness = 0
-	ythickness = 0
+	ythickness = 3
 
 	bg[NORMAL]        = shade (1.08, @bg_color)