From 50f38e4accf805284f02b8d2e473e75593b99faa Mon Sep 17 00:00:00 2001
From: Horst3180 <horst3180@users.noreply.github.com>
Date: Mon, 21 Mar 2016 21:07:05 +0100
Subject: [PATCH] tweak tab size

---
 common/gtk-3.0/3.20/gtk-dark.css         | 20 ++++++++++----------
 common/gtk-3.0/3.20/gtk-darker.css       | 20 ++++++++++----------
 common/gtk-3.0/3.20/gtk-solid-dark.css   | 20 ++++++++++----------
 common/gtk-3.0/3.20/gtk-solid-darker.css | 20 ++++++++++----------
 common/gtk-3.0/3.20/gtk-solid.css        | 20 ++++++++++----------
 common/gtk-3.0/3.20/gtk.css              | 20 ++++++++++----------
 common/gtk-3.0/3.20/sass/_common.scss    |  8 ++++----
 7 files changed, 64 insertions(+), 64 deletions(-)

diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css
index e5f3d7a..971a1c3 100644
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -1525,7 +1525,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #404552; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #383C4A; }
     notebook > header.top {
       box-shadow: inset 0 -1px #2b2e39; }
@@ -1539,8 +1539,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1550,8 +1550,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1561,8 +1561,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1572,8 +1572,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1616,7 +1616,7 @@ notebook {
         background-color: #404552;
         border-color: #2b2e39; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #9da3ad; }
diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css
index 5a744e7..46b1a4b 100644
--- a/common/gtk-3.0/3.20/gtk-darker.css
+++ b/common/gtk-3.0/3.20/gtk-darker.css
@@ -1524,7 +1524,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #ffffff; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #F5F6F7; }
     notebook > header.top {
       box-shadow: inset 0 -1px #dcdfe3; }
@@ -1538,8 +1538,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1549,8 +1549,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1560,8 +1560,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1571,8 +1571,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1615,7 +1615,7 @@ notebook {
         background-color: #ffffff;
         border-color: #dcdfe3; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #92959d; }
diff --git a/common/gtk-3.0/3.20/gtk-solid-dark.css b/common/gtk-3.0/3.20/gtk-solid-dark.css
index b40ac45..028bf7a 100644
--- a/common/gtk-3.0/3.20/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.20/gtk-solid-dark.css
@@ -1525,7 +1525,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #404552; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #383C4A; }
     notebook > header.top {
       box-shadow: inset 0 -1px #2b2e39; }
@@ -1539,8 +1539,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1550,8 +1550,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1561,8 +1561,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1572,8 +1572,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1616,7 +1616,7 @@ notebook {
         background-color: #404552;
         border-color: #2b2e39; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #9da3ad; }
diff --git a/common/gtk-3.0/3.20/gtk-solid-darker.css b/common/gtk-3.0/3.20/gtk-solid-darker.css
index c60c869..99ac180 100644
--- a/common/gtk-3.0/3.20/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.20/gtk-solid-darker.css
@@ -1524,7 +1524,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #ffffff; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #F5F6F7; }
     notebook > header.top {
       box-shadow: inset 0 -1px #dcdfe3; }
@@ -1538,8 +1538,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1549,8 +1549,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1560,8 +1560,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1571,8 +1571,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1615,7 +1615,7 @@ notebook {
         background-color: #ffffff;
         border-color: #dcdfe3; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #92959d; }
diff --git a/common/gtk-3.0/3.20/gtk-solid.css b/common/gtk-3.0/3.20/gtk-solid.css
index b6fcb08..7f67563 100644
--- a/common/gtk-3.0/3.20/gtk-solid.css
+++ b/common/gtk-3.0/3.20/gtk-solid.css
@@ -1528,7 +1528,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #ffffff; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #F5F6F7; }
     notebook > header.top {
       box-shadow: inset 0 -1px #dcdfe3; }
@@ -1542,8 +1542,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1553,8 +1553,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1564,8 +1564,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1575,8 +1575,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1619,7 +1619,7 @@ notebook {
         background-color: #ffffff;
         border-color: #dcdfe3; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #92959d; }
diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css
index e51faf7..00bbb30 100644
--- a/common/gtk-3.0/3.20/gtk.css
+++ b/common/gtk-3.0/3.20/gtk.css
@@ -1528,7 +1528,7 @@ notebook {
   notebook > stack:not(:only-child) {
     background-color: #ffffff; }
   notebook > header {
-    padding: 3px;
+    padding: 2px;
     background-color: #F5F6F7; }
     notebook > header.top {
       box-shadow: inset 0 -1px #dcdfe3; }
@@ -1542,8 +1542,8 @@ notebook {
       padding-bottom: 0; }
       notebook > header.top > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-bottom: none;
@@ -1553,8 +1553,8 @@ notebook {
       padding-top: 0; }
       notebook > header.bottom > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-top: none;
@@ -1564,8 +1564,8 @@ notebook {
       padding-left: 0; }
       notebook > header.right > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-left: none;
@@ -1575,8 +1575,8 @@ notebook {
       padding-right: 0; }
       notebook > header.left > tabs > tab {
         padding: 2px 10px;
-        min-width: 22px;
-        min-height: 22px;
+        min-width: 20px;
+        min-height: 20px;
         outline-offset: -4px;
         border: 1px solid transparent;
         border-right: none;
@@ -1619,7 +1619,7 @@ notebook {
         background-color: #ffffff;
         border-color: #dcdfe3; }
       notebook > header > tabs > tab button.flat, notebook > header > tabs > tab button.sidebar-button {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: #92959d; }
diff --git a/common/gtk-3.0/3.20/sass/_common.scss b/common/gtk-3.0/3.20/sass/_common.scss
index 8c79b17..6438c03 100644
--- a/common/gtk-3.0/3.20/sass/_common.scss
+++ b/common/gtk-3.0/3.20/sass/_common.scss
@@ -1623,7 +1623,7 @@ notebook {
   }
 
   > header {
-    padding: 3px;
+    padding: 2px;
     background-color: $bg_color;
 
     &.top {    box-shadow: inset  0  -1px $borders_color; }
@@ -1638,8 +1638,8 @@ notebook {
 
         > tabs > tab {
           padding: 2px 10px;
-          min-width: 22px;
-          min-height: 22px;
+          min-width: 20px;
+          min-height: 20px;
 
           outline-offset: -4px;
 
@@ -1704,7 +1704,7 @@ notebook {
       }
       // close button
       button.flat {
-        min-height: 18px;
+        min-height: 22px;
         min-width: 16px;
         padding: 0;
         color: mix($bg_color, $fg_color, 35%);