From 254719ee5035edd3de7f56cf9c79283bd6c298ee Mon Sep 17 00:00:00 2001
From: feichtmeier <frederik.feichtmeier@gmail.com>
Date: Mon, 21 Jan 2019 20:31:19 +0100
Subject: [PATCH] Reduce vertical menu padding from 8px to 4px

---
 gtk/theme/Adwaita/_common.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 7f109357a4..62d61bddd1 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -2127,7 +2127,7 @@ menu,
 .menu,
 .context-menu {
   margin: 4px; // see https://bugzilla.gnome.org/show_bug.cgi?id=591258
-  padding: 8px 0px;
+  padding: 4px 0px;
   background-color: $menu_color;
   border: 1px solid $borders_color; // adds borders in a non composited env
   border-radius: $menu_radius;