[gnome-games] ui: Replace border-width property with margin

[Adrien Plazas <aplazas src gnome org>]

commit 84c1b7cacf10c8dc34b931333c77346f3da1b0e9
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Sun Jul 29 17:48:37 2018 +0500

    ui: Replace border-width property with margin

 data/ui/collection-header-bar.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/ui/collection-header-bar.ui b/data/ui/collection-header-bar.ui
index f79cd484..71f85360 100644
--- a/data/ui/collection-header-bar.ui
+++ b/data/ui/collection-header-bar.ui
@@ -87,7 +87,7 @@
     <property name="visible">False</property>
     <child>
       <object class="GtkBox">
-        <property name="border_width">12</property>
+        <property name="margin">12</property>
         <property name="orientation">vertical</property>
         <property name="visible">True</property>
         <child>