Change the table height

style.css

@@ -144,6 +144,6 @@
 
 /* https://github.com/gradio-app/gradio/issues/9288#issuecomment-2356163329 */
 #leaderboard-table .table-wrap {
-  min-height: 700px;
-  max-height: 700px;
+  min-height: 500px;
+  max-height: 500px;
 }