From a7ea8248ce8ac208477a855b68472b752587a7ac Mon Sep 17 00:00:00 2001 From: Alex Monday Date: Mon, 24 Dec 2018 11:00:19 +0500 Subject: [PATCH] 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; }