From 0353810bd2a2ea8e1544f3be86bc9f1e7fb7d42d Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Mon, 7 Mar 2016 22:25:37 +0100
Subject: fix height of window decorations

---
 common/gtk-3.0/3.20/gtk-dark.css | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'common/gtk-3.0/3.20/gtk-dark.css')

diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css
index 9c4f668..91d7c19 100644
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -897,8 +897,8 @@ headerbar {
   headerbar.default-decoration,
   .csd headerbar.default-decoration, headerbar.default-decoration:backdrop,
   .csd headerbar.default-decoration:backdrop {
-    padding-top: 5px;
-    padding-bottom: 5px;
+    min-height: 28px;
+    padding: 0 3px;
     background-color: #2f343f;
     border-bottom-width: 0; }
     .maximized headerbar.default-decoration, .maximized
@@ -2650,7 +2650,9 @@ decoration {
 headerbar.default-decoration button.titlebutton,
 .titlebar.default-decoration button.titlebutton {
   padding: 0 4px;
-  min-width: 0; }
+  min-width: 0;
+  min-height: 0;
+  margin: 0; }
 
 headerbar button.titlebutton,
 .titlebar button.titlebutton {
-- 
cgit v1.2.3