[gtk+/wip/matthiasc/tab-strip] fix tab jumping on :checked for tabstrip

[Jakub Steiner <jimmac src gnome org>]

commit 3927f44a0d8e5debe1e7656db40f185102508865
Author: Jakub Steiner <jimmac gmail com>
Date:   Wed May 25 00:36:57 2016 +0200

    fix tab jumping on :checked for tabstrip

 gtk/theme/Adwaita/_common.scss           |    5 +++--
 gtk/theme/Adwaita/gtk-contained-dark.css |    7 +++++--
 gtk/theme/Adwaita/gtk-contained.css      |    7 +++++--
 3 files changed, 13 insertions(+), 6 deletions(-)
---
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 6c18bd1..393fba2 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -2306,10 +2306,11 @@ tabs {
   tab {
     min-width: 6em;
     padding: 13px; // keeping width when paging buttons show up
-    border-right: 1px solid $borders_color;
-    &:last-child {}
+    border-right: 1px solid transparentize($borders_color,0.5);
+    &:first-child { border-left: 1px solid transparentize($borders_color,0.5); }
     &:checked { //FIXME not really working
       border-bottom: 2px solid $selected_bg_color;
+      padding-bottom: 11px;
     }
   }
 }
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index a4cf5f4..657de19 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -2596,9 +2596,12 @@ tabs button.flat.image-button {
 tabs tab {
   min-width: 6em;
   padding: 13px;
-  border-right: 1px solid #1b1f20; }
+  border-right: 1px solid rgba(27, 31, 32, 0.5); }
+  tabs tab:first-child {
+    border-left: 1px solid rgba(27, 31, 32, 0.5); }
   tabs tab:checked {
-    border-bottom: 2px solid #215d9c; }
+    border-bottom: 2px solid #215d9c;
+    padding-bottom: 11px; }
 
 /**************
  * Scrollbars *
diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index f2db3b1..73783fe 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -2609,9 +2609,12 @@ tabs button.flat.image-button {
 tabs tab {
   min-width: 6em;
   padding: 13px;
-  border-right: 1px solid #b6b6b3; }
+  border-right: 1px solid rgba(182, 182, 179, 0.5); }
+  tabs tab:first-child {
+    border-left: 1px solid rgba(182, 182, 179, 0.5); }
   tabs tab:checked {
-    border-bottom: 2px solid #4a90d9; }
+    border-bottom: 2px solid #4a90d9;
+    padding-bottom: 11px; }
 
 /**************
  * Scrollbars *