leaderboard: squeeze header/caption, grow gallery to show more rows

- Drop the gallery caption and collapse the Gradio title to a single
compact line, and cut the gallery body padding (removes the dead gap
between the last row and the Refresh button).
- With that freed vertical space, lower the box chrome reserve and raise
the cap so the gallery shows as many rows as fit in one viewport while
staying a single scroll (harness-verified across screen sizes).

Co-authored-by: Cursor <cursoragent@cursor.com>

app.py

@@ -932,10 +932,8 @@ def _tasks_iframe_html() -> str:
 
 
 with gr.Blocks(title="CADGenBench Leaderboard", theme=gr.themes.Soft()) as blocks:
-    gr.Markdown(
-        "# CADGenBench Leaderboard\n"
-        "_Benchmarking AI-driven CAD generation._"
-    )
+    # Single compact title line (keeps vertical space for the gallery rows).
+    gr.Markdown("### CADGenBench Leaderboard")
 
     with gr.Tab("Leaderboard"):
         # Visual-first leaderboard. The bespoke surface (sticky GT row,

gallery.py

@@ -232,7 +232,7 @@ _CSS = """
 body {
   margin: 0; background: var(--bg); color: var(--ink);
   font-family: system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
-  -webkit-font-smoothing: antialiased; padding: 18px 0 60px;
+  -webkit-font-smoothing: antialiased; padding: 8px 0 10px;
 }
 .wrap { max-width: 1180px; margin: 0 auto; padding: 0 24px; }
 
@@ -409,12 +409,6 @@ _BODY = """
     Validated leaderboard - Top 10
     <span class="verified-pill"><span class="dot"></span>verified only</span>
   </div>
-  <p class="section-caption">
-    A fixed comparison sheet: <b>two generation</b> and <b>two editing</b> samples,
-    one <b>Medium</b> and one <b>Hard</b> per task. Difficulty is fixed (picked from the
-    Claude Opus 4.8 baseline's per-sample scores), so every visit shows the same columns.
-    <b>Scroll the table</b> to see all models &mdash; the ground-truth row stays pinned for comparison.
-  </p>
   <div class="gallery-shell">
     <div class="gallery" id="gallery">
       <div class="grid-head" id="gridHead"></div>
@@ -638,11 +632,11 @@ function updateScrollCue() {
 // rather than the box plus an outer page scroll. Deliberately generous: a box
 // that is a little short (a touch more in-box scrolling) is far better than a
 // confusing second scrollbar.
-var CHROME_RESERVE = 620;
+var CHROME_RESERVE = 520;
 function sizeGalleryBox() {
   try {
     const avail = (window.screen && window.screen.availHeight) || 900;
-    const h = Math.max(300, Math.min(900, Math.round(avail - CHROME_RESERVE)));
+    const h = Math.max(320, Math.min(1200, Math.round(avail - CHROME_RESERVE)));
     document.documentElement.style.setProperty('--gallery-max', h + 'px');
     updateScrollCue();
   } catch (e) { /* keep CSS fallback */ }