[polari] ui: Add some spacing around title/subtitle

[Florian Müllner <fmuellner src gnome org>]

commit f56b44f8b5c8889784c47a112cd2bc0e1887a6eb
Author: Florian Müllner <fmuellner gnome org>
Date:   Sun Jul 28 21:03:49 2013 +0200

    ui: Add some spacing around title/subtitle

 data/resources/main-window.ui |   15 ++++++++++++++-
 1 files changed, 14 insertions(+), 1 deletions(-)
---
diff --git a/data/resources/main-window.ui b/data/resources/main-window.ui
index a9914a3..dec31a1 100644
--- a/data/resources/main-window.ui
+++ b/data/resources/main-window.ui
@@ -113,12 +113,25 @@
               <class name="polari-titlebar"/>
             </style>
             <child>
+              <object class="GtkLabel" id="label1">
+                <property name="visible">True</property>
+                <!-- we want some margin around title/subtitle - setting
+                     it on the first and last button has the same effect,
+                     and spares us from using a custom title widget -->
+                <property name="margin-right">24</property>
+              </object>
+            </child>
+            <child>
               <object class="GtkToggleButton" id="button3">
                 <property name="visible">True</property>
                 <property name="can_focus">True</property>
                 <property name="focus_on_click">False</property>
-                <property name="halign">center</property>
+                <property name="halign">end</property>
                 <property name="valign">center</property>
+                <!-- we want some margin around title/subtitle - setting
+                     it on the first and last button has the same effect,
+                     and spares us from using a custom title widget -->
+                <property name="margin-left">24</property>
                 <property name="action_name">app.user-list</property>
                 <style>
                   <class name="image-button"/>