fix: pin gradio version, add column widths, fix text wrapping

app.py

@@ -393,6 +393,8 @@ def build_overall_leaderboard():
         wrap=True,
         interactive=False,
         elem_classes="humani-leaderboard-table",
+        column_widths=["54px", "160px", "100px", "80px", "90px", 
+                    "90px", "80px", "120px", "100px", "90px", "90px", "100px", "90px"],
     )
     gr.HTML(COLOR_LEGEND)
 

requirements.txt

@@ -0,0 +1,6 @@
+gradio==6.15.2
+pandas==2.3.3
+numpy==2.2.6
+huggingface-hub>=0.18.0
+transformers
+python-dateutil

src/display/css_html_js.py

@@ -206,8 +206,9 @@ footer { visibility: hidden; }
     border-bottom: 1px solid var(--border);
     padding: 1.05rem 1rem;
     text-align: center;
-    white-space: normal;
-    word-wrap: break-word;
+    white-space: nowrap;
+    overflow: hidden;
+    text-overflow: ellipsis;
 }
 
 /* Header row — sticky */