[gnome-themes-standard: 1/20] Add the new vertical menu padding.

[Jakub Steiner <jimmac src gnome org>]

commit 7190e11029ad1f1f32bf81a4898b23c9a56e2010
Author: Juraj Fiala <doctorjellyface riseup net>
Date:   Fri Apr 15 15:37:32 2016 +0200

    Add the new vertical menu padding.

 themes/Adwaita/gtk-2.0/main.rc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/themes/Adwaita/gtk-2.0/main.rc b/themes/Adwaita/gtk-2.0/main.rc
index 092a659..146624a 100644
--- a/themes/Adwaita/gtk-2.0/main.rc
+++ b/themes/Adwaita/gtk-2.0/main.rc
@@ -79,7 +79,7 @@ style "default" {
   # ( every window is misaligned for the sake of menus ):
   GtkMenuBar::internal-padding = 0
   GtkMenu::horizontal-padding  = 0
-  GtkMenu::vertical-padding    = 0
+  GtkMenu::vertical-padding    = 2
   GtkMenu::double-arrows       = 0
   GtkMenuItem::arrow-scaling   = 1
   GtkMenuItem::toggle-spacing  = 10