Update miniapp_leaderboard.py

miniapp_leaderboard.py

@@ -160,33 +160,38 @@ def submit(model_name, model_family, zip_file, profile: gr.OAuthProfile):
     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="""
+    .gradio-container { font-size: 18px; }
+    /* 表格字号单独再加一层，确保生效 */
+    .gradio-container table { font-size: 18px; }
+    """
+) as demo:
+
     gr.Markdown(f"# {APP_NAME} Leaderboard")
 
     leaderboard = gr.Dataframe(value=_load_df(APPROVED_PREFIX), interactive=False, wrap=True)
     refresh_btn = gr.Button("Refresh")
 
-
     gr.Markdown("## Submit")
 
     gr.Markdown(
         """
-    **Submission requirements**
-    - Please **sign in with Hugging Face** before submitting.
-    - **One submission per user per day** (UTC).
-    - Upload a **.zip** file only.
-    - The `.zip` must contain the HTML outputs for the **test set queries**.
-      - Each file should be named using the query index: `<index>.html` (e.g., `1.html`, `2.html`, ...).
-    - After you submit, we will update the result in 3 days.
-    """,
+**Submission requirements**
+- Please **sign in with Hugging Face** before submitting.
+- **One submission per user per day** (UTC).
+- Upload a **.zip** file only.
+- The `.zip` must contain the HTML outputs for the **test set queries**.
+  - Each file should be named using the query index: `<index>.html` (e.g., `1.html`, `2.html`, ...).
+- After you submit, we will update the result in 3 days.
+""",
     )
-    
+
     model_name = gr.Textbox(label="Model name", placeholder="e.g. MyModel v1")
     model_family = gr.Textbox(label="Model family", placeholder="e.g. Llama / Qwen / InternLM ...")
     zip_file = gr.File(label="Upload zip (.zip only)", file_types=[".zip"])
 
-
-    # ✅ 同一行：左登录，右提交
     with gr.Row():
         with gr.Column(scale=1, min_width=220):
             login_btn = gr.LoginButton()
@@ -195,10 +200,6 @@ with gr.Blocks(title=f"{APP_NAME} leaderboard") as demo:
 
     status = gr.Markdown()
 
-    submit_btn.click(
-        submit,
-        inputs=[model_name, model_family, zip_file],
-        outputs=[status, leaderboard],
-    )
+    submit_btn.click(submit, inputs=[model_name, model_family, zip_file], outputs=[status, leaderboard])
 
 demo.launch()