[gnome-builder] headerbar: tweak headerbar spacing when compressed

[Christian Hergert <chergert src gnome org>]

commit dd5dfaad8d687dc1b8913159f8b0114703eb9698
Author: Christian Hergert <christian hergert me>
Date:   Fri Jun 24 19:24:13 2016 -0700

    headerbar: tweak headerbar spacing when compressed

 libide/workbench/ide-workbench-header-bar.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/libide/workbench/ide-workbench-header-bar.ui b/libide/workbench/ide-workbench-header-bar.ui
index cf812f0..10112c8 100644
--- a/libide/workbench/ide-workbench-header-bar.ui
+++ b/libide/workbench/ide-workbench-header-bar.ui
@@ -21,6 +21,7 @@
         <child>
           <object class="EggPriorityBox" id="center_left_box">
             <property name="halign">end</property>
+            <property name="margin-start">30</property>
             <property name="visible">true</property>
           </object>
           <packing>
@@ -37,6 +38,7 @@
         <child>
           <object class="EggPriorityBox" id="center_right_box">
             <property name="halign">start</property>
+            <property name="margin-end">30</property>
             <property name="visible">true</property>
           </object>
           <packing>