[gnome-shell] theme: Add bottom padding for sub menus

[Jakub Steiner <jimmac src gnome org>]

commit 779b5afa5124ae106552bbe1be73480979bd2931
Author: Alex Monday <monday15 gmx com>
Date:   Sun Feb 24 03:46:03 2019 +0500

    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%);
   }