[gnome-themes-standard] Adjust HeaderBar padding

[Cosimo Cecchi <cosimoc src gnome org>]

commit 90033428294de0766a23c3352a57e2be840aa735
Author: Allan Day <allanpday gmail com>
Date:   Wed Aug 21 14:40:12 2013 +0100

    Adjust HeaderBar padding
    
    HeaderBars were getting too much padding. Remove the styling that
    adds it.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=706500

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index 6cd12ac..ea404c6 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -2583,7 +2583,6 @@ 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;
@@ -4062,7 +4061,6 @@ GtkBubbleWindow .toolbar {
 .titlebar {
     text-shadow: 0 1px @wm_title_shadow;
 
-    padding: 3px;
     border-style: none;
 
     box-shadow: none;