diff options
| author | Cosimo Cecchi <cosimoc@gnome.org> | 2012-12-17 11:18:05 +0100 |
|---|---|---|
| committer | Cosimo Cecchi <cosimoc@gnome.org> | 2012-12-17 11:22:35 +0100 |
| commit | 02b3968c2449ba709ba45febe1f1689ccc109ad8 (patch) | |
| tree | 5a8e298bf04af4dd77e504cced9c38920e570240 | |
| parent | de3d314bd63f63c57333b78b57744ccbbd9ffbc2 (diff) | |
| download | gnome-themes-standard-02b3968c2449ba709ba45febe1f1689ccc109ad8.tar.gz | |
menubar: fix excessive padding
GtkMenubar was changed to use the CSS padding in GTK+ git. Adapt the
theme so that the final layout of items on the bar stays the same.
https://bugzilla.gnome.org/show_bug.cgi?id=690306
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index 2fe9e222..2245c154 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2240,15 +2240,13 @@ GtkTreeMenu .menuitem, /* this controls the general appearance of the menubar */ .menubar { border-style: none; - padding: 4px; -GtkWidget-window-dragging: true; - -GtkMenuBar-internal-padding: 0; } .menubar .menuitem { border-style: none; - padding: 3px 5px; + padding: 3px 8px; } /* remove the image from the prelight areas */ |