From 828d97a98c2323ead433775a5d8160e16055ea80 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Tue, 29 Aug 2023 16:15:12 -0700
Subject: [PATCH] Minor CSS improvement

---
 css/main.css | 1 +
 js/main.js   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/css/main.css b/css/main.css
index ceaadfee..b093a6d8 100644
--- a/css/main.css
+++ b/css/main.css
@@ -72,6 +72,7 @@ ol li p, ul li p {
 }
 
 #extensions {
+    margin-top: 5px;
     margin-bottom: 35px;
 }
 
diff --git a/js/main.js b/js/main.js
index 5bb41808..f3f1888e 100644
--- a/js/main.js
+++ b/js/main.js
@@ -3,6 +3,7 @@ let extensions = document.getElementById('extensions');
 
 main_parent.childNodes[0].classList.add("header_bar");
 main_parent.style = "padding: 0; margin: 0";
+main_parent.parentNode.style = "gap: 0";
 main_parent.parentNode.parentNode.style = "padding: 0";
 
 document.querySelector('.header_bar').addEventListener('click', function(event) {