From 023bd6f64692e77ae5e93a83ef727163f25e3d4f Mon Sep 17 00:00:00 2001
From: Csaba Jakosa <megax@yeahunter.hu>
Date: Mon, 24 Oct 2016 08:39:15 +0200
Subject: [PATCH] [Gtk-3.20] Optimized notebook padding

---
 src/gtk-3.20/scss/widgets/_notebook.scss | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

diff --git a/src/gtk-3.20/scss/widgets/_notebook.scss b/src/gtk-3.20/scss/widgets/_notebook.scss
index 1cb8e83..f5cc77a 100644
--- a/src/gtk-3.20/scss/widgets/_notebook.scss
+++ b/src/gtk-3.20/scss/widgets/_notebook.scss
@@ -155,7 +155,7 @@
                 > box,
                 > label,
                 > widget > box {
-                    padding: ($spacing + 2) ($spacing * 3); // top/bottom | left/right
+                    padding: ($spacing - 1px) ($spacing * 2); // top/bottom | left/right
                     border-width: 2px;
                     border-style: solid;
                     border-color: transparent;
@@ -166,7 +166,7 @@
                     > box,
                     > label,
                     > widget > box {
-                        padding: ($spacing + 2) ($spacing * 2) ($spacing + 2) ($spacing * 3); // top | right | bottom | left
+                        padding: ($spacing - 1px) ($spacing * 2) ($spacing - 1px) ($spacing * 3); // top | right | bottom | left
                     }
                 }
 
@@ -322,7 +322,9 @@
                     border-left-color: $selected_bg_color;
                     outline: none;
 
-                    > box, > label {
+                    > box,
+                    > label,
+                    > widget > box {
                         border-left-color: $selected_bg_color;
                     }
 
@@ -352,7 +354,9 @@
                     border-top-color: $selected_bg_color;
                     outline: none;
 
-                    > box, > label {
+                    > box,
+                    > label,
+                    > widget > box {
                         border-top-color: $selected_bg_color;
                     }
 
@@ -382,7 +386,9 @@
                     border-right-color: $selected_bg_color;
                     outline: none;
 
-                    > box, > label {
+                    > box,
+                    > label,
+                    > widget > box {
                         border-right-color: $selected_bg_color;
                     }