Update app.py

app.py

@@ -3,7 +3,7 @@ import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
 
 """###########################################################################
-MLE-Dojo Leaderboard (v2.2)
+MLE‑Dojo Leaderboard (v2.3)
 ———————————————————————————————————————————————————————————————————————
 A polished Gradio interface for viewing Elo scores across MLE‑Dojo benchmark
 categories.
@@ -25,9 +25,9 @@ try:
     from src.submission.submit import add_new_eval  #  Optional
     print("✓ Imported project‑local definitions from src.*")
 except ImportError:
-    print("⚠  src.* imports failed — using internal placeholders.")
+    print("⚠  src.* imports failed — using internal placeholders.")
     CITATION_BUTTON_LABEL = "Citation"
-    CITATION_BUTTON_TEXT  = "Please cite us if you use this benchmark …"
+    CITATION_BUTTON_TEXT  = "Please cite us if you use this benchmark …"
     INTRODUCTION_TEXT     = "Welcome to the **MLE‑Dojo** benchmark leaderboard."
     LLM_BENCHMARKS_TEXT   = "Further details about our evaluation suite."
     RAW_TITLE             = None
@@ -98,18 +98,3 @@ body  { font-family:'Inter',system-ui,Arial,sans-serif; background:#f9fafb; colo
 #leaderboard-table tr:nth-child(even) { background:#f9fafb; }
 #leaderboard-table tr:hover { background:#ecfeff; }
 #leaderboard-table td a { color:#2563eb; text-decoration:none; }
-#leaderboard-table td a:hover { text-decoration:underline; }
-.gr-accordion label { font-weight:600; }
-.gr-button { font-weight:500; padding:.55em 1.4em; }
-@media (max-width:480px){ .hero-title{font-size:2.25rem;} .subtitle{font-size:1rem;} }
-"""
-
-custom_css = EXTRA_CSS + BASE_CSS
-
-# ──────────────────────────────────────────────────────────────────────────
-# 4️⃣  Build UI
-# ──────────────────────────────────────────────────────────────────────────
-demo = gr.Blocks(css=custom_css, theme=THEME)
-
-with demo:
-    title_html = RAW_TITLE or "<h1 class='hero-title'>🏆 M