[gnome-themes-standard] HeaderBars: specify padding

[Paolo Borelli <pborelli src gnome org>]

commit b95a8b874ac2d3c99e28843c1309e1ca51cc6e42
Author: Allan Day <allanpday gmail com>
Date:   Tue Aug 27 21:51:20 2013 +0100

    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

 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 7f71414..a224d9d 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 {