diff options
author | feichtmeier <frederik.feichtmeier@gmail.com> | 2019-01-21 20:31:19 +0100 |
---|---|---|
committer | Jakub Steiner <jimmac@gmail.com> | 2019-01-28 11:43:54 +0100 |
commit | fec7874d0ee55f4f1d7f2bdb8e97348bded0ea34 (patch) | |
tree | 9d411bf26d6e65bc4f89240066779fcaf770e82f /gtk/theme/Adwaita | |
parent | 72010d78944c2a194dbc8dca7fe2f820647f06e5 (diff) | |
download | gtk+-fec7874d0ee55f4f1d7f2bdb8e97348bded0ea34.tar.gz |
Reduce vertical menu padding from 8px to 4px
Diffstat (limited to 'gtk/theme/Adwaita')
-rw-r--r-- | gtk/theme/Adwaita/_common.scss | 2 |
1 files changed, 1 insertions, 1 deletions
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; |