From 4961f437024143142566c9f03358fd9b3f214738 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Mon, 10 Apr 2023 16:15:16 -0300
Subject: [PATCH] Improve header bar colors

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

diff --git a/css/main.css b/css/main.css
index 2d8f01e..7c5b70c 100644
--- a/css/main.css
+++ b/css/main.css
@@ -67,3 +67,13 @@ span.math.inline {
 div.svelte-15lo0d8 > *, div.svelte-15lo0d8 > .form > * {
   flex-wrap: nowrap;
 }
+
+.header_bar {
+  background-color: #f7f7f7;
+  margin-bottom: 40px;
+}
+
+.dark .header_bar {
+  border: none !important;
+  background-color: #8080802b;
+}
diff --git a/css/main.js b/css/main.js
index 029ecb6..32820eb 100644
--- a/css/main.js
+++ b/css/main.js
@@ -1,4 +1,4 @@
-document.getElementById("main").parentNode.childNodes[0].style = "border: none; background-color: #8080802b; margin-bottom: 40px";
+document.getElementById("main").parentNode.childNodes[0].classList.add("header_bar");
 document.getElementById("main").parentNode.style = "padding: 0; margin: 0";
 document.getElementById("main").parentNode.parentNode.parentNode.style = "padding: 0";