diff options
| author | Allan Day <allanpday@gmail.com> | 2013-08-23 10:30:04 +0100 |
|---|---|---|
| committer | Jakub Steiner <jimmac@gmail.com> | 2013-08-23 13:47:19 +0200 |
| commit | fcc1628cb81f8537b56aa7b79ea7ee11d1d3d2fe (patch) | |
| tree | 69542b2232af9286a8542180431bd47d6a487005 | |
| parent | 5cb0a7ecf78e49d8a451480b1b50f2af2bbe93a4 (diff) | |
| download | gnome-themes-standard-fcc1628cb81f8537b56aa7b79ea7ee11d1d3d2fe.tar.gz | |
Add 1px height to HeaderBar image buttons
This makes them the same height as text buttons, and accomodates
the double stroke on the bottom edge.
https://bugzilla.gnome.org/show_bug.cgi?id=706644
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index cf6223de..6efd7a78 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2603,7 +2603,7 @@ GtkCheckButton:selected:focus { } .header-bar .button.image-button { - padding: 5px 4px 4px 5px; + padding: 5px 4px 5px 5px; } /******************** |