[gnome-themes-standard/wip/sass] button shrinking issue workaround added

[Lapo Calamandrei <lapo src gnome org>]

commit 353316c41753d81d89c3186ef7f9032b5bedaa7e
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Thu Jun 12 00:56:12 2014 +0200

    button shrinking issue workaround added

 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 2b1541f..3cd6fc8 100644
--- a/themes/Adwaita/gtk-3.0/_common.scss
+++ b/themes/Adwaita/gtk-3.0/_common.scss
@@ -35,6 +35,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,
diff --git a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
index 740cb22..8b9fcb1 100644
--- a/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
+++ b/themes/Adwaita/gtk-3.0/gtk-contained-dark.css
@@ -22,6 +22,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 c3801bd..9f93210 100644
--- a/themes/Adwaita/gtk-3.0/gtk-contained.css
+++ b/themes/Adwaita/gtk-3.0/gtk-contained.css
@@ -22,6 +22,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;