From 905b61a0cf015d7ea68d30e78edef3dc9f41075b Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Tue, 2 Feb 2016 19:22:00 +0100
Subject: fix app-menu button padding

---
 common/gtk-3.0/3.18/gtk.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

diff --git a/common/gtk-3.0/3.18/gtk.css b/common/gtk-3.0/3.18/gtk.css
index 89ab1f7..9b8ab26 100644
--- a/common/gtk-3.0/3.18/gtk.css
+++ b/common/gtk-3.0/3.18/gtk.css
@@ -2526,11 +2526,16 @@ GtkVolumeButton.button {
 
 .header-bar .button.titlebutton,
 .titlebar .button.titlebutton {
-  padding: 8px 4px;
+  padding-left: 4px;
+  padding-right: 4px;
   border-color: transparent;
   background-color: transparent;
   background-image: none;
   background-color: rgba(231, 232, 235, 0); }
+  .header-bar .button.titlebutton:not(GtkMenuButton),
+  .titlebar .button.titlebutton:not(GtkMenuButton) {
+    padding-top: 8px;
+    padding-bottom: 8px; }
   .header-bar .button.titlebutton:hover,
   .titlebar .button.titlebutton:hover {
     color: rgba(82, 93, 118, 0.8);
-- 
cgit v1.2.3