widen display for longer names

src/display/css_html_js.py

@@ -46,14 +46,12 @@ custom_css = """
     white-space: nowrap;
 }
 
-#leaderboard-table {
-    table-layout: auto; /* allows column widths to be determined by content */
-    width: 100%;
-}
-
-#leaderboard-table th, #leaderboard-table td {
-    resize: horizontal;
+/* Limit the width of the first AutoEvalColumn so that names don't expand too much */
+#leaderboard-table td:nth-child(1),
+#leaderboard-table th:nth-child(1) {
+    max-width: 1000px;
     overflow: auto;
+    white-space: nowrap;
 }
 
 .tab-buttons button {