style theme

app.py

@@ -276,24 +276,10 @@ def init_leaderboard(dataframe, visible_columns=None):
         # Avoid rounding integer columns like counts
         if not pd.api.types.is_integer_dtype(display_df[col]):
             # Format floats to exactly 3 decimal places, preserving trailing zeros
-            # display_df[col] = display_df[col].apply(lambda x: f"{x:.3f}" if pd.notna(x) else None)
-            pass # Formatting will be handled by Styler
-
-    # Create Styler object for formatting and alignment
-    styler = display_df.style
-
-    # Format numeric columns to 3 decimal places
-    format_dict = {}
-    for col in numeric_cols:
-        if not pd.api.types.is_integer_dtype(display_df[col]):
-            format_dict[col] = "{:.3f}"
-    styler = styler.format(format_dict, na_rep="") # Use empty string for NaNs
-
-    # Right-align all columns (Gradio might do this for numbers, but explicit is better)
-    styler = styler.set_properties(**{'text-align': 'right'})
+            display_df[col] = display_df[col].apply(lambda x: f"{x:.3f}" if pd.notna(x) else None)
 
     return gr.Dataframe(
-        value=styler, # Pass the Styler object
+        value=display_df,
         headers=visible_columns,
         datatype=datatypes,  # Now using the correct format
         interactive=False,
@@ -608,7 +594,8 @@ with demo:
                         value=CURRENT_VERSION,
                         interactive=True,
                         elem_classes="version-selector",
-                        scale=1
+                        scale=1,
+                        visible=False
                     )
 
                 with gr.Row():
@@ -748,7 +735,8 @@ with demo:
                             choices=BENCHMARK_VERSIONS,
                             label="Benchmark Version",
                             value=CURRENT_VERSION,
-                            interactive=True
+                            interactive=True,
+                            visible=False
                         )
                         model_selector = gr.Dropdown(
                             choices=update_model_choices(CURRENT_VERSION),
@@ -805,7 +793,8 @@ with demo:
                             label="Benchmark Version",
                             value=CURRENT_VERSION,
                             interactive=True,
-                            elem_classes="version-selector"
+                            elem_classes="version-selector",
+                            visible=False
                         )
 
                 with gr.Row():
@@ -876,26 +865,6 @@ with demo:
         outputs=[leaderboard] + [category_tabs.children[i].children[0] for i in range(1, len(CATEGORIES) + 1)]
     )
 
-    # with gr.Row():
-    #     with gr.Column():
-    #         gr.Textbox(
-    #             value=CITATION_BUTTON_TEXT,
-    #             label="Cite",
-    #             lines=8,
-    #             elem_id="citation-button",
-    #             show_copy_button=True,
-    #         )
-
-    #     # with gr.Accordion("Dataset Information", open=False):
-    #     with gr.Column():
-    #         gr.Textbox(
-    #             value=f"""
-    #             https://huggingface.co/datasets/{RESULTS_DATASET_ID}
-
-    #             Last updated: {pd.Timestamp.now().strftime("%Y-%m-%d %H:%M:%S UTC")}
-    #         """,
-    #             lines=8,
-    #             label="Results:")
 
 # Set up the scheduler to refresh data periodically
 scheduler = BackgroundScheduler()