leaderboard: fix mobile gallery (GT row wrap + double scroll)

- The GT row wrapped on mobile because a base rule (.grow.gt-row .rank)
re-showed the rank cell only on that row (7 items in a 6-col grid);
force-hide rank on mobile so the row lays out correctly.
- On phones, drop the vertical cap so the page scrolls once vertically
and fixtures are reached by horizontal swipe (frozen Submission
column), instead of a tiny capped box plus a confusing outer scroll.

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

gallery.py

@@ -411,8 +411,10 @@ a.sub-name:hover { color: var(--accent); text-decoration: underline; }
   .grid-head, .grow {
     grid-template-columns: 128px 78px repeat(var(--ncol, 4), 118px);
   }
-  /* Drop the rank column (cells + header) to save width. */
-  .rank, .grid-head .h-rank { display: none; }
+  /* Drop the rank column (cells + header) to save width. !important beats the
+     base `.grow.gt-row .rank` rule, which would otherwise re-show it on the GT
+     row only and wrap that row (7 items into a 6-column grid). */
+  .rank, .grid-head .h-rank { display: none !important; }
   /* Freeze the identity / Submission column while swiping horizontally. */
   .ident, .grid-head .h-sub {
     position: sticky; left: 0; z-index: 8;
@@ -668,6 +670,17 @@ function updateScrollCue() {
 var CHROME_RESERVE = 450;
 function sizeGalleryBox() {
   try {
+    // Phones: drop the vertical cap entirely. Mobile browser + HF chrome eat
+    // most of the short viewport, so a capped box would be tiny AND still
+    // double-scroll. Instead let the gallery take its natural height and the
+    // page scroll once vertically; fixtures are reached by horizontal swipe
+    // (overflow-x). Width (unlike height) is not inflated by the nesting, so
+    // innerWidth is a reliable mobile check.
+    if ((window.innerWidth || 1000) < 760) {
+      document.documentElement.style.setProperty('--gallery-max', 'none');
+      updateScrollCue();
+      return;
+    }
     const avail = (window.screen && window.screen.availHeight) || 900;
     const h = Math.max(320, Math.min(1200, Math.round(avail - CHROME_RESERVE)));
     document.documentElement.style.setProperty('--gallery-max', h + 'px');