From d5fb349e1b1edad06fc51dfc41e112104ec3b8ae Mon Sep 17 00:00:00 2001
From: Michael Natterer <mitch@gimp.org>
Date: Mon, 11 Jun 2018 12:46:24 +0200
Subject: [PATCH] themes: make the buttons in tool dialog header bars slightly
 larger again

but reduce the overall height of the headerbar.
---
 themes/System/gimp.css | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/themes/System/gimp.css b/themes/System/gimp.css
index a55ffdfcbe..f4f4556cc7 100644
--- a/themes/System/gimp.css
+++ b/themes/System/gimp.css
@@ -55,10 +55,18 @@ GimpDock notebook tab {
 
 GimpDock button,
 GimpOverlayDialog button,
-GimpToolDialog button {
+GimpToolDialog :not(headerbar) button {
     padding: 0px 2px 0px 2px;
 }
 
+GimpToolDialog headerbar {
+    min-height: 0;
+}
+
+GimpToolDialog headerbar button {
+    padding: 2px 2px 2px 2px;
+}
+
 GimpDock entry,
 GimpOverlayDialog entry,
 GimpToolDialog entry {