add

app.py

@@ -712,6 +712,7 @@ with gr.Blocks(title="SWE Assistant Issue & Discussion Leaderboard", theme=gr.th
                 value=pd.DataFrame(columns=[col[0] for col in LEADERBOARD_COLUMNS]),  # Empty initially
                 datatype=LEADERBOARD_COLUMNS,
                 search_columns=["Assistant", "Website"],
+                height=400,  # Minimum height to prevent rows from being obscured by filter controls
                 filter_columns=[
                     ColumnFilter(
                         "Issue Resolved Rate (%)",