[gtk+] Adwaita: notebook fixes

[Lapo Calamandrei <lapo src gnome org>]

commit 1140a514ea3f33a02dbf4f704adf6c579afb13c6
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Mon Feb 15 14:25:30 2016 +0100

    Adwaita: notebook fixes
    
    make the tab close button a tad bigger, use header 'paddings' in
    place of 'tabs' margins for spacing.

 gtk/theme/Adwaita/_common.scss           |   20 ++++++++++----------
 gtk/theme/Adwaita/gtk-contained-dark.css |   20 ++++++++++----------
 gtk/theme/Adwaita/gtk-contained.css      |   20 ++++++++++----------
 3 files changed, 30 insertions(+), 30 deletions(-)
---
diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 33070ec..fb8d3e6 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1938,11 +1938,11 @@ notebook {
         &, &:backdrop { color: gtkalpha(currentColor, 0.3); }
 
         padding: 0;
-        margin-top: 8px;
-        margin-bottom: 8px;
+        margin-top: 4px;
+        margin-bottom: 4px;
         // FIXME: generalize .small-button?
-        min-width: 18px;
-        min-height: 18px;
+        min-width: 20px;
+        min-height: 20px;
 
         &:last-child {
           margin-left: 4px;
@@ -1958,10 +1958,10 @@ notebook {
 
     &.top,
     &.bottom {
-      tabs {
-        margin-left: 4px;
-        margin-right: 4px;
+      padding-left: 4px;
+      padding-right: 4px;
 
+      tabs {
         tab {
           margin-left: 4px;
           margin-right: 4px;
@@ -1973,10 +1973,10 @@ notebook {
 
     &.left,
     &.right {
-      tabs {
-        margin-top: 4px;
-        margin-bottom: 4px;
+      padding-top: 4px;
+      padding-bottom: 4px;
 
+      tabs {
         tab {
           margin-top: 4px;
           margin-bottom: 4px;
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index 85450bd..5a426c2 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -2248,10 +2248,10 @@ notebook > header {
     notebook > header tab .titlebar button.titlebutton,
     .titlebar notebook > header tab button.titlebutton {
       padding: 0;
-      margin-top: 8px;
-      margin-bottom: 8px;
-      min-width: 18px;
-      min-height: 18px; }
+      margin-top: 4px;
+      margin-bottom: 4px;
+      min-width: 20px;
+      min-height: 20px; }
       notebook > header tab button.flat:hover, notebook > header tab notebook > header > tabs > arrow:hover, 
notebook > header tab button.sidebar-button:hover, notebook > header tab headerbar button.titlebutton:hover, 
headerbar notebook > header tab button.titlebutton:hover,
       notebook > header tab .titlebar button.titlebutton:hover,
       .titlebar notebook > header tab button.titlebutton:hover {
@@ -2272,17 +2272,17 @@ notebook > header {
       .titlebar notebook > header tab button.titlebutton:first-child {
         margin-left: -4px;
         margin-right: 4px; }
-  notebook > header.top tabs, notebook > header.bottom tabs {
-    margin-left: 4px;
-    margin-right: 4px; }
+  notebook > header.top, notebook > header.bottom {
+    padding-left: 4px;
+    padding-right: 4px; }
     notebook > header.top tabs tab, notebook > header.bottom tabs tab {
       margin-left: 4px;
       margin-right: 4px; }
       notebook > header.top tabs tab.reorderable-page, notebook > header.bottom tabs tab.reorderable-page {
         border-style: none solid; }
-  notebook > header.left tabs, notebook > header.right tabs {
-    margin-top: 4px;
-    margin-bottom: 4px; }
+  notebook > header.left, notebook > header.right {
+    padding-top: 4px;
+    padding-bottom: 4px; }
     notebook > header.left tabs tab, notebook > header.right tabs tab {
       margin-top: 4px;
       margin-bottom: 4px; }
diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index 57493cd..16c41bb 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -2258,10 +2258,10 @@ notebook > header {
     notebook > header tab .titlebar button.titlebutton,
     .titlebar notebook > header tab button.titlebutton {
       padding: 0;
-      margin-top: 8px;
-      margin-bottom: 8px;
-      min-width: 18px;
-      min-height: 18px; }
+      margin-top: 4px;
+      margin-bottom: 4px;
+      min-width: 20px;
+      min-height: 20px; }
       notebook > header tab button.flat:hover, notebook > header tab notebook > header > tabs > arrow:hover, 
notebook > header tab button.sidebar-button:hover, notebook > header tab headerbar button.titlebutton:hover, 
headerbar notebook > header tab button.titlebutton:hover,
       notebook > header tab .titlebar button.titlebutton:hover,
       .titlebar notebook > header tab button.titlebutton:hover {
@@ -2282,17 +2282,17 @@ notebook > header {
       .titlebar notebook > header tab button.titlebutton:first-child {
         margin-left: -4px;
         margin-right: 4px; }
-  notebook > header.top tabs, notebook > header.bottom tabs {
-    margin-left: 4px;
-    margin-right: 4px; }
+  notebook > header.top, notebook > header.bottom {
+    padding-left: 4px;
+    padding-right: 4px; }
     notebook > header.top tabs tab, notebook > header.bottom tabs tab {
       margin-left: 4px;
       margin-right: 4px; }
       notebook > header.top tabs tab.reorderable-page, notebook > header.bottom tabs tab.reorderable-page {
         border-style: none solid; }
-  notebook > header.left tabs, notebook > header.right tabs {
-    margin-top: 4px;
-    margin-bottom: 4px; }
+  notebook > header.left, notebook > header.right {
+    padding-top: 4px;
+    padding-bottom: 4px; }
     notebook > header.left tabs tab, notebook > header.right tabs tab {
       margin-top: 4px;
       margin-bottom: 4px; }