From b2284ef48fa7338aff549bb5dccb0a31da8469d9 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Wed, 26 Oct 2016 14:42:11 -0400
Subject: [PATCH] Fix widget-factory appearance, a bit

Use margins instead of border-width, for now.
---
 demos/widget-factory/widget-factory.ui | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 34bddd54a2..5af53d6dfc 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>