[libadwaita/wip/exalm/borders-fixes: 2/3] header-bar: Adjust heights

[Alexander Mikhaylenko <alexm src gnome org>]

commit a15784ffe40b68cf0055fdec2baa971e2461738d
Author: Alexander Mikhaylenko <alexm gnome org>
Date:   Mon Jul 26 22:46:29 2021 +0500

    header-bar: Adjust heights
    
    Also default-decoration padding. Since box-shadow is counted towards height,
    we have to do this.

 src/stylesheet/widgets/_header-bar.scss | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/stylesheet/widgets/_header-bar.scss b/src/stylesheet/widgets/_header-bar.scss
index b11c6dd2..f5a67d6e 100644
--- a/src/stylesheet/widgets/_header-bar.scss
+++ b/src/stylesheet/widgets/_header-bar.scss
@@ -1,5 +1,5 @@
 headerbar {
-  min-height: 46px;
+  min-height: 47px;
   background-color: $headerbar_bg_color;
   box-shadow: inset 0 -1px $headerbar_border_color,
               inset  1px 0 $headerbar_border_color,
@@ -32,10 +32,10 @@ headerbar {
   }
 
   &.default-decoration {
-    min-height: 36px;
+    min-height: 37px;
 
     > windowhandle > box {
-      padding: 0 4px;
+      padding: 0 4px 1px 4px;
     }
 
     windowcontrols {