/* MOSS prover challenge — styled on the MOSS design system.
   Moss on paper: warm ground, white flat panels, hairline borders, Helvetica Neue,
   quick physical motion and the signature diagonal slant wipe. No shadows except
   things that truly float. CSP forbids inline styles, so everything lives here. */

@font-face {
  font-family: "Helvetica Neue";
  src: url("/fonts/HelveticaNeue-Roman.otf") format("opentype");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Helvetica Neue";
  src: url("/fonts/HelveticaNeue-Medium.otf") format("opentype");
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}

:root {
  /* Color — moss on paper */
  --color-background: #f0eeeb;
  --color-panel: #ffffff;
  --color-panel-dark: #e4e2de;
  --color-select: #eef3ef;
  --color-text: #091a10;
  --color-muted: #626f66;
  --color-primary: #437660;
  --color-primary-muted: #cdefde;
  --color-brand: #60a587;
  --color-dark: #05200d;
  --color-success: #118c61;
  --color-success-muted: #e0f0e5;
  --color-danger: #c2453f;
  --color-danger-muted: #f4e2e0;
  --color-info: #3c71ff;
  --color-warning: #ffa172;
  --color-warning-muted: #ffe8dc;
  --color-light: #ffffff;
  --color-border: #e4e2de;
  --focus-ring: color-mix(in srgb, var(--color-primary) 45%, transparent);

  /* Type */
  --font-sans: "Helvetica Neue", Helvetica, Arial, "Segoe UI", system-ui, sans-serif;
  --font-mono: ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, monospace;
  --weight-regular: 400;
  --weight-medium: 500;
  --text-2xs: 11px;
  --text-xs: 12px;
  --text-sm: 14px;
  --text-base: 16px;
  --text-lg: 18px;
  --text-xl: 20px;
  --text-2xl: 24px;
  --tracking-wide: 0.04em;

  /* Shape */
  --radius-chip: 8px;
  --radius-button: 12px;
  --radius-card: 16px;
  --radius-full: 9999px;

  /* Motion — quick and physical */
  --ease-standard: cubic-bezier(0.4, 0, 0.2, 1);
  --ease-out: cubic-bezier(0, 0, 0.2, 1);
  --duration-fast: 100ms;
  --duration-base: 200ms;
  --duration-slow: 300ms;
  --press-scale: 0.98;
  --slant: 0.7rem;

  font-family: var(--font-sans);
  color: var(--color-text);
  background: var(--color-background);
  font-synthesis: none;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}

@media (prefers-reduced-motion: reduce) {
  :root {
    --duration-fast: 1ms;
    --duration-base: 1ms;
    --duration-slow: 1ms;
  }
  *, *::before, *::after { animation-duration: 1ms !important; animation-delay: 0ms !important; animation-iteration-count: 1 !important; transition-duration: 1ms !important; }
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
body { margin: 0; min-width: 320px; }
button, a { font: inherit; }
::selection { background: var(--color-primary-muted); }

/* ---- Keyframes ---- */

@keyframes moss-fade-in {
  from { opacity: 0; transform: translateY(6px); }
  to { opacity: 1; transform: translateY(0); }
}

/* The signature slant wipe — a slanted edge sweeping across a surface */
@keyframes moss-slant-wipe {
  0%   { clip-path: polygon(0 0, 0 0, 0 100%, 0 100%); }
  35%  { clip-path: polygon(0 0, calc(100% + var(--slant)) 0, 100% 100%, 0 100%); }
  50%  { clip-path: polygon(0 0, 100% 0, 100% 100%, 0 100%); }
  65%  { clip-path: polygon(var(--slant) 0, 100% 0, 100% 100%, 0 100%); }
  100% { clip-path: polygon(100% 0, 100% 0, 100% 100%, 100% 100%); }
}

@keyframes moss-shimmer {
  from { transform: translateX(-100%) skewX(-14deg); }
  to { transform: translateX(250%) skewX(-14deg); }
}

@keyframes moss-spin {
  to { transform: rotate(360deg); }
}

@keyframes moss-pulse-ring {
  0% { box-shadow: 0 0 0 0 color-mix(in srgb, currentColor 35%, transparent); }
  70% { box-shadow: 0 0 0 6px transparent; }
  100% { box-shadow: 0 0 0 0 transparent; }
}

@keyframes chart-draw {
  from { stroke-dashoffset: 1; }
  to { stroke-dashoffset: 0; }
}

@keyframes chart-dot-in {
  from { opacity: 0; }
  to { opacity: 1; }
}

/* ---- Top bar — flat paper, hairline below ---- */

.topbar {
  position: sticky;
  top: 0;
  z-index: 10;
  height: 64px;
  padding: 0 max(24px, calc((100vw - 1180px) / 2));
  display: flex;
  align-items: center;
  justify-content: space-between;
  background: var(--color-background);
  border-bottom: 1px solid var(--color-border);
}

.brand { display: flex; align-items: center; gap: 12px; color: var(--color-text); text-decoration: none; }
.brand img { display: block; height: 18px; width: auto; }
.brand-sub { padding-left: 12px; border-left: 1px solid var(--color-panel-dark); color: var(--color-muted); font-size: var(--text-sm); font-weight: var(--weight-medium); }

.runner-state { display: flex; align-items: center; gap: 8px; color: var(--color-muted); font-size: 13px; }
.pulse {
  width: 8px;
  height: 8px;
  border-radius: var(--radius-full);
  color: var(--color-warning);
  background: currentColor;
  animation: moss-pulse-ring 2.2s var(--ease-out) infinite;
}
.runner-state.online .pulse { color: var(--color-success); }
.runner-state.offline .pulse { color: var(--color-danger); }
.runner-state.online #runner-label { color: var(--color-primary); }

/* ---- Layout & hero ---- */

main { width: min(1180px, calc(100% - 40px)); margin: 48px auto 64px; }

/* Sections build in one after another on load */
.reveal { animation: moss-fade-in var(--duration-slow) var(--ease-out) both; }
.reveal-2 { animation-delay: 60ms; }
.reveal-3 { animation-delay: 120ms; }
.reveal-4 { animation-delay: 180ms; }
.reveal-5 { animation-delay: 240ms; }

.hero { display: flex; justify-content: space-between; gap: 48px; align-items: end; margin-bottom: 24px; }
.eyebrow {
  margin: 0 0 10px;
  color: var(--color-muted);
  font-size: var(--text-xs);
  font-weight: var(--weight-medium);
  letter-spacing: var(--tracking-wide);
  text-transform: uppercase;
}
h1 {
  margin: 0;
  font-size: clamp(44px, 7vw, 76px);
  font-weight: var(--weight-medium);
  line-height: 1;
  letter-spacing: -0.02em;
  font-variant-numeric: tabular-nums;
}
h1 span { color: var(--color-primary); }
.lede { margin: 16px 0 0; color: var(--color-muted); font-size: 17px; line-height: 1.5; }

.hero-metrics {
  min-width: 320px;
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: 1px;
  background: var(--color-border);
  border-radius: var(--radius-card);
  overflow: hidden;
}
.hero-metrics div { display: grid; gap: 6px; padding: 18px; background: var(--color-panel); }
.hero-metrics span, .hero-metrics small { color: var(--color-muted); font-size: var(--text-2xs); }
.hero-metrics span { text-transform: uppercase; letter-spacing: var(--tracking-wide); }
.hero-metrics strong { font-size: var(--text-2xl); font-weight: var(--weight-medium); line-height: 1; font-variant-numeric: tabular-nums; }

/* ---- Notice — quiet informational row ---- */

.notice {
  display: flex;
  align-items: start;
  gap: 10px;
  margin: 26px 0 18px;
  padding: 12px 16px;
  border-radius: var(--radius-button);
  color: var(--color-muted);
  background: var(--color-select);
  font-size: 13px;
  line-height: 1.5;
}
.notice svg { flex: none; margin-top: 2px; color: var(--color-primary); }

/* ---- Panels — flat white cards on paper, no border, no shadow ---- */

.panel { background: var(--color-panel); border-radius: var(--radius-card); }
.panel-heading { padding: 22px 24px 12px; display: flex; justify-content: space-between; align-items: start; gap: 20px; }
h2 { margin: 0; font-size: var(--text-xl); font-weight: var(--weight-medium); letter-spacing: -0.01em; }
.panel-actions { display: flex; align-items: center; gap: 8px; }

.metric-chip {
  padding: 6px 10px;
  color: var(--color-muted);
  background: var(--color-background);
  border-radius: var(--radius-chip);
  font-size: var(--text-2xs);
  font-variant-numeric: tabular-nums;
  white-space: nowrap;
}

/* Secondary button — white on dark hairline; dims on hover, shrinks on press */
.secondary-button {
  position: relative;
  overflow: hidden;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  min-height: 36px;
  padding: 8px 14px;
  border: 1px solid var(--color-dark);
  border-radius: var(--radius-button);
  color: var(--color-dark);
  background: var(--color-light);
  cursor: pointer;
  font-size: 13px;
  font-weight: var(--weight-medium);
  line-height: 1;
  white-space: nowrap;
  transition: opacity var(--duration-fast) var(--ease-standard), transform var(--duration-fast) var(--ease-standard), color var(--duration-base) var(--ease-standard), border-color var(--duration-base) var(--ease-standard);
  -webkit-tap-highlight-color: transparent;
}
.secondary-button:hover { opacity: 0.9; }
.secondary-button:active { transform: scale(var(--press-scale)); }
.secondary-button:focus-visible { outline: 2px solid var(--focus-ring); outline-offset: 2px; }
.secondary-button svg { flex: none; }

/* ---- Chart ---- */

.chart-panel { position: relative; min-height: min(72vh, 720px); }
#record-chart { display: block; width: calc(100% - 30px); height: min(62vh, 620px); margin: 2px auto 14px; overflow: visible; }
.chart-panel:fullscreen { width: 100vw; min-height: 100vh; margin: 0; border-radius: 0; background: var(--color-panel); }
.chart-panel:fullscreen #record-chart { height: calc(100vh - 86px); }

.chart-grid { stroke: #efedea; stroke-width: 1; }
.chart-label { fill: var(--color-muted); font-size: 11px; font-family: var(--font-sans); }
.chart-line {
  fill: none;
  stroke: var(--color-primary);
  stroke-width: 3;
  stroke-linejoin: round;
  stroke-linecap: round;
  stroke-dasharray: 1;
  animation: chart-draw 900ms var(--ease-out) both;
}
.chart-area { fill: url(#area-gradient); animation: chart-dot-in 700ms var(--ease-out) 500ms both; }
.chart-dot { fill: var(--color-light); stroke: var(--color-primary); stroke-width: 3; animation: chart-dot-in var(--duration-slow) var(--ease-out) 650ms both; }
.chart-value { fill: var(--color-text); font-size: 11px; font-weight: var(--weight-medium); font-family: var(--font-sans); font-variant-numeric: tabular-nums; animation: chart-dot-in var(--duration-slow) var(--ease-out) 750ms both; }
.chart-empty { fill: var(--color-muted); font-size: 14px; font-family: var(--font-sans); }
.chart-hit { fill: transparent; pointer-events: all; }
.chart-dot { transition: r var(--duration-fast) var(--ease-standard); }
.chart-dot.is-active { r: 7px; }

/* Point tooltip — the one surface that truly floats, so it gets the popover shadow */
.chart-tooltip {
  position: absolute;
  z-index: 5;
  display: grid;
  gap: 3px;
  padding: 12px 14px;
  background: var(--color-panel);
  border-radius: var(--radius-button);
  box-shadow: 0 8px 24px -6px rgba(9, 26, 16, 0.14), 0 2px 6px -2px rgba(9, 26, 16, 0.08);
  pointer-events: none;
  white-space: nowrap;
  transform: translate(-50%, calc(-100% - 14px));
  opacity: 0;
  transition: opacity var(--duration-fast) var(--ease-out);
}
.chart-tooltip.show { opacity: 1; }
.chart-tooltip strong { font-size: var(--text-base); font-weight: var(--weight-medium); font-variant-numeric: tabular-nums; }
.chart-tooltip span { font-size: var(--text-xs); color: var(--color-text); font-variant-numeric: tabular-nums; }
.chart-tooltip #tooltip-improvement { color: var(--color-success); }
.chart-tooltip small { margin-top: 3px; font-size: var(--text-2xs); color: var(--color-muted); }

/* ---- Queue ---- */

.queue-panel { min-height: 180px; margin-top: 18px; }
/* Caps at ~5 items; the sixth peeks to signal scroll */
.queue-list { max-height: 348px; overflow-y: auto; padding: 2px 18px 18px; display: grid; gap: 8px; }
.queue-item {
  padding: 12px;
  background: var(--color-background);
  border-radius: var(--radius-button);
  display: grid;
  grid-template-columns: 34px 1fr auto;
  align-items: center;
  gap: 12px;
  animation: moss-fade-in var(--duration-slow) var(--ease-out) both;
}
.queue-item:nth-child(2) { animation-delay: 40ms; }
.queue-item:nth-child(3) { animation-delay: 80ms; }
.queue-item:nth-child(n + 4) { animation-delay: 120ms; }
.queue-number {
  width: 30px;
  height: 30px;
  display: grid;
  place-items: center;
  background: var(--color-panel-dark);
  color: var(--color-text);
  border-radius: var(--radius-chip);
  font-size: var(--text-xs);
  font-weight: var(--weight-medium);
  font-variant-numeric: tabular-nums;
}
.queue-item.active .queue-number { background: var(--color-primary); color: var(--color-light); }
.queue-copy { min-width: 0; }
.queue-copy strong, .queue-copy small { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.queue-copy strong { font-size: 13px; font-weight: var(--weight-medium); }
.queue-copy small { margin-top: 3px; color: var(--color-muted); font-size: var(--text-2xs); }
.status {
  padding: 5px 9px;
  border-radius: var(--radius-chip);
  background: var(--color-panel-dark);
  color: var(--color-muted);
  font-size: var(--text-2xs);
  font-weight: var(--weight-medium);
}
.queue-item.active .status { background: var(--color-success-muted); color: var(--color-success); }

/* Live-work loader — the signature slant wipe sweeps the pill while the evaluator runs */
.queue-item.active .status, .status.run {
  position: relative;
  overflow: hidden;
}
.queue-item.active .status::after, .status.run::after {
  content: "";
  position: absolute;
  inset: 0;
  background: color-mix(in srgb, var(--color-success) 14%, transparent);
  animation: moss-slant-wipe 1.8s var(--ease-standard) infinite;
}

/* Small MOSS spinner — border ring, top notch, quick spin */
.mini-spinner {
  display: inline-block;
  width: 14px;
  height: 14px;
  border-radius: var(--radius-full);
  border: 2px solid currentColor;
  border-top-color: transparent;
  opacity: 0.9;
  animation: moss-spin 0.7s linear infinite;
}
.empty { color: var(--color-muted); padding: 56px 12px; text-align: center; font-size: 13px; animation: moss-fade-in var(--duration-slow) var(--ease-out) both; }

/* ---- Leaderboard ---- */

.leaderboard-panel { margin-top: 18px; }
.table-wrap { overflow-x: auto; }
table { width: 100%; border-collapse: collapse; }
th, td { padding: 14px 20px; border-top: 1px solid var(--color-border); text-align: left; font-size: 13px; font-variant-numeric: tabular-nums; }
th {
  color: var(--color-muted);
  font-size: var(--text-2xs);
  font-weight: var(--weight-medium);
  letter-spacing: var(--tracking-wide);
  text-transform: uppercase;
}
tbody tr { animation: moss-fade-in var(--duration-slow) var(--ease-out) both; transition: background var(--duration-fast) var(--ease-standard); }
tbody tr:nth-child(2) { animation-delay: 40ms; }
tbody tr:nth-child(3) { animation-delay: 80ms; }
tbody tr:nth-child(4) { animation-delay: 120ms; }
tbody tr:nth-child(5) { animation-delay: 160ms; }
tbody tr:nth-child(n + 6) { animation-delay: 200ms; }
tbody tr:hover { background: var(--color-select); }
td strong, td small { display: block; }
td strong { font-weight: var(--weight-medium); }
td small { margin-top: 3px; color: var(--color-muted); }
.rank { color: var(--color-muted); font-weight: var(--weight-medium); }
#leaderboard tr:first-child .rank { color: var(--color-primary); }
.baseline-row { background: var(--color-select); }
.baseline-row:hover { background: var(--color-select); }
.leaderboard-table { min-width: 760px; }
.leaderboard-table thead { background: var(--color-dark); }
.leaderboard-table th { color: color-mix(in srgb, var(--color-light) 76%, transparent); border-top: 0; padding-block: 13px; }
.leaderboard-table td { padding-block: 16px; }
.leaderboard-table .solver-cell { min-width: 260px; }
.leaderboard-table .throughput strong { font-size: var(--text-base); }
.model-identity { display: flex; align-items: center; gap: 7px; margin-top: 6px; color: var(--color-muted); font-size: var(--text-xs); }
.model-icon { width: 24px; height: 24px; flex: none; display: grid; place-items: center; border: 1px solid var(--color-border); border-radius: 7px; background: var(--color-panel); color: var(--color-text); }
.model-icon img { display: block; width: 16px; height: 16px; }
.model-fallback { background: var(--color-primary-muted); color: var(--color-primary); font-size: 10px; font-weight: var(--weight-medium); }
.model-reference { color: var(--color-muted); }
.gain { color: var(--color-success); font-size: var(--text-base); }
.gain-reference { color: var(--color-muted); }

/* ---- All submissions ---- */

.submissions-panel { margin-top: 18px; }
/* Caps at ~10 rows; header stays pinned while the list scrolls */
.submissions-panel .table-wrap { max-height: 600px; overflow-y: auto; }
.submissions-panel th { position: sticky; top: 0; z-index: 1; background: var(--color-panel); border-top: 0; border-bottom: 1px solid var(--color-border); }

/* Quiet scrollbars on scrolling surfaces */
.queue-list, .table-wrap { scrollbar-width: thin; scrollbar-color: var(--color-panel-dark) transparent; }
.queue-list::-webkit-scrollbar, .table-wrap::-webkit-scrollbar { width: 8px; height: 8px; }
.queue-list::-webkit-scrollbar-thumb, .table-wrap::-webkit-scrollbar-thumb { background: var(--color-panel-dark); border-radius: var(--radius-full); }
.queue-list::-webkit-scrollbar-thumb:hover, .table-wrap::-webkit-scrollbar-thumb:hover { background: var(--color-muted); }
.queue-list::-webkit-scrollbar-track, .table-wrap::-webkit-scrollbar-track { background: transparent; }
.status.ok { background: var(--color-success-muted); color: var(--color-success); }
.status.bad { background: var(--color-danger-muted); color: var(--color-danger); }
.status.run { background: var(--color-success-muted); color: var(--color-success); }
td .status { display: inline-block; }
td .status + small { display: block; margin-top: 5px; color: var(--color-muted); }

/* ---- Submission details ---- */

.submission-detail-row { cursor: pointer; }
.submission-detail-row:focus-within { background: var(--color-select); }
.submission-name {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  max-width: 100%;
  padding: 0;
  border: 0;
  color: var(--color-text);
  background: transparent;
  cursor: pointer;
  font-weight: var(--weight-medium);
  text-align: left;
  transition: color var(--duration-fast) var(--ease-standard), transform var(--duration-fast) var(--ease-standard);
}
.submission-name > span:first-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.submission-name:hover { color: var(--color-primary); }
.submission-name:active { transform: scale(var(--press-scale)); }
.submission-name:focus-visible { outline: 2px solid var(--focus-ring); outline-offset: 4px; border-radius: 3px; }
.submission-chevron { color: var(--color-muted); font-size: 18px; line-height: .75; transition: color var(--duration-fast) var(--ease-standard), transform var(--duration-fast) var(--ease-standard); }
.submission-detail-row:hover .submission-chevron,
.submission-detail-row:focus-within .submission-chevron { color: var(--color-primary); transform: translateX(2px); }

.submission-dialog {
  width: min(720px, calc(100% - 24px));
  max-width: none;
  max-height: min(86vh, 860px);
  padding: 0;
  border: 0;
  border-radius: 18px;
  color: var(--color-text);
  background: var(--color-panel);
  box-shadow: 0 28px 80px -24px rgba(5, 32, 13, .32), 0 8px 24px -12px rgba(5, 32, 13, .2);
  overflow: hidden;
  animation: dialog-enter var(--duration-base) var(--ease-out) both;
}
.submission-dialog::backdrop {
  background: rgba(5, 32, 13, .34);
  -webkit-backdrop-filter: blur(3px);
  backdrop-filter: blur(3px);
  animation: dialog-backdrop-in var(--duration-base) var(--ease-out) both;
}
@keyframes dialog-enter {
  from { opacity: 0; transform: scale(.98); }
  to { opacity: 1; transform: scale(1); }
}
@keyframes dialog-backdrop-in {
  from { opacity: 0; }
  to { opacity: 1; }
}
.dialog-shell { max-height: inherit; display: flex; flex-direction: column; }
.dialog-header {
  flex: none;
  display: flex;
  align-items: start;
  justify-content: space-between;
  gap: 24px;
  padding: 22px 24px 18px;
  border-bottom: 1px solid var(--color-border);
}
.dialog-header .eyebrow { margin-bottom: 6px; }
.dialog-close {
  width: 38px;
  height: 38px;
  flex: none;
  display: grid;
  place-items: center;
  padding: 0;
  border: 0;
  border-radius: 11px;
  color: var(--color-muted);
  background: var(--color-background);
  cursor: pointer;
  transition: color var(--duration-fast) var(--ease-standard), background var(--duration-fast) var(--ease-standard), transform var(--duration-fast) var(--ease-standard);
}
.dialog-close:hover { color: var(--color-text); background: var(--color-panel-dark); }
.dialog-close:active { transform: scale(var(--press-scale)); }
.dialog-close:focus-visible { outline: 2px solid var(--focus-ring); outline-offset: 2px; }
.dialog-loading { display: grid; gap: 12px; padding: 24px; }
.dialog-skeleton-title { width: 42%; height: 24px; }
.dialog-skeleton-metrics { height: 104px; }
.dialog-skeleton-note { height: 190px; }
.dialog-content { min-height: 0; padding: 22px 24px 24px; overflow-y: auto; }
.dialog-identity { display: flex; align-items: start; justify-content: space-between; gap: 20px; }
.dialog-identity > div { min-width: 0; }
.dialog-identity > div > strong { display: block; overflow: hidden; color: var(--color-text); font-size: var(--text-xl); font-weight: var(--weight-medium); text-overflow: ellipsis; white-space: nowrap; }
.dialog-identity > span { flex: none; color: var(--color-muted); font-size: var(--text-xs); }
.dialog-identity .model-identity { margin-top: 7px; }
.dialog-metrics {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  margin-top: 20px;
  border-radius: var(--radius-button);
  background: var(--color-border);
  overflow: hidden;
}
.dialog-metrics > div { min-width: 0; display: grid; gap: 7px; padding: 14px; background: var(--color-background); }
.dialog-metrics span { color: var(--color-muted); font-size: var(--text-2xs); }
.dialog-metrics strong { overflow: hidden; font-size: var(--text-sm); font-weight: var(--weight-medium); font-variant-numeric: tabular-nums; text-overflow: ellipsis; white-space: nowrap; }
#submission-detail-improvement { color: var(--color-success); }
.submission-note { margin-top: 22px; }
.note-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.note-heading h3 { margin: 0; font-size: var(--text-base); font-weight: var(--weight-medium); }
.note-heading span { padding: 5px 8px; border-radius: var(--radius-chip); color: var(--color-muted); background: var(--color-background); font-size: var(--text-2xs); white-space: nowrap; }
.submission-note pre {
  margin: 10px 0 0;
  padding: 16px;
  border: 1px solid var(--color-border);
  border-radius: var(--radius-button);
  color: var(--color-text);
  background: #faf9f7;
  font: 13px/1.58 var(--font-sans);
  overflow-wrap: anywhere;
  white-space: pre-wrap;
}
.submission-note p { margin: 10px 2px 0; color: var(--color-muted); font-size: var(--text-xs); line-height: 1.5; }
.dialog-footer {
  display: grid;
  gap: 9px;
  margin-top: 22px;
  padding: 14px 0 0;
  border-top: 1px solid var(--color-border);
  color: var(--color-muted);
  text-align: left;
}
.dialog-footer > div { min-width: 0; display: grid; grid-template-columns: 92px minmax(0, 1fr); gap: 10px; align-items: baseline; }
.dialog-footer span { font-size: var(--text-2xs); text-transform: uppercase; letter-spacing: var(--tracking-wide); }
.dialog-footer code { overflow: hidden; color: var(--color-text); font: var(--text-xs)/1.45 var(--font-mono); text-overflow: ellipsis; white-space: nowrap; }
.dialog-error { padding: 56px 24px; color: var(--color-danger); text-align: center; font-size: var(--text-sm); }

/* ---- Loading skeletons — the slant-wipe shimmer over sunken blocks ---- */

.skeleton {
  position: relative;
  overflow: hidden;
  background: var(--color-panel-dark);
  border-radius: var(--radius-button);
}
.skeleton::after {
  content: "";
  position: absolute;
  inset: 0 auto 0 0;
  width: 40%;
  background: linear-gradient(90deg, transparent, rgba(255, 255, 255, 0.55), transparent);
  animation: moss-shimmer 1.4s var(--ease-standard) infinite;
}
.skeleton-row { height: 54px; }
.skeleton-cell { height: 14px; width: 100%; border-radius: 4px; }
.skeleton-cell.short { width: 56%; }
#speedup.loading, .hero-metrics strong.loading { color: var(--color-panel-dark); }

/* ---- Footer ---- */

footer { padding: 24px; border-top: 1px solid var(--color-border); color: var(--color-muted); text-align: center; font-size: var(--text-xs); }

/* ---- Responsive ---- */

@media (max-width: 900px) {
  .hero { align-items: stretch; flex-direction: column; }
  .hero-metrics { min-width: 0; }
}

@media (max-width: 600px) {
  .runner-state { display: none; }
  .brand-sub { display: none; }
  main { width: min(100% - 24px, 1180px); margin-top: 32px; }
  .hero-metrics { grid-template-columns: 1fr; }
  .hero-metrics div { grid-template-columns: 1fr auto; align-items: baseline; }
  .hero-metrics small { grid-column: 1 / -1; }
  .panel-heading { padding-inline: 16px; }
  .panel-actions { align-items: end; flex-direction: column; }
  .metric-chip { white-space: normal; }
  th, td { padding-inline: 14px; }
  .leaderboard-table { min-width: 0; display: block; }
  .leaderboard-table thead { display: none; }
  .leaderboard-table tbody { display: block; }
  .leaderboard-table tbody tr { display: grid; grid-template-columns: 38px minmax(0, 1fr) auto; grid-template-rows: auto auto; align-items: center; padding: 13px 10px; border-top: 1px solid var(--color-border); }
  .leaderboard-table td { padding: 0 6px; border: 0; }
  .leaderboard-table .rank { grid-column: 1; grid-row: 1 / 3; }
  .leaderboard-table .solver-cell { grid-column: 2; grid-row: 1 / 3; min-width: 0; }
  .leaderboard-table .solver-cell > strong, .leaderboard-table .model-identity > span:last-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
  .leaderboard-table .throughput { grid-column: 3; grid-row: 1; text-align: right; }
  .leaderboard-table td:nth-child(4) { display: none; }
  .leaderboard-table td:nth-child(5) { grid-column: 3; grid-row: 2; text-align: right; }
  .leaderboard-table .gain { font-size: var(--text-sm); }
  .leaderboard-table td:nth-child(5) small { display: none; }
  .submission-dialog { width: calc(100% - 16px); max-height: calc(100vh - 16px); border-radius: 15px; }
  .dialog-header { padding: 18px; }
  .dialog-content { padding: 18px; }
  .dialog-identity { align-items: start; flex-direction: column; gap: 8px; }
  .dialog-metrics { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .note-heading { align-items: start; flex-direction: column; gap: 8px; }
  .dialog-footer > div { grid-template-columns: 1fr; gap: 4px; }
}