Update miniapp_leaderboard.py

miniapp_leaderboard.py

@@ -9,7 +9,7 @@ import gradio as gr
 import pandas as pd
 from huggingface_hub import HfApi, hf_hub_download
 
-APP_NAME = "miniapp"
+APP_NAME = "MiniApp"
 
 HF_TOKEN = os.environ.get("HF_TOKEN")
 LEADERBOARD_DATASET = os.environ.get("LEADERBOARD_DATASET", "").strip()
@@ -134,18 +134,31 @@ def submit(model_name, model_family, email, zip_file):
 
     return "Submitted. Waiting for review.", refresh()
 
-
-with gr.Blocks(title=f"{APP_NAME} leaderboard") as demo:
+with gr.Blocks(
+    title=f"{APP_NAME} leaderboard",
+    css="""
+    /* 全局字体变大（影响 Markdown、按钮、输入框等） */
+    :root { --body-text-size: 18px; }
+    .gradio-container { font-size: var(--body-text-size); }
+
+    /* 表格字体、行高 */
+    #leaderboard_table table { font-size: 18px; }
+    #leaderboard_table th, #leaderboard_table td { padding: 10px 12px; }
+
+    /* Dataframe 内部输入/渲染（不同版本 gradio 结构可能略不同，这两条通常有用） */
+    #leaderboard_table .cell-wrap, 
+    #leaderboard_table .ag-cell { font-size: 18px !important; }
+    """
+) as demo:
     gr.Markdown(f"# {APP_NAME} Leaderboard")
 
-    # ✅ 占满横向宽度
     leaderboard = gr.Dataframe(
         value=_load_df(APPROVED_PREFIX),
         interactive=False,
         wrap=True,
+        elem_id="leaderboard_table",   # 关键：给它一个 id 方便写 CSS
         elem_classes="full-width",
     )
-
     refresh_btn = gr.Button("Refresh")
 
     gr.Markdown("## Submit")