[gtk+] HightContrast: make tab buttons not shift size

[Jakub Steiner <jimmac src gnome org>]

commit f671cd629659766eb4cd0b07447ccd8d6c686ec5
Author: Jakub Steiner <jimmac gmail com>
Date:   Tue Mar 17 18:18:18 2015 +0100

    HightContrast: make tab buttons not shift size
    
    - only 1px stroke for close buttons in notebook tabs
    
    https://bugzilla.gnome.org/show_bug.cgi?id=746149

 gtk/theme/HighContrast/_common.scss |    3 +++
 gtk/theme/HighContrast/gtk.css      |    7 +++++--
 2 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 82ffe56..4036130 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1327,15 +1327,18 @@ GtkTreeView.view.progressbar { //Progressbar in treeview cells
       &:hover {
         color:  $fg_color;
         @include button(hover, $edge: none);
+        border-width: 1px;
         background-image: none;
         box-shadow: none;
       }
       &:active {
         @include button(active, $edge: none);
+        border-width: 1px;
       }
       &:backdrop {
         color: transparentize($backdrop_fg_color,0.7);
         border-color: transparent;
+        border-width: 1px;
       }
       & > GtkImage { // this is a hack which makes tabs grow
         padding: 2px;
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index bbf1f6e..0a942de 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1543,6 +1543,7 @@ GtkTreeView.view.progressbar {
         background-color: #fff;
         border-color: #7f7f7f;
         background-image: none;
+        border-width: 1px;
         background-image: none;
         box-shadow: none; }
       .notebook tab .button:active {
@@ -1551,10 +1552,12 @@ GtkTreeView.view.progressbar {
         background-image: none;
         color: white;
         background-color: black;
-        border-color: #7f7f7f; }
+        border-color: #7f7f7f;
+        border-width: 1px; }
       .notebook tab .button:backdrop {
         color: rgba(0, 0, 0, 0.3);
-        border-color: transparent; }
+        border-color: transparent;
+        border-width: 1px; }
       .notebook tab .button > GtkImage {
         padding: 2px; }