[gtk+] Fix widget-factory appearance, a bit

[Matthias Clasen <matthiasc src gnome org>]

commit b2284ef48fa7338aff549bb5dccb0a31da8469d9
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Oct 26 14:42:11 2016 -0400

    Fix widget-factory appearance, a bit
    
    Use margins instead of border-width, for now.

 demos/widget-factory/widget-factory.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 34bddd5..5af53d6 100644
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -433,6 +433,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus.</property>
       <object class="GtkBox" id="box1">
         <property name="visible">1</property>
         <property name="orientation">vertical</property>
+        <property name="margin">10</property>
         <child>
           <object class="GtkStack" id="toplevel_stack">
             <property name="visible">1</property>
@@ -1780,6 +1781,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus.</property>
                           <object class="GtkBox" id="page2box">
                             <property name="visible">1</property>
                             <property name="spacing">20</property>
+                            <property name="margin">10</property>
                             <child>
                               <object class="GtkLabel" id="page2note">
                                 <property name="visible">1</property>