[gimp] themes: make tool buttons great again

[Michael Natterer <mitch src gnome org>]

commit e490aa8393d764949a36a8a3802467953bdf46ce
Author: Michael Natterer <mitch gimp org>
Date:   Wed Jun 13 15:18:15 2018 +0200

    themes: make tool buttons great again
    
    Excluding them from becoming smaller by selecting
    "GimpDock :not(toolpalette) button" doesn't work, so
    make them large again using "GimpDock toolpalette button", I
    have no idea why...

 themes/System/gimp.css | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)
---
diff --git a/themes/System/gimp.css b/themes/System/gimp.css
index f4f4556cc7..21543f5b14 100644
--- a/themes/System/gimp.css
+++ b/themes/System/gimp.css
@@ -53,12 +53,19 @@ GimpDock notebook tab {
     padding: 0 0 0 0;
 }
 
-GimpDock button,
+GimpDock :not(toolpalette) button,
 GimpOverlayDialog button,
 GimpToolDialog :not(headerbar) button {
     padding: 0px 2px 0px 2px;
 }
 
+/* the above "GimpDock :not(toolpalette) button" doesn't work, so set
+ * the tool button style explicitly
+ */
+GimpDock toolpalette button {
+    padding: 4px 4px 4px 4px;
+}
+
 GimpToolDialog headerbar {
     min-height: 0;
 }