[gnumeric] GUI: reduce vertical size of the toolbar area

[Morten Welinder <mortenw src gnome org>]

commit d5a969061d8ff2980fb66d4de572cb86ae6b744c
Author: Morten Welinder <terra gnome org>
Date:   Wed May 9 11:14:45 2018 -0400

    GUI: reduce vertical size of the toolbar area
    
    Less padding -- vertical space is precious.

 src/gnumeric.css |   11 +++++++++++
 src/wbc-gtk.c    |    2 +-
 2 files changed, 12 insertions(+), 1 deletions(-)
---
diff --git a/src/gnumeric.css b/src/gnumeric.css
index ba6aab8..7625768 100644
--- a/src/gnumeric.css
+++ b/src/gnumeric.css
@@ -262,4 +262,15 @@ button:hover.itembar, button:hover.itembar * {
 }
 
 
+/* Small padding between and around toolbars, but not double between */
+box box toolbar {
+    padding-top: 1pt;
+    padding-bottom: 0pt;
+}
+
+box box:last-child toolbar {
+    padding-top: 1pt;
+    padding-bottom: 1pt;
+}
+
 /* ------------------------------------------------------------------------- */
diff --git a/src/wbc-gtk.c b/src/wbc-gtk.c
index 510d247..00fcbd2 100644
--- a/src/wbc-gtk.c
+++ b/src/wbc-gtk.c
@@ -3720,7 +3720,7 @@ cb_add_menus_toolbars (G_GNUC_UNUSED GtkUIManager *ui,
                                "signal::child_detached", G_CALLBACK (cb_handlebox_dock_status), 
GINT_TO_POINTER (FALSE),
                                NULL);
                } else
-                       box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 2);
+                       box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
                g_signal_connect (G_OBJECT (w),
                                  "button_press_event",
                                  G_CALLBACK (cb_toolbar_button_press),