style theme

app.py

@@ -275,7 +275,8 @@ def init_leaderboard(dataframe, visible_columns=None):
     for col in numeric_cols:
         # Avoid rounding integer columns like counts
         if not pd.api.types.is_integer_dtype(display_df[col]):
-            display_df[col] = display_df[col].round(3)
+            # 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)
 
     return gr.Dataframe(
         value=display_df,
@@ -861,26 +862,26 @@ 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:")
+    # 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()