enforce dark mode

app.py

@@ -145,6 +145,17 @@ def build_plot(min_score, max_models_per_month, toggle_annotations, set_selector
     return fig
 
 
+set_dark_mode = """
+function refresh() {
+    const url = new URL(window.location);
+
+    if (url.searchParams.get('__theme') !== 'dark') {
+        url.searchParams.set('__theme', 'dark');
+        window.location.href = url.href;
+    }
+}
+"""
+
 with gr.Blocks(
     theme=gr.themes.Soft(
         primary_hue=gr.themes.colors.sky,
@@ -157,7 +168,8 @@ with gr.Blocks(
             "system-ui",
             "sans-serif",
         ],
-    )
+    ),
+    js=set_dark_mode,
 ) as demo:
     gr.Markdown(
         """