From 40d5bf6c354b94835d0d3c56e63d5cf6002b6b9e Mon Sep 17 00:00:00 2001
From: Lounger <lounger83@gmail.com>
Date: Tue, 19 Dec 2023 23:42:13 +0100
Subject: [PATCH] Set margin on other tabs too

---
 js/main.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/main.js b/js/main.js
index c0fe3e30..62e78645 100644
--- a/js/main.js
+++ b/js/main.js
@@ -27,6 +27,7 @@ document.querySelector(".header_bar").addEventListener("click", function(event)
         extensions.style.padding = "15px";
       }
     } else {
+      this.style.marginBottom = "19px";
       extensions.style.display = "none";
     }
   }