[gnome-builder] prefs: fix border-width in theme page

[Christian Hergert <chergert src gnome org>]

commit f61d7c2f24b6685806756aba4aa3bbe60f14aa07
Author: Christian Hergert <christian hergert me>
Date:   Fri Jun 12 11:54:12 2015 -0700

    prefs: fix border-width in theme page

 data/ui/gb-preferences-page-theme.ui |    1 +
 data/ui/gb-preferences-window.ui     |    1 -
 2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/gb-preferences-page-theme.ui b/data/ui/gb-preferences-page-theme.ui
index c6603d6..7f879e2 100644
--- a/data/ui/gb-preferences-page-theme.ui
+++ b/data/ui/gb-preferences-page-theme.ui
@@ -9,6 +9,7 @@
         <property name="hscrollbar-policy">never</property>
         <child>
           <object class="GtkBox">
+            <property name="border-width">12</property>
             <property name="visible">true</property>
             <property name="orientation">vertical</property>
             <property name="spacing">6</property>
diff --git a/data/ui/gb-preferences-window.ui b/data/ui/gb-preferences-window.ui
index 027739b..dc0c823 100644
--- a/data/ui/gb-preferences-window.ui
+++ b/data/ui/gb-preferences-window.ui
@@ -157,7 +157,6 @@
             <child>
               <object class="GbPreferencesPageTheme" id="theme_page">
                 <property name="visible">True</property>
-                <property name="border_width">12</property>
               </object>
               <packing>
                 <property name="name">theme</property>