From 3f9cb7d57537437e24b1d7fde5df3031bdc31819 Mon Sep 17 00:00:00 2001
From: Cohee <18619528+Cohee1207@users.noreply.github.com>
Date: Mon, 23 Oct 2023 22:25:17 +0300
Subject: [PATCH] Reduce hr margin

---
 public/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/public/index.html b/public/index.html
index 4929f8c8d..02bcc1f0f 100644
--- a/public/index.html
+++ b/public/index.html
@@ -3302,7 +3302,7 @@
                             <div id="extensions_connect" class="menu_button" data-i18n="Connect">Connect</div>
                         </div>
                     </div>
-                    <hr class="wide100p">
+                    <hr class="wide100p margin0">
                     <div class="alignitemscenter flex-container wide100p">
                         <h3 class="margin0 flex1" data-i18n="Extensions">
                             Extensions
@@ -5104,4 +5104,4 @@
     </script>
 </body>
 
-</html>
\ No newline at end of file
+</html>