Layout

app.py

@@ -133,7 +133,12 @@ with demo:
             )
         with gr.Group():
             leaderboard_df = get_leaderboard_df()
-            leaderboard_table = gr.Dataframe(value=leaderboard_df, wrap=True, height=1000)
+            leaderboard_table = gr.Dataframe(
+                value=leaderboard_df,
+                wrap=True,
+                height=1000,
+                column_widths=[400, 110] + [100] * len(leaderboard_df.columns[2:]),
+            )
         with gr.Row():
             refresh_button = gr.Button("Refresh")