From ea7bc180e3f8042efa65472c7350d7d0367b52fe Mon Sep 17 00:00:00 2001
From: Megax <megax@yeahunter.hu>
Date: Mon, 24 Oct 2016 11:28:03 +0200
Subject: [PATCH] * Optimised headerbar and titlebar size.
---
src/gtk-3.20/scss/widgets/_toolbar.scss | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/gtk-3.20/scss/widgets/_toolbar.scss b/src/gtk-3.20/scss/widgets/_toolbar.scss
index bd650a5..1da9be9 100644
--- a/src/gtk-3.20/scss/widgets/_toolbar.scss
+++ b/src/gtk-3.20/scss/widgets/_toolbar.scss
@@ -96,13 +96,13 @@
spinbutton,
separator,
button { // Size height
- margin-top: $spacing + 3px;
- margin-bottom: $spacing + 3px;
+ margin-top: $spacing;
+ margin-bottom: $spacing;
}
switch { // Size height
- margin-top: $spacing + 1px;
- margin-bottom: $spacing + 1px;
+ margin-top: $spacing - 2px;
+ margin-bottom: $spacing - 2px;
}
window:not(.tiled):not(.maximized) separator:first-child + &, // tackles the paned container case
@@ -118,7 +118,7 @@
border-radius: $roundness $roundness 0 0;
color: mix($titlebar_fg_color, $titlebar_bg_color, .1);
padding: 0 $spacing;
- min-height: 42px;
+ min-height: 38px;
&:backdrop {
@include linear-gradient($titlebar_bg_color);