Make CSD titlebars slimmer

Author: Maurizio Galli

light/gtk-3.0/_common.scss

@@ -1419,7 +1419,7 @@ searchbar,
 %titlebar,
 headerbar {
   padding: 0 5px;
-  min-height: 38px;
+  min-height: 32px;
   border-width: 0 0 1px;
   border-style: solid;
   border-color: $borders_color;
@@ -1586,13 +1586,13 @@ headerbar {
   }
 
   &.default-decoration {
-    min-height: 28px;
+    min-height: 24px;
     padding: 4px;
 
     button.titlebutton,
     menubutton.titlebutton {
-      min-height: 26px;
-      min-width: 26px;
+      min-height: 22px;
+      min-width: 22px;
       margin: 0;
       padding: 0;
     }
@@ -1621,35 +1621,61 @@ headerbar {
 headerbar {
   // add vertical margins to common widget on the headerbar to avoid them spanning the whole height
   entry,
-  spinbutton,
-  separator,
-  button {
+  separator {
     margin-top: 3px;
     margin-bottom: 3px;
   }
+  spinbutton,
+  button {
+    margin-top: 2px;
+    margin-bottom: 2px;
+    padding-top: 0;
+    padding-bottom: 0;
+  }
   button label {
     min-width: 28px;
-    min-height: 28px;
+    min-height: 22px;
   }
   button.titlebutton image {
     min-width: 22px;
     min-height: 22px;
   }
   button:not(.image-button):not(.titlebutton) image {
-    min-width: 28px;
-    min-height: 28px;
+    min-width: 22px;
+    min-height: 22px;
   }
   button.image-button {
-    min-width: 28px;
-    min-height: 28px;
+    min-width: 22px;
+    min-height: 22px;
     padding-left: 2px;
     padding-right: 2px;
   }
+  .stack-switcher button {
+    min-width: 26px;
+    min-height: 26px;
+    &:not(.text-button) {
+      min-height: 22px;
+      min-width: 22px;
+      padding-left: 0px;
+      padding-right: 0px;
+    }
+  }
+  buttonbox {
+    padding: 0px;
+    button {
+      min-width: 26px;
+      min-height: 26px;
+      &:not(.text-button) {
+        min-width: 22px;
+        padding-left: 0px;
+        padding-right: 0px;
+      }
+    }
+  }
   switch {
-    margin-top: 9px;
-    margin-bottom: 9px;
+    margin-top: 5px;
+    margin-bottom: 5px;
   }
-  buttonbox { padding: 0px; }
 }
 
 .background:not(.tiled):not(.maximized):not(.solid-csd) .titlebar,