Fix the table height

style.css

@@ -141,3 +141,9 @@
 #llm-benchmark-tab-table table th:last-child {
   display: none;
 }
+
+/* https://github.com/gradio-app/gradio/issues/9288#issuecomment-2356163329 */
+#leaderboard-table .table-wrap {
+  min-height: 700px;
+  max-height: 700px;
+}