[gnome-themes-standard] header-bar: compensate for bottom border on bar sides

[Cosimo Cecchi <cosimoc src gnome org>]

commit 7e46ee1d19a3bc362258b183d7fdfee6f2ea972e
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Mon Mar 4 21:33:05 2013 -0500

    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.

 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 9142c7d..0534f5a 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;