reduce top margin of chat-tab to make room for force-search checkbox

mamei16 · Sep 2, 2024 · 865dfaf · 865dfaf
1 parent 7370ace
commit 865dfaf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/script.js b/script.js
@@ -9,6 +9,9 @@ stop_button.style.setProperty("position", "relative");
 stop_button.style.setProperty("top", "15px");
 stop_button.style.setProperty("margin-left", "-10px");
 
+var chat_tab = document.getElementById("chat-tab");
+chat_tab.style.marginTop = "-10px";
+
 var checkbox = document.getElementById("force-search");
 var gradio_force_search_checkbox = document.getElementById("Force-search-checkbox").children[1].firstChild;
 checkbox.addEventListener('change', function() {