diff options
author | Allan Day <allanpday@gmail.com> | 2014-01-06 15:45:09 +0000 |
---|---|---|
committer | Jakub Steiner <jimmac@gmail.com> | 2014-01-06 17:46:40 +0100 |
commit | 94c7acb1c692645301dd39c03098e9fc54885e5a (patch) | |
tree | 791e019942f4808e683678dfdbeac31c15db30c1 | |
parent | c273df2a38c27ed7d45725fea7feb17b8788b9d8 (diff) | |
download | gnome-themes-standard-94c7acb1c692645301dd39c03098e9fc54885e5a.tar.gz |
Fix up padding inside header bars
Image buttons had 1px less padding on the right. This meant
that they weren't square. It might have been caused by confusion
about the uneven bottom padding in header bars, so add a comment
about that.
Also, remove the extra 1px padding inside header bars, to account
for the extra line coming from the border.
https://bugzilla.gnome.org/show_bug.cgi?id=708802
-rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index 6aae1bb2..e803c750 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2541,7 +2541,13 @@ GtkCheckButton:selected:focus { box-shadow: inset 0 -1px shade(@borders, 1.30); background-color: @theme_bg_color; - padding: 6px 6px 5px 6px; + /* Header bar buttons have an extra 1px height which appears as + a bottom bezel, and the bottom edge of the header bar has an + extra 1px which looks like it is part of the padding. The uneven + bottom padding removes this 2px so it looks like the padding is + even. */ + + padding: 6px 6px 4px 6px; } .header-bar:backdrop { @@ -2559,7 +2565,7 @@ GtkCheckButton:selected:focus { } .header-bar .button.image-button { - padding: 5px 4px 5px 5px; + padding: 5px; } .header-bar .title { |