[gnome-themes-standard] button shrinking issue workaround

[Lapo Calamandrei <lapo src gnome org>]

commit 99361bb3e9c2166e70a778302a3226d256fbd8e3
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Thu Jun 12 01:04:30 2014 +0200

    button shrinking issue workaround

 themes/Adwaita/gtk-3.0/_common.scss           |    5 +++++
 themes/Adwaita/gtk-3.0/gtk-contained-dark.css |    2 ++
 themes/Adwaita/gtk-3.0/gtk-contained.css      |    2 ++
 3 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/_common.scss b/themes/Adwaita/gtk-3.0/_common.scss
index d9aa6b9..be77273 100644
--- a/themes/Adwaita/gtk-3.0/_common.scss
+++ b/themes/Adwaita/gtk-3.0/_common.scss
@@ -40,6 +40,11 @@
   -GtkDialog-button-spacing: 0;
   -GtkDialog-action-area-border: 0;
 
+  // Those two are to fix buttons shrinking issue, remove them if things
+  // gets properly fixed in the code
+  -GtkButton-default-outside-border: 1;
+  -GtkButton-default-border: 1;
+
   // We use the outline properties to signal the focus properties
   // to the adwaita engine: using real CSS properties is faster,
   // and we don't use any outlines for now.
diff --git a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
index 35e8710..d4eb767 100644
--- a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
+++ b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
@@ -53,6 +53,8 @@
   -GtkWindow-resize-grip-height: 0;
   -GtkDialog-button-spacing: 0;
   -GtkDialog-action-area-border: 0;
+  -GtkButton-default-outside-border: 1;
+  -GtkButton-default-border: 1;
   outline-color: rgba(238, 238, 236, 0.3);
   outline-style: dashed;
   outline-offset: -3px;
diff --git a/themes/Adwaita/gtk-3.0/gtk-contained.css b/themes/Adwaita/gtk-3.0/gtk-contained.css
index 5e359b4..d64b355 100644
--- a/themes/Adwaita/gtk-3.0/gtk-contained.css
+++ b/themes/Adwaita/gtk-3.0/gtk-contained.css
@@ -53,6 +53,8 @@
   -GtkWindow-resize-grip-height: 0;
   -GtkDialog-button-spacing: 0;
   -GtkDialog-action-area-border: 0;
+  -GtkButton-default-outside-border: 1;
+  -GtkButton-default-border: 1;
   outline-color: rgba(46, 52, 54, 0.3);
   outline-style: dashed;
   outline-offset: -3px;