From ea7bc180e3f8042efa65472c7350d7d0367b52fe Mon Sep 17 00:00:00 2001 From: Megax 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);