[libadwaita/wip/exalm/borders-fixes: 6/7] header-bar: Adjust heights

[Alexander Mikhaylenko <alexm src gnome org>]

commit c2727f03516c42c3fc20c4d58606d827abc17f1c
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 fa813ada..b9aaf11d 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 {