widen display for longer names

src/display/css_html_js.py

@@ -41,11 +41,21 @@ custom_css = """
 /* Limit the width of the first AutoEvalColumn so that names don't expand too much */
 #leaderboard-table td:nth-child(2),
 #leaderboard-table th:nth-child(2) {
-    max-width: 600px;
+    max-width: 400px;
     overflow: auto;
     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;
+    overflow: auto;
+}
+
 .tab-buttons button {
     font-size: 20px;
 }