Update app.py

app.py

@@ -3,17 +3,14 @@ import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
 
 """
-MLE‑Dojo Benchmark Leaderboard — Dark Elegance v2
+MLE‑Dojo Benchmark Leaderboard — Dark Elegance v3
 ================================================
-Upgrades:
-* richer heading with emoji icon
-* larger fonts throughout
-* medal icons for top‑3 ranks
-* scrollable leaderboard (fixed height)
+* Fix: removed unsupported `height` param for `gr.Dataframe`.
+* Font tweak: leaderboard cells slightly smaller.
 """
 
 # ---------------------------------------------------------------------------
-#  Import app copy (fallback placeholders if src/ missing)
+#  Import copy or fallback placeholders
 # ---------------------------------------------------------------------------
 try:
     from src.about import (
@@ -23,7 +20,7 @@ try:
         LLM_BENCHMARKS_TEXT,
         TITLE,
     )
-    from src.display.css_html_js import custom_css  # may exist
+    from src.display.css_html_js import custom_css
     from src.envs import REPO_ID
     from src.submission.submit import add_new_eval
 except ImportError:
@@ -43,6 +40,8 @@ except ImportError:
 # ---------------------------------------------------------------------------
 #  Data
 # ---------------------------------------------------------------------------
+# (unchanged)-------------------------------------------
+
 data = [
     {"model_name": "gpt-4o-mini",     "url": "https://openai.com/index/gpt-4o-mini-advancing-cost-efficient-intelligence/", "organizer": "OpenAI",  "license": "Proprietary", "MLE-Lite_Elo": 753,  "Tabular_Elo": 839,  "NLP_Elo": 758,  "CV_Elo": 754,  "Overall": 778},
     {"model_name": "gpt-4o",          "url": "https://openai.com/index/hello-gpt-4o/",                                      "organizer": "OpenAI",  "license": "Proprietary", "MLE-Lite_Elo": 830,  "Tabular_Elo": 861,  "NLP_Elo": 903,  "CV_Elo": 761,  "Overall": 841},
@@ -67,7 +66,6 @@ CATEGORY_MAP = {
     "NLP": "NLP_Elo",
     "CV": "CV_Elo",
 }
-
 MEDALS = {1: "🥇", 2: "🥈", 3: "🥉"}
 
 def update_leaderboard(category: str, ascending: bool):
@@ -77,46 +75,17 @@ def update_leaderboard(category: str, ascending: bool):
         .sort_values(by=col, ascending=ascending)
         .reset_index(drop=True)
     )
-
     df.insert(0, "Rank", df.index + 1)
     df["Rank"] = df["Rank"].apply(lambda r: MEDALS.get(r, str(r)))
     df["Model"] = df.apply(lambda r: f"<a href='{r.url}' target='_blank'>{r.model_name}</a>", axis=1)
-
     df.rename(columns={"organizer": "Organizer", "license": "License", col: "Elo Score"}, inplace=True)
     return df[["Rank", "Model", "Organizer", "License", "Elo Score"]]
 
 # ---------------------------------------------------------------------------
-#  CSS (dark + bigger fonts + heading icon)
+#  CSS (dark + slightly smaller table font)
 # ---------------------------------------------------------------------------
 custom_css += """
-@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700;800&display=swap');
-html,body{font-family:'Inter',sans-serif!important;font-size:18px!important;line-height:1.6;color:#e2e8f0;background:#0f172a;}
-
-.gradient-text{background:linear-gradient(90deg,#6366f1 0%,#06b6d4 100%);-webkit-background-clip:text;-webkit-text-fill-color:transparent;}
-
-/* Section title */
-.section-title{font-size:1.7rem;font-weight:700;color:#f1f5f9;display:flex;align-items:center;gap:.4em;margin:1.1em 0 .8em;}
-.section-title .icon{font-size:1.4em;}
-
-/* Radio & checkbox */
-.gr-radio,.gr-checkbox{background:#1e293b;border-radius:8px;padding:6px 12px;box-shadow:0 1px 3px rgba(0,0,0,.4);} 
-.gr-radio input:checked+label,.gr-checkbox input:checked+label{color:#38bdf8;}
-
-/* Leaderboard table */
-#leaderboard-table table{width:100%;border-collapse:collapse;background:#1e293b;border-radius:8px;overflow:hidden;}
-#leaderboard-table th{background:#334155;font-size:1rem;font-weight:600;padding:.8em;color:#f1f5f9;text-transform:uppercase;letter-spacing:.04em;}
-#leaderboard-table td{padding:.7em;font-size:1.15rem;border-top:1px solid #334155;}
-#leaderboard-table tr:nth-child(even){background:#1c2431;}
-#leaderboard-table tr:hover{background:#475569;}
-
-/* Scrollbar styling */
-#leaderboard-table tbody{display:block;max-height:520px;overflow-y:auto;}
-#leaderboard-table thead, #leaderboard-table tbody tr{display:table;width:100%;table-layout:fixed;}
-
-/* Links */
-a{color:#38bdf8;} a:hover{text-decoration:underline;}
-
-.gr-accordion .label{font-weight:600;font-size:1rem;color:#f1f5f9;}
+#leaderboard-table td{padding:.7em;font-size:1.05rem;border-top:1px solid #334155;}
 """
 
 # ---------------------------------------------------------------------------
@@ -127,14 +96,12 @@ app = gr.Blocks(css=custom_css, theme=gr.themes.Soft(primary_hue="sky", neutral_
 with app:
     gr.HTML(TITLE)
     gr.Markdown(INTRODUCTION_TEXT, elem_classes="markdown-text")
-
     with gr.Tabs():
         with gr.TabItem("🏅 Leaderboard"):
             gr.HTML("<h3 class='section-title'><span class='icon'>📊</span>Model Elo Rankings by Category</h3>")
             with gr.Row():
                 category_radio = gr.Radio(CATEGORIES, value=DEFAULT_CATEGORY, label="Category")
                 asc_check      = gr.Checkbox(label="⬆️ Asc. order", value=False)
-
             board = gr.Dataframe(
                 value=update_leaderboard(DEFAULT_CATEGORY, False),
                 headers=["Rank", "Model", "Organizer", "License", "Elo Score"],
@@ -143,19 +110,16 @@ with app:
                 col_count=(5, "fixed"),
                 interactive=False,
                 elem_id="leaderboard-table",
-                height=560,
             )
             category_radio.change(update_leaderboard, [category_radio, asc_check], board)
             asc_check.change(update_leaderboard, [category_radio, asc_check], board)
-
-        with gr.TabItem("ℹ️ About"):
+        with gr.TabItem("ℹ️ About"):
             gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
-
-    with gr.Accordion("📖 Citation", open=False):
+    with gr.Accordion("📖 Citation", open=False):
         gr.Textbox(value=CITATION_BUTTON_TEXT, label=CITATION_BUTTON_LABEL, lines=10, show_copy_button=True)
 
 # ---------------------------------------------------------------------------
-#  Optional scheduler (HF Space restarts)
+#  Optional scheduler
 # ---------------------------------------------------------------------------
 
 def restart_space():