[gnome-themes-standard] Fix up padding inside header bars

[Jakub Steiner <jimmac src gnome org>]

commit 94c7acb1c692645301dd39c03098e9fc54885e5a
Author: Allan Day <allanpday gmail com>
Date:   Mon Jan 6 15:45:09 2014 +0000

    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

 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 6aae1bb..e803c75 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 {