style theme

app.py

@@ -277,17 +277,10 @@ def init_leaderboard(dataframe, visible_columns=None):
         if not pd.api.types.is_integer_dtype(display_df[col]):
             display_df[col] = display_df[col].round(3)
 
-    # Create a mapping from internal names to display names
-    all_choices = get_all_column_choices()
-    display_name_map = {internal_name: display_name for internal_name, display_name in all_choices}
-
-    # Generate the list of headers to display based on the visible internal column names
-    display_headers = [display_name_map.get(col, col) for col in visible_columns] # Default to internal name if no mapping found
-
     return gr.Dataframe(
-        value=display_df, # The dataframe still uses internal names
-        headers=display_headers, # Use display headers for the UI
-        datatype=datatypes,
+        value=display_df,
+        headers=visible_columns,
+        datatype=datatypes,  # Now using the correct format
         interactive=False,
         wrap=True,
         elem_id="leaderboard-table",