style theme

app.py

@@ -276,10 +276,24 @@ 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)
+            # 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'})
 
     return gr.Dataframe(
-        value=display_df,
+        value=styler, # Pass the Styler object
         headers=visible_columns,
         datatype=datatypes,  # Now using the correct format
         interactive=False,