From b261ffc56ec1cdb6137bb89ba16b80a6ecc39aa5 Mon Sep 17 00:00:00 2001
From: Vytenis Sodaitis <nforce25@gmail.com>
Date: Fri, 24 Jul 2015 22:36:07 +0300
Subject: [PATCH] fixes for bug #197: menus

---
 Paper/gtk-3.0/widgets/menus.css | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Paper/gtk-3.0/widgets/menus.css b/Paper/gtk-3.0/widgets/menus.css
index 87565f6..e7be6bd 100644
--- a/Paper/gtk-3.0/widgets/menus.css
+++ b/Paper/gtk-3.0/widgets/menus.css
@@ -29,7 +29,6 @@
 .context-menu,
 .menu,
 .popup {
-    padding: 4px 0;
     border-radius: 2px;
     border-image: none;
     background-color: @background;
@@ -56,10 +55,17 @@
 }
 
 /* Menu Item */
+.menuitem {
+	padding: 6px 4px;
+}
+.menu .menuitem,
+.popup .menuitem {
+	padding: 4px 0px;
+}
+
 .menuitem,
 .menu .menuitem,
 .popup .menuitem {
-    padding: 6px 4px;
     border:none;
 
     -GtkMenuItem-arrow-scaling: 0.5;