From 6cbf41b9673420919744750da01d540ba4f5f00e Mon Sep 17 00:00:00 2001
From: Muqtxdir <muqtxdir@gmail.com>
Date: Sun, 6 Nov 2022 18:59:09 +0530
Subject: [PATCH] adjust margins

---
 vanilla_first_setup/gtk/progress.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vanilla_first_setup/gtk/progress.ui b/vanilla_first_setup/gtk/progress.ui
index 26ebc46..a7705a8 100644
--- a/vanilla_first_setup/gtk/progress.ui
+++ b/vanilla_first_setup/gtk/progress.ui
@@ -31,7 +31,7 @@
         </child>
         <child>
             <object class="GtkProgressBar" id="progressbar">
-              <property name="margin-top">40</property>
+              <property name="margin-top">12</property>
               <property name="margin-start">40</property>
               <property name="margin-bottom">40</property>
               <property name="margin-end">40</property>