Fix Space startup: sync full app source

src/display/css_html_js.py

@@ -1,131 +1,18 @@
-"""Display helpers for the Gradio leaderboard."""
-
-from __future__ import annotations
-
-import time
-
-
-def build_custom_css() -> str:
-    return """
+custom_css = """
 .markdown-text { font-size: 16px !important; }
 .tab-buttons button { font-size: 20px; }
 #leaderboard-table { margin-top: 15px; }
-.eval-countdown-wrap {
-    margin: 0.75rem 0 1.25rem 0;
-    padding: 0;
+.domain-heading {
+    margin-top: 1.75rem;
+    margin-bottom: 0.5rem;
+    font-size: 1.15rem;
+    font-weight: 600;
 }
-.eval-countdown-label {
-    font-size: 0.9rem;
-    color: #94a3b8;
-    margin-bottom: 0.45rem;
-}
-.eval-countdown-track {
-    width: 100%;
-    height: 8px;
-    border-radius: 999px;
-    background: rgba(148, 163, 184, 0.2);
-    overflow: hidden;
+#refresh-progress input[type="range"] {
+    accent-color: #f97316;
 }
-.eval-countdown-fill {
-    height: 100%;
-    width: 0%;
-    border-radius: 999px;
-    background: linear-gradient(90deg, #f97316, #fb923c);
-    transition: width 1s linear;
+#refresh-progress label span {
+    font-size: 0.9rem;
+    color: #64748b;
 }
 """
-
-
-def _format_remaining(total_seconds: int) -> str:
-    total_seconds = max(0, total_seconds)
-    hours = total_seconds // 3600
-    minutes = (total_seconds % 3600) // 60
-    seconds = total_seconds % 60
-    if hours > 0:
-        return f"{hours}h {minutes}m {seconds}s"
-    if minutes > 0:
-        return f"{minutes}m {seconds}s"
-    return f"{seconds}s"
-
-
-def eval_countdown_markup(next_eval_at_unix: int, interval_seconds: int, running: bool = False) -> str:
-    if running:
-        label = "Evaluation in progress…"
-        progress = 0
-    else:
-        remaining = max(0, next_eval_at_unix - int(time.time()))
-        elapsed = max(0, interval_seconds - remaining)
-        progress = min(100, (elapsed / interval_seconds) * 100) if interval_seconds > 0 else 0
-        label = f"Next eval in {_format_remaining(remaining)}"
-
-    return f"""
-<div class="eval-countdown-wrap" id="tsfm-eval-countdown"
-     data-next-at="{next_eval_at_unix}"
-     data-interval="{interval_seconds}"
-     data-running="{'1' if running else '0'}">
-  <div class="eval-countdown-label" id="tsfm-eval-countdown-label">{label}</div>
-  <div class="eval-countdown-track">
-    <div class="eval-countdown-fill" id="tsfm-eval-countdown-fill" style="width: {progress:.2f}%;"></div>
-  </div>
-</div>
-"""
-
-
-def eval_countdown_head_js() -> str:
-    """Countdown to next eval cycle; uses server-persisted absolute deadline."""
-    return """
-<script>
-(function () {
-  function formatRemaining(totalSeconds) {
-    const h = Math.floor(totalSeconds / 3600);
-    const m = Math.floor((totalSeconds % 3600) / 60);
-    const s = totalSeconds % 60;
-    if (h > 0) {
-      return h + "h " + m + "m " + s + "s";
-    }
-    if (m > 0) {
-      return m + "m " + s + "s";
-    }
-    return s + "s";
-  }
-
-  function tick() {
-    const root = document.getElementById("tsfm-eval-countdown");
-    const label = document.getElementById("tsfm-eval-countdown-label");
-    const fill = document.getElementById("tsfm-eval-countdown-fill");
-    if (!root || !label || !fill) return;
-
-    if (root.dataset.running === "1") {
-      label.textContent = "Evaluation in progress…";
-      fill.style.width = "0%";
-      return;
-    }
-
-    const nextAt = parseInt(root.dataset.nextAt || "0", 10);
-    const interval = parseInt(root.dataset.interval || "3600", 10);
-    const remaining = Math.max(0, nextAt - Math.floor(Date.now() / 1000));
-    const elapsed = Math.max(0, interval - remaining);
-    const pct = interval > 0 ? Math.min(100, (elapsed / interval) * 100) : 0;
-
-    label.textContent = "Next eval in " + formatRemaining(remaining);
-    fill.style.width = pct + "%";
-  }
-
-  function startInterval() {
-    if (window.__tsfmEvalCountdownId) return;
-    window.__tsfmEvalCountdownId = setInterval(tick, 1000);
-  }
-
-  function boot() {
-    tick();
-    startInterval();
-  }
-
-  if (document.readyState === "loading") {
-    document.addEventListener("DOMContentLoaded", boot);
-  } else {
-    boot();
-  }
-})();
-</script>
-"""