diff options
| author | Cosimo Cecchi <cosimoc@gnome.org> | 2013-03-04 21:33:05 -0500 |
|---|---|---|
| committer | Cosimo Cecchi <cosimoc@gnome.org> | 2013-03-04 21:33:05 -0500 |
| commit | 7e46ee1d19a3bc362258b183d7fdfee6f2ea972e (patch) | |
| tree | 5ed9530bb15789e14c7208a94a379677f9f10f8d | |
| parent | ca933d0dabc01342779578bc0532911134d12918 (diff) | |
| download | gnome-themes-standard-7e46ee1d19a3bc362258b183d7fdfee6f2ea972e.tar.gz | |
header-bar: compensate for bottom border on bar sides
We want spacings to be even on all sides of the bar - since we add an
1px border at the bottom of the bar we have to compensate with an 1px
horizontal padding.
| -rw-r--r-- | themes/Adwaita/gtk-3.0/gtk-widgets.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css index 9142c7d2..0534f5a2 100644 --- a/themes/Adwaita/gtk-3.0/gtk-widgets.css +++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css @@ -2564,6 +2564,7 @@ GtkCheckButton:selected:focus { border-width: 0 0 1px; border-style: solid; border-color: shade(@borders, 0.90); + padding: 0 1px; box-shadow: inset 0 -1px shade(@borders, 1.30); background-color: @theme_bg_color; |