Update app.py

app.py

@@ -88,8 +88,18 @@ def init_leaderboard(dataframe):
         interactive=False,
     )
 
-
-demo = gr.Blocks(css=custom_css)
+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=custom_css, js = js_func)
 with demo:
     gr.HTML(TITLE)
     gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")