[gtk/wip/jimmac/adwaita-3-32] HighContrast: Add menu padding

[Jakub Steiner <jimmac src gnome org>]

commit 950480cea46c1a527ac2f0ee10ae2022e2b30d57
Author: Alex Monday <monday15 gmx com>
Date:   Mon Dec 24 11:00:19 2018 +0500

    HighContrast: Add menu padding
    
    Add 1px padding to menus, to prevent menuitems and overflow buttons
    overlapping with menu's border.

 gtk/theme/HighContrast/_common.scss              | 2 +-
 gtk/theme/HighContrast/gtk-contained-inverse.css | 2 +-
 gtk/theme/HighContrast/gtk-contained.css         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 9b6cde1d5a..d9f5657f5b 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1568,7 +1568,7 @@ menubar,
 menu,
 .menu {
   margin: 4px;
-  padding: 0px;
+  padding: 1px;
   background-color: $base_color;
   border: 1px solid $borders_color;
   & menuitem {
diff --git a/gtk/theme/HighContrast/gtk-contained-inverse.css 
b/gtk/theme/HighContrast/gtk-contained-inverse.css
index 313980cb4c..03ca2d6055 100644
--- a/gtk/theme/HighContrast/gtk-contained-inverse.css
+++ b/gtk/theme/HighContrast/gtk-contained-inverse.css
@@ -633,7 +633,7 @@ menubar > menuitem:hover, .menubar > menuitem:hover { box-shadow: inset 0 -3px #
 
 menubar > menuitem:disabled, .menubar > menuitem:disabled { color: gray; box-shadow: none; }
 
-menu, .menu { margin: 4px; padding: 0px; background-color: #111; border: 1px solid gray; }
+menu, .menu { margin: 4px; padding: 1px; background-color: #111; border: 1px solid gray; }
 
 menu menuitem, .menu menuitem { text-shadow: none; padding: 4px; min-width: 40px; }
 
diff --git a/gtk/theme/HighContrast/gtk-contained.css b/gtk/theme/HighContrast/gtk-contained.css
index c174d6c607..ccfc15f14d 100644
--- a/gtk/theme/HighContrast/gtk-contained.css
+++ b/gtk/theme/HighContrast/gtk-contained.css
@@ -637,7 +637,7 @@ menubar > menuitem:hover, .menubar > menuitem:hover { box-shadow: inset 0 -3px #
 
 menubar > menuitem:disabled, .menubar > menuitem:disabled { color: gray; box-shadow: none; }
 
-menu, .menu { margin: 4px; padding: 0px; background-color: #fff; border: 1px solid gray; }
+menu, .menu { margin: 4px; padding: 1px; background-color: #fff; border: 1px solid gray; }
 
 menu menuitem, .menu menuitem { text-shadow: none; padding: 4px; min-width: 40px; }