From f42074b6c121f033046e12a19bc99a892d46bbbc Mon Sep 17 00:00:00 2001
From: Lounger <lounger83@gmail.com>
Date: Tue, 19 Dec 2023 23:27:11 +0100
Subject: [PATCH] UI: Remove header margin on chat tab

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

diff --git a/css/main.css b/css/main.css
index 33feb179..50eef6c3 100644
--- a/css/main.css
+++ b/css/main.css
@@ -91,7 +91,7 @@ div.svelte-15lo0d8 > *, div.svelte-15lo0d8 > .form > * {
 
 .header_bar {
     background-color: #f7f7f7;
-    margin-bottom: 19px;
+    margin-bottom: 0px;
     overflow-x: scroll;
     margin-left: calc(-1 * var(--size-4));
     margin-right: calc(-1 * var(--size-4));
@@ -299,6 +299,10 @@ div.svelte-362y77>*, div.svelte-362y77>.form>* {
     width: 100%;
 }
 
+#chat-tab {
+    padding-top: 0px;
+}
+
 #chat-tab button#Generate, #chat-tab button#stop {
     width: 89.3438px !important;
 }
diff --git a/js/main.js b/js/main.js
index 9f10915d..c0fe3e30 100644
--- a/js/main.js
+++ b/js/main.js
@@ -18,9 +18,11 @@ document.querySelector(".header_bar").addEventListener("click", function(event)
     if (chat_visible || notebook_visible || default_visible) {
       extensions.style.display = "flex";
       if (chat_visible) {
+        this.style.marginBottom = "0px";
         extensions.style.maxWidth = "880px";
         extensions.style.padding = "0px";
       } else {
+        this.style.marginBottom = "19px";
         extensions.style.maxWidth = "none";
         extensions.style.padding = "15px";
       }