From c87cd5c4ea127ceb62265e455e68f56d460025c4 Mon Sep 17 00:00:00 2001
From: ZenWalker <scow@riseup.net>
Date: Mon, 20 Mar 2017 20:38:58 +0100
Subject: Traditional themes: make padding in notebook tabs smaller

---
 desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css | 8 ++++----
 desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css    | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
index fb413afe..a58fb9d2 100644
--- a/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalGreen/gtk-3.0/gtk-widgets.css
@@ -1804,7 +1804,7 @@ notebook header tab {
 
 notebook header.top tab {
     margin: 0px 0px 0px -1px;
-	padding: 6px;
+    padding: 4px 6px 2px 6px;
     border-width: 0px 1px 1px 1px;
     border-radius: 3px 3px 0px 0px;
     background-image: linear-gradient(to bottom,
@@ -1822,7 +1822,7 @@ notebook header.top tab:checked {
 
 notebook header.right tab {
     margin: -1px 0px 0px 0px;
-    padding: 6px;
+    padding: 6px 4px 6px 2px;
     border-width: 1px 0px 1px 1px;
     border-radius: 0px 3px 3px 0px;
     background-image: linear-gradient(to left,
@@ -1840,7 +1840,7 @@ notebook header.right tab:checked {
 
 notebook header.bottom tab {
     margin: 0px 0px 0px -1px;
-    padding: 6px;
+    padding: 2px 6px 4px 6px;
     border-width: 1px 1px 0px 1px;
     border-radius: 0px 0px 3px 3px;
     background-image: linear-gradient(to top,
@@ -1858,7 +1858,7 @@ notebook header.bottom tab:checked {
 
 notebook header.left tab {
     margin: -1px 0px 0px 0px;
-    padding: 6px;
+    padding: 6px 2px 6px 4px;
     border-width: 1px 1px 1px 0px;
     border-radius: 3px 0px 0px 3px;
     background-image: linear-gradient(to right,
diff --git a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
index 975ecfd4..a00ed100 100644
--- a/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
+++ b/desktop-themes/TraditionalOk/gtk-3.0/gtk-widgets.css
@@ -1805,7 +1805,7 @@ notebook header tab {
 
 notebook header.top tab {
     margin: 0px 0px 0px -1px;
-	padding: 6px;
+    padding: 4px 6px 2px 6px;
     border-width: 0px 1px 1px 1px;
     border-radius: 3px 3px 0px 0px;
     background-image: linear-gradient(to bottom,
@@ -1823,7 +1823,7 @@ notebook header.top tab:checked {
 
 notebook header.right tab {
     margin: -1px 0px 0px 0px;
-    padding: 6px;
+    padding: 6px 4px 6px 2px;
     border-width: 1px 0px 1px 1px;
     border-radius: 0px 3px 3px 0px;
     background-image: linear-gradient(to left,
@@ -1841,7 +1841,7 @@ notebook header.right tab:checked {
 
 notebook header.bottom tab {
     margin: 0px 0px 0px -1px;
-    padding: 6px;
+    padding: 2px 6px 4px 6px;
     border-width: 1px 1px 0px 1px;
     border-radius: 0px 0px 3px 3px;
     background-image: linear-gradient(to top,
@@ -1859,7 +1859,7 @@ notebook header.bottom tab:checked {
 
 notebook header.left tab {
     margin: -1px 0px 0px 0px;
-    padding: 6px;
+    padding: 6px 2px 6px 4px;
     border-width: 1px 1px 1px 0px;
     border-radius: 3px 0px 0px 3px;
     background-image: linear-gradient(to right,
-- 
cgit v1.2.1