[gnome-builder] layout: add some margin to title label

[Christian Hergert <chergert src gnome org>]

commit 0a0d08b05b929b395a17d19bcebf62befc16620c
Author: Christian Hergert <chergert redhat com>
Date:   Sat Jul 8 02:01:08 2017 -0700

    layout: add some margin to title label

 libide/layout/ide-layout-stack-header.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/libide/layout/ide-layout-stack-header.ui b/libide/layout/ide-layout-stack-header.ui
index bf9702f..2e4192e 100644
--- a/libide/layout/ide-layout-stack-header.ui
+++ b/libide/layout/ide-layout-stack-header.ui
@@ -130,6 +130,8 @@
                 <property name="visible">true</property>
                 <child type="center">
                   <object class="GtkLabel" id="title_label">
+                    <property name="margin-start">6</property>
+                    <property name="margin-end">6</property>
                     <property name="ellipsize">start</property>
                     <property name="visible">true</property>
                   </object>