Update app.py

app.py

@@ -7,6 +7,7 @@ Changes made in this version
 2. **Introduced a single, clean rule‑set** for the introduction block so the
    font size, family and alignment are now reliably applied.
 3. All new comments are in English for clarity.
+4. Adjusted font sizes for Radio button labels per user request.
 """
 
 import gradio as gr
@@ -24,7 +25,7 @@ try:
         EVALUATION_QUEUE_TEXT,  # still referenced in commented‑out submit tab
         INTRODUCTION_TEXT,
         LLM_BENCHMARKS_TEXT,
-        TITLE,                 # contains <h1 id="main-leaderboard-title">
+        TITLE,            # contains <h1 id="main-leaderboard-title">
     )
 
     try:
@@ -43,7 +44,7 @@ except ImportError:
     EVALUATION_QUEUE_TEXT = "Current evaluation queue:"
     TITLE = (
         "<h1 id=\"main-leaderboard-title\" align=\"center\">🏆 MLE-Dojo "
-        "Benchmark Leaderboard (Placeholder)</h1>"
+        "Benchmark Leaderboard (Placeholder)</h1>"
     )
     INTRODUCTION_TEXT = (
         "<div class=\"introduction-section\">"
@@ -190,11 +191,11 @@ def update_leaderboard(category: str) -> pd.DataFrame:
     )
 
     df = df.rename(columns={
-        score_column: "Elo Score",
+        score_column: "Elo Score",
         "organizer": "Organizer",
         "license": "License",
     })
-    return df[["Rank", "Model", "Organizer", "License", "Elo Score"]]
+    return df[["Rank", "Model", "Organizer", "License", "Elo Score"]]
 
 # ---------------------------------------------------------------------------
 # Basic placeholder DataFrames for the (currently disabled) evaluation queue
@@ -203,11 +204,11 @@ print("Warning: evaluation queue fetching is disabled/mocked.")
 empty_queue_df = pd.DataFrame(columns=["Model", "Status", "Requested", "Started"])
 
 # ---------------------------------------------------------------------------
-# Helper for HF Spaces restart (optional)
+# Helper for HF Spaces restart (optional)
 # ---------------------------------------------------------------------------
 
 def restart_space():
-    """Restart the current Hugging Face Space (if running in one)."""
+    """Restart the current Hugging Face Space (if running in one)."""
     print(f"Attempting to restart space: {REPO_ID}")
     # Insert actual restart logic if needed.
 
@@ -222,7 +223,7 @@ intro_css = """
    -------------------------------------------------- */
 .introduction-wrapper, .introduction-section {
     font-family: Arial;
-    font-size: 1.3rem !important;  /* ≈22–23 px */
+    font-size: 1.3rem !important;  /* ≈22–23 px */
     line-height: 1.75;
     color: #344054;
     text-align: center;
@@ -230,7 +231,7 @@ intro_css = """
     margin: 0 auto 1rem auto;
 }
 .introduction-wrapper p, .introduction-section p {
-    font-size: 1.3rem !important;  /* ≈22–23 px */
+    font-size: 1.3rem !important;  /* ≈22–23 px */
     margin-bottom: 0.5rem;
 }
 @media (max-width: 768px) {
@@ -288,21 +289,21 @@ body {
 
 #leaderboard-table {
     border-radius: 0.75rem;
-    overflow: hidden;              
-    border: 1px solid #dee2e6;     
+    overflow: hidden;          
+    border: 1px solid #dee2e6;   
 }
 
 #leaderboard-table th,
 #leaderboard-table td {
-    padding: 0.9rem 1.2rem;       
-    line-height: 1.4;             
+    padding: 0.9rem 1.2rem;      
+    line-height: 1.4;            
 }
 
 #intro-image img {
     max-width: 800px;
     height: auto;
     display: block;
-    margin: 0 auto;      
+    margin: 0 auto;     
 }
 """
 
@@ -312,8 +313,8 @@ markdown_css = """
    =============================== */
 .markdown-text, .markdown-text p {
     font-family: Arial, Helvetica, sans-serif;
-    font-size: 1.1rem;      
-    line-height: 1.75;       
+    font-size: 1.1rem;    
+    line-height: 1.75;      
     color: #344054;
     margin-bottom: 0.9rem;
 }
@@ -369,9 +370,9 @@ tab_css = """
 .tabs .tab-container > button {
     /* Add your desired styles here */
     font-size: 1.6rem !important;   /* Example: Adjust size */
-    font-weight: 500;             /* Example: Adjust weight */
-    font-style: normal;           /* Example: Set style */
-    color: #333;                 /* Example: Set color */
+    font-weight: 500;              /* Example: Adjust weight */
+    font-style: normal;            /* Example: Set style */
+    color: #333;                   /* Example: Set color */
     /* Add any other font/format properties */
 }
 
@@ -382,12 +383,13 @@ tab_css = """
 }
 """
 
+# --- MODIFIED CSS FOR RADIO BUTTONS ---
 radio_css = """
 /* --- Radio Button Styling --- */
 
 /* Style for the main label ("Select Category:") */
 .gradio-radio > label span { /* This targets the "Select Category:" part */
-    font-size: 1.2rem !important;
+    font-size: 1.5rem !important; /* <<< INCREASED from 1.2rem */
     font-weight: 600;
     color: #2a6099;
     padding-bottom: 8px;
@@ -395,8 +397,8 @@ radio_css = """
 }
 
 /* Style for the individual option labels (Overall, MLE-Lite, etc.) */
-.gradio-radio .wrap > label > span { /* <--- ADDED/UPDATED RULE */
-    font-size: 1.2rem !important;
+.gradio-radio .wrap > label > span { /* <--- Targets the individual option text */
+    font-size: 1.0rem !important; /* <<< DECREASED from 1.2rem */
     font-family: Verdana, Geneva, sans-serif;
     color: #444;
     font-weight: normal;
@@ -405,7 +407,7 @@ radio_css = """
 }
 
 /* Optional: Style for the selected option's text */
-.gradio-radio .wrap > label.selected > span { /* <--- ADDED RULE */
+.gradio-radio .wrap > label.selected > span { /* <--- Style for selected option */
      font-weight: bold;
      color: #111;
 }
@@ -419,28 +421,28 @@ citation_css = """
 /* Accordion Header Text ("📙 Citation") */
 .gradio-accordion button.label-wrap > span.svelte-1w6vloh {
     font-size: 1.4rem !important;    /* Adjust size */
-    font-weight: 600;               /* Adjust weight */
-    color: #8B4513;               /* Adjust color (SaddleBrown example) */
-    font-family: Georgia, serif;    /* Adjust font */
+    font-weight: 600;                /* Adjust weight */
+    color: #8B4513;                  /* Adjust color (SaddleBrown example) */
+    font-family: Georgia, serif;     /* Adjust font */
 }
 
 /* Citation Textbox Label ("Copy the following snippet...") */
 #citation-button span.svelte-1gfkn6j {
     font-size: 0.95rem !important; /* Adjust size */
-    color: #666;                 /* Adjust color */
-    font-style: normal;           /* Adjust style (e.g., italic) */
-    display: block;               /* Make it a block to add margin */
-    margin-bottom: 5px;           /* Add space below label */
+    color: #666;                   /* Adjust color */
+    font-style: normal;            /* Adjust style (e.g., italic) */
+    display: block;                /* Make it a block to add margin */
+    margin-bottom: 5px;            /* Add space below label */
 }
 
 /* Citation Textbox Content (The actual text) */
 #citation-button textarea {
     font-size: 1.0rem !important;  /* Adjust size */
     font-family: monospace;        /* Adjust font (monospace often used for citations) */
-    color: #222;                 /* Adjust text color */
-    line-height: 1.6;           /* Adjust line spacing */
-    background-color: #fdfdfd;  /* Adjust background color */
-    border: 1px solid #ccc;     /* Adjust border */
+    color: #222;                   /* Adjust text color */
+    line-height: 1.6;              /* Adjust line spacing */
+    background-color: #fdfdfd;     /* Adjust background color */
+    border: 1px solid #ccc;        /* Adjust border */
 }
 """
 
@@ -464,28 +466,29 @@ with demo:
     # NEW ⭐: image immediately below the introduction
     # with gr.Row():
     #     gr.Image(
-    #         value="overview.jpg",   
-    #         show_label=False,                  
-    #         elem_id="intro-image",             
+    #         value="overview.jpg",  
+    #         show_label=False,                
+    #         elem_id="intro-image",            
     #     )
 
     with gr.Tabs(elem_classes="tab-buttons"):
         # ------------------ Leaderboard tab ------------------
         with gr.TabItem("🏅 MLE-Dojo Benchmark", id=0):
             with gr.Column():
+                # --- This is the title you mentioned. "虚拟" is not present here. ---
                 gr.Markdown("## Model Elo Rankings by Category", elem_classes="markdown-text")
 
                 category_selector = gr.Radio(
                     choices=CATEGORIES,
-                    label="Select Category:",
+                    label="Select Category:", # The label whose size is increased via CSS
                     value=DEFAULT_CATEGORY,
                     interactive=True,
-                    elem_classes="gradio-radio",
+                    elem_classes="gradio-radio", # Class used for CSS targeting
                 )
 
                 leaderboard_df_component = gr.Dataframe(
                     value=update_leaderboard(DEFAULT_CATEGORY),
-                    headers=["Rank", "Model", "Organizer", "License", "Elo Score"],
+                    headers=["Rank", "Model", "Organizer", "License", "Elo Score"],
                     datatype=["number", "html", "str", "str", "number"],
                     interactive=False,
                     row_count=(len(master_df), "fixed"),
@@ -528,4 +531,4 @@ if __name__ == "__main__":
         print(f"Scheduler init failed: {exc}")
 
     print("Launching Gradio app…")
-    demo.launch()
+    demo.launch()