[gnome-themes-standard] text-button: add an extra px of vertical padding

[Jakub Steiner <jimmac src gnome org>]

commit e64bafa8ea26380d4c00ef916cd74b5486a078b7
Author: Allan Day <allanpday gmail com>
Date:   Mon Jan 6 15:49:36 2014 +0000

    text-button: add an extra px of vertical padding
    
    This makes them the same height of image-buttons. Original patch
    by Paolo Borelli.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=721622

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index a89cf2e..4a31d98 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -2560,7 +2560,7 @@ GtkCheckButton:selected:focus {
 }
 
 .header-bar .button.text-button {
-    padding: 2px 16px;
+    padding: 2px 16px 3px 16px;
 }
 
 .header-bar .button.image-button {