[gnome-builder] workbench: reduce spacing in header bar buttons

[Christian Hergert <chergert src gnome org>]

commit 6ff999b559c48961060bddbb0a2b94391883a20b
Author: Christian Hergert <christian hergert me>
Date:   Wed Jun 10 00:05:47 2015 -0700

    workbench: reduce spacing in header bar buttons

 data/ui/gb-workbench.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/gb-workbench.ui b/data/ui/gb-workbench.ui
index dc97099..9454913 100644
--- a/data/ui/gb-workbench.ui
+++ b/data/ui/gb-workbench.ui
@@ -36,7 +36,7 @@
           <object class="GtkBox">
             <property name="orientation">horizontal</property>
             <property name="visible">true</property>
-            <property name="margin-end">12</property>
+            <property name="margin-end">3</property>
             <style>
               <class name="linked"/>
             </style>