add: force dark mode

main.py

@@ -214,7 +214,7 @@ def make_overview_leaderboard(lbs: [LBContainer]):
             # Merge
             full_df = full_df.merge(df, how="left", on="Model", validate="1:1")
 
-    medal_colors = ["#665600", "#4D4D4D", "#523314"]  # bronze is usually a hex value
+    medal_colors = ["#998A00", "#808080", "#8C5520"]
 
     # Highlight function
     def highlight_top3(col):
@@ -400,7 +400,17 @@ def main():
         border-radius: 2px;
     }
     """
-    demo = gr.Blocks(css=css, title="TabArena")
+    js_func = """
+    function refresh() {
+        const url = new URL(window.location);
+
+        if (url.searchParams.get('__theme') !== 'dark') {
+            url.searchParams.set('__theme', 'dark');
+            window.location.href = url.href;
+        }
+    }
+    """
+    demo = gr.Blocks(css=css, js=js_func, title="TabArena")
     with demo:
         gr.HTML(TITLE)