diff options
author | Allan Day <allanpday@gmail.com> | 2013-08-27 21:51:20 +0100 |
---|---|---|
committer | Paolo Borelli <pborelli@gnome.org> | 2013-08-29 14:56:03 +0200 |
commit | b95a8b874ac2d3c99e28843c1309e1ca51cc6e42 (patch) | |
tree | 936ab19de8bc7bf295ed8e1e7623a2e28ef82be6 | |
parent | fc9e80027cee7bfacc5c28e3d8b72c44b9e60a31 (diff) | |
download | gnome-themes-standard-b95a8b874ac2d3c99e28843c1309e1ca51cc6e42.tar.gz |
HeaderBars: specify padding
It is better to use the theme for setting padding, rather than
GTK+. This allows the padding to compensate for the 2px bottom
border on buttons.
https://bugzilla.gnome.org/show_bug.cgi?id=706929
-rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index 7f71414e..a224d9d2 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2586,6 +2586,8 @@ GtkCheckButton:selected:focus { box-shadow: inset 0 -1px shade(@borders, 1.30); background-color: @theme_bg_color; + + padding: 6px 6px 5px 6px; } .header-bar:backdrop { |