[krb5-auth-dialog] prefs: Use margin instead of border-width

[Guido Günther <guidog src gnome org>]

commit e82134adf44acebf26b2ce8f3c8089ad753c28dd
Author: Guido Günther <agx sigxcpu org>
Date:   Thu Oct 13 17:35:08 2022 +0200

    prefs: Use margin instead of border-width
    
    The later doesn't exist in GTK4

 src/resources/ui/ka-preferences.ui | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)
---
diff --git a/src/resources/ui/ka-preferences.ui b/src/resources/ui/ka-preferences.ui
index 98d4edb..7a3421b 100644
--- a/src/resources/ui/ka-preferences.ui
+++ b/src/resources/ui/ka-preferences.ui
@@ -7,7 +7,10 @@
     <property name="page_increment">10</property>
   </object>
   <template class="KaPreferences" parent="GtkDialog">
-    <property name="border_width">5</property>
+    <property name="margin-bottom">5</property>
+    <property name="margin-end">5</property>
+    <property name="margin-start">5</property>
+    <property name="margin-top">5</property>
     <property name="type_hint">dialog</property>
     <child internal-child="vbox">
       <object class="GtkBox">
@@ -20,7 +23,10 @@
               <object class="GtkBox" id="vbox_kerberos">
                 <property name="visible">True</property>
                 <property name="orientation">vertical</property>
-                <property name="border_width">12</property>
+                <property name="margin-bottom">12</property>
+                <property name="margin-end">12</property>
+                <property name="margin-start">12</property>
+                <property name="margin-top">12</property>
                 <property name="spacing">18</property>
                 <property name="expand">True</property>
                 <child>
@@ -181,7 +187,10 @@
                 <property name="visible">True</property>
                 <property name="orientation">vertical</property>
                 <property name="valign">start</property>
-                <property name="border_width">12</property>
+                <property name="margin-bottom">12</property>
+                <property name="margin-end">12</property>
+                <property name="margin-start">12</property>
+                <property name="margin-top">12</property>
                 <property name="spacing">18</property>
                 <child>
                   <object class="GtkBox" id="vbox_pkinit_userid">
@@ -324,7 +333,10 @@
               <object class="GtkBox" id="vbox_notifications">
                 <property name="visible">True</property>
                 <property name="orientation">vertical</property>
-                <property name="border_width">12</property>
+                <property name="margin-bottom">12</property>
+                <property name="margin-end">12</property>
+                <property name="margin-start">12</property>
+                <property name="margin-top">12</property>
                 <property name="spacing">18</property>
                 <child>
                   <object class="GtkBox">