to set it to 'always dark' theme

app.py

@@ -15,14 +15,21 @@ def log_file_to_html_string():
 
     return html_content
 
-theme = gr.themes.Default().set(
-        body_background_fill="repeating-linear-gradient(45deg, *primary_800, *primary_800 10px, *primary_900 10px, *primary_900 20px)",
-        body_background_fill_dark="repeating-linear-gradient(45deg, *primary_800, *primary_800 10px, *primary_900 10px, *primary_900 20px)",
-        )
+#theme = gr.themes.Default().set(
+#        body_background_fill="repeating-linear-gradient(45deg, *primary_800, *primary_800 10px, *primary_900 10px, *primary_900 20px)",
+#        body_background_fill_dark="repeating-linear-gradient(45deg, *primary_800, *primary_800 10px, *primary_900 10px, *primary_900 20px)",
+#        )
 
-with gr.Blocks(theme=theme) as demo:
+with gr.Blocks() as demo:
     name = gr.Markdown("# Reddit Scraper")
     output = gr.HTML(log_file_to_html_string, every=1)
+    demo.load(None,
+        _js="""
+        () => {
+            document.body.classList.toggle('dark');
+            document.querySelector('gradio-app').style.backgroundColor = 'var(--color-background-primary)'
+        }
+        """,)
 
 if __name__ == '__main__':
     demo.launch(server_name="0.0.0.0", show_error=True, server_port=7860, enable_queue=True)