From 779b5afa5124ae106552bbe1be73480979bd2931 Mon Sep 17 00:00:00 2001
From: Alex Monday <monday15@gmx.com>
Date: Sun, 24 Feb 2019 03:46:03 +0500
Subject: [PATCH] theme: Add bottom padding for sub menus

Prevents overlapping sub menu borders with menu item background.

Closes https://gitlab.gnome.org/GNOME/gnome-shell/issues/987
---
 data/theme/gnome-shell-sass/_common.scss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/data/theme/gnome-shell-sass/_common.scss b/data/theme/gnome-shell-sass/_common.scss
index 44bf04ec3..8359973dd 100644
--- a/data/theme/gnome-shell-sass/_common.scss
+++ b/data/theme/gnome-shell-sass/_common.scss
@@ -508,6 +508,7 @@ StScrollBar {
 
   .popup-menu-arrow { } //defined globally in the TOP BAR
   .popup-sub-menu {
+    padding-bottom: 1px;
     background-color: darken($bg_color,2%);
     box-shadow: inset 0 -1px 0px lighten($borders_color,5%);
   }