/* Brand colours from the OpenWave mark: navy #0e1a2b, teal #36d1c4, cream #f4f1ea.
   Light mode uses a deeper teal so white text on it stays readable. */
:root {
  --bg: #ffffff;
  --fg: #0e1a2b;
  --muted: #5b6573;
  --line: #d5d9de;
  --accent: #0f766e;
  --on-accent: #ffffff;
  --panel: #f4f1ea;
  --warn: #b45309;
  --intro: #6d28d9;      /* the check-in, the settling-in challenge */
  --on-intro: #ffffff;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #0e1a2b;
    --fg: #f4f1ea;
    --muted: #a3acb8;
    --line: #2a3a50;
    --accent: #36d1c4;
    --on-accent: #0e1a2b;
    --panel: #16263c;
    --warn: #fbbf24;
    --intro: #c4b5fd;
    --on-intro: #0e1a2b;
  }
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }   /* .tabs and others set display, which would beat the hidden attribute */
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font: 15px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif;
}
header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 12px 16px;
  border-bottom: 1px solid var(--line);
}
header h1 { margin: 0; font-size: 20px; }
main { max-width: 1000px; margin: 0 auto; padding: 16px; }
.grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 16px; }
article { background: var(--panel); border-radius: 8px; padding: 12px 16px; }
/* The guide's live SSH access panel (Connect to your VM). */
.ssh-panel { background: var(--panel); border-radius: 8px; padding: 12px 16px; margin: 12px 0; display: grid; gap: 10px; }
.muted { color: var(--muted); }
button {
  background: var(--accent);
  color: var(--on-accent);
  border: 0;
  border-radius: 6px;
  padding: 8px 14px;
  font: inherit;
  cursor: pointer;
}
button.link { background: none; color: var(--accent); padding: 0; }
table { width: 100%; border-collapse: collapse; margin: 8px 0 16px; }
th, td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
td.num { font-variant-numeric: tabular-nums; }
form { display: grid; gap: 10px; max-width: 640px; }
label { display: grid; gap: 4px; }
input, textarea {
  font: inherit;
  padding: 6px 8px;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--bg);
  color: var(--fg);
}
pre { background: var(--panel); padding: 12px; border-radius: 8px; overflow-x: auto; }
.challenge-list { display: flex; flex-wrap: wrap; gap: 8px; }
.browser-controls { display: flex; flex-wrap: wrap; gap: 12px; align-items: center; margin: 8px 0; }
.browser-controls input[type="search"] { flex: 1; min-width: 200px; }
.tabs { display: flex; flex-wrap: wrap; gap: 4px; }
.tabs.variants { margin-top: 8px; }
#admin-tabs { margin-bottom: 8px; }
.tabs.variants a { padding: 4px 12px; border-radius: 999px; font-size: 14px; }
.tabs button { background: var(--panel); color: var(--fg); border: 1px solid var(--line); }
.tabs button.active { background: var(--accent); color: var(--on-accent); border-color: var(--accent); }
.data-table td:first-child { font-family: ui-monospace, monospace; font-size: 13px; white-space: nowrap; }
.data-table audio { width: 220px; height: 32px; }
.data-table .zh { font-size: 17px; }
.data-table .json-toggle { font-size: 12px; padding: 1px 6px; margin-left: 4px; }
.data-table .data-json pre { max-height: 420px; overflow: auto; margin: 0; padding: 8px; font-size: 12px;
  white-space: pre; background: var(--panel); border: 1px solid var(--line); border-radius: 4px; }
.pager { display: flex; gap: 12px; align-items: center; margin-bottom: 24px; }
.pager button:disabled { opacity: 0.4; cursor: default; }
details { background: var(--panel); border-radius: 8px; padding: 10px 16px; margin: 8px 0 16px; }
details summary { cursor: pointer; font-weight: 600; }
details h4 { margin: 16px 0 4px; }
details dl { display: grid; grid-template-columns: minmax(140px, max-content) 1fr; gap: 6px 16px; margin: 4px 0; }
details dt { font-weight: 600; }
details dd { margin: 0; }
details td.zh { font-size: 16px; white-space: nowrap; }
@media (max-width: 600px) { details dl { grid-template-columns: 1fr; } details td.zh { white-space: normal; } }
header h1 a { color: inherit; text-decoration: none; display: inline-flex; align-items: center; gap: 10px; }
header h1 img { width: 28px; height: 28px; display: block; }
.env-badge { font-size: 12px; font-weight: 600; letter-spacing: 0.04em; text-transform: uppercase; padding: 2px 8px; border-radius: 999px; background: var(--warn); color: #ffffff; }
#signed-out { text-align: center; padding: 32px 0; }
#signed-out .wordmark { width: 100%; max-width: 560px; height: auto; border-radius: 16px; margin-bottom: 16px; }
#page-home .wordmark { display: block; width: 100%; max-width: 480px; height: auto; border-radius: 16px; margin: 0 auto 16px; }
#nav { display: flex; flex-wrap: wrap; gap: 4px; flex: 1; margin: 0 16px; }
#nav a { color: var(--fg); text-decoration: none; padding: 6px 10px; border-radius: 6px; }
#nav a:hover { background: var(--panel); }
#nav a.active { background: var(--accent); color: var(--on-accent); }
a { color: var(--accent); }
.lead { font-size: 17px; }
.scroll { overflow-x: auto; }
a.card {
  display: block;
  background: var(--panel);
  border: 1px solid transparent;
  border-radius: 8px;
  padding: 12px 16px;
  color: var(--fg);
  text-decoration: none;
}
a.card:hover { border-color: var(--accent); }
a.card.disabled { pointer-events: none; opacity: 0.6; }
a.card h3, article h3 { margin: 0 0 6px; }
a.card h3 { color: var(--accent); }
a.card p { margin: 0; color: var(--muted); }
#challenge-picker { margin-bottom: 8px; }
#challenge-picker h2 { margin-bottom: 4px; }
#challenges { flex-wrap: wrap; }
.tabs a { background: var(--panel); color: var(--fg); border: 1px solid var(--line); border-radius: 6px; padding: 8px 14px; text-decoration: none; }
.tabs a.active { background: var(--accent); color: var(--on-accent); border-color: var(--accent); }
/* The check-in: first in the challenge tabs, in its own colour; its panel replaces the page's body. */
.tabs a.intro { color: var(--intro); border: 2px solid var(--intro); font-weight: 600; }
.tabs a.intro.active { background: var(--intro); color: var(--on-intro); }
.checkin-panel { display: none; border-left: 4px solid var(--intro); padding-left: 16px; }
body.checkin-selected .checkin-panel { display: block; }
body.checkin-selected #about, body.checkin-selected #about-missing,
body.checkin-selected #page-data > :not(.checkin-panel) { display: none !important; }
.checkin-panel { margin-bottom: 16px; }
body.checkin-selected #challenge-title { color: var(--intro); }
.intro-text { color: var(--intro); font-weight: 600; }
#about td:first-child { font-weight: 600; white-space: nowrap; }
#about table, #scoring table { margin-bottom: 20px; }
#scoring dl { display: grid; grid-template-columns: minmax(140px, max-content) 1fr; gap: 6px 16px; margin: 4px 0 16px; }
#scoring dt { font-weight: 600; }
#scoring dd { margin: 0; }
#scoring td.zh { font-size: 16px; white-space: nowrap; }
#page-data h4 { margin: 20px 0 4px; }
#admin-table td { font-size: 14px; }
#admin-table details { background: none; padding: 0; margin: 0; }
#admin-table summary { font-family: ui-monospace, monospace; font-size: 12px; font-weight: 400; }
#admin-table pre { font-size: 12px; margin: 6px 0 0; }
@media (max-width: 600px) { #scoring dl { grid-template-columns: 1fr; } #scoring td.zh { white-space: normal; } header { flex-wrap: wrap; gap: 8px; } }
.mono { font-family: ui-monospace, monospace; font-size: 12px; }
dialog { width: min(900px, calc(100vw - 32px)); max-height: calc(100vh - 48px); border: 1px solid var(--line); border-radius: 10px; background: var(--bg); color: var(--fg); padding: 16px 20px; }
dialog::backdrop { background: rgba(0, 0, 0, 0.5); }
.dialog-head { display: flex; justify-content: space-between; align-items: center; gap: 12px; }
.dialog-head h3 { margin: 0; overflow-wrap: anywhere; }
dialog dl { display: grid; grid-template-columns: max-content 1fr; gap: 4px 16px; }
dialog dt { font-weight: 600; }
dialog dd { margin: 0; overflow-wrap: anywhere; }
dialog h4 { margin: 16px 0 4px; }
.payload-predictions { max-height: 45vh; overflow-y: auto; border: 1px solid var(--line); border-radius: 8px; }
.payload-predictions table { margin: 0; }
@media (max-width: 600px) { dialog dl { grid-template-columns: 1fr; } }

/* The participant guide: a page menu beside the page */
.guide-layout { display: grid; grid-template-columns: 210px minmax(0, 1fr); gap: 28px; align-items: start; }
.guide-nav { position: sticky; top: 12px; display: grid; gap: 2px; font-size: 14px; }
.guide-nav a { display: block; padding: 6px 10px; border-radius: 6px; color: var(--fg); text-decoration: none; border-left: 3px solid transparent; }
.guide-nav a:hover { background: var(--panel); }
.guide-nav a.active { background: var(--panel); border-left-color: var(--accent); font-weight: 600; }
.guide-pager { display: flex; justify-content: space-between; gap: 12px; margin: 28px 0 12px; padding-top: 12px; border-top: 1px solid var(--line); }
.guide-pager a { color: var(--accent); text-decoration: none; font-weight: 600; }
.guide img { display: block; max-width: 100%; height: auto; margin: 16px 0; border-radius: 12px; border: 1px solid var(--line); }
@media (max-width: 760px) {
  .guide-layout { grid-template-columns: 1fr; gap: 12px; }
  .guide-nav { position: static; display: flex; flex-wrap: wrap; gap: 4px; }
  .guide-nav a { border-left: none; border: 1px solid var(--line); padding: 4px 8px; }
  .guide-nav a.active { border-color: var(--accent); }
}
.guide { max-width: 860px; min-width: 0; }
.guide h2 { margin-top: 28px; padding-bottom: 4px; border-bottom: 1px solid var(--line); }
.guide pre { background: var(--panel); padding: 10px 12px; border-radius: 6px; overflow-x: auto; }
.guide code { font-size: 0.92em; }
.guide table { border-collapse: collapse; display: block; overflow-x: auto; margin: 8px 0; }
.guide th, .guide td { border: 1px solid var(--line); padding: 4px 8px; vertical-align: top; text-align: left; }

/* The reproduce command under a submission's approach */
pre.reproduce { margin: 4px 0 0; padding: 4px 6px; font-size: 0.85em; background: var(--panel); border-radius: 4px; white-space: pre-wrap; }

/* Admin: machine states */
td.state::before { content: "● "; }
td.state-running::before { color: var(--accent); }
td.state-pending::before, td.state-stopping::before { color: #d97706; }
td.state-stopped::before { color: var(--muted); }

/* Admin: dataset register */
.datasets { display: grid; gap: 12px; margin-bottom: 8px; }
.datasets dl { display: grid; grid-template-columns: 140px 1fr; gap: 4px 12px; margin: 8px 0 0; }
.datasets dt { color: var(--muted); }
.datasets dd { margin: 0; }
@media (max-width: 600px) { .datasets dl { grid-template-columns: 1fr; } .datasets dd { margin-bottom: 6px; } }

/* Leaderboard: submissions that aren't the person's best are dimmed */
tr.muted-row td { color: var(--muted); }

/* Challenge page: how the score is calculated */
.formula { background: var(--panel); border-radius: 10px; padding: 12px 16px; margin: 12px 0 16px; }
.formula h4 { margin: 0 0 4px; }
.formula-math { overflow-x: auto; overflow-y: hidden; padding: 4px 0; font-size: 1.05em; }
.formula-where { display: grid; grid-template-columns: max-content 1fr; gap: 4px 14px; margin: 8px 0; }
.formula-where dt { text-align: right; }
.formula-where dd { margin: 0; }
.formula pre { background: var(--bg); font-size: 13px; }
.formula details { margin: 8px 0; }
.formula summary { cursor: pointer; color: var(--accent); font-weight: 600; }
.formula .tex-source { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 13px; white-space: pre-wrap; }
@media (max-width: 600px) { .formula-where { grid-template-columns: 1fr; } .formula-where dt { text-align: left; } }

/* Secondary (unranked) scores: in the formula box and the leaderboard */
.formula-secondary-item { border-top: 1px solid var(--line); padding-top: 8px; margin-top: 8px; }
.formula-secondary-item h5 { margin: 0; font-size: 14px; }
.formula-secondary-item p { margin: 2px 0 0; }
th.secondary, td.secondary { color: var(--muted); }
th.ranked .tag { margin-left: 6px; padding: 1px 6px; border-radius: 999px; font-size: 11px; font-weight: 600;
  background: var(--accent); color: var(--on-accent); vertical-align: middle; }

/* Challenge page: key facts, and the collapsible scoring detail */
.facts { margin: 10px 0; padding-left: 18px; }
.facts li { margin: 3px 0; }
#scoring details { margin: 8px 0; }
#scoring details > summary { cursor: pointer; color: var(--accent); font-weight: 600; }

/* Participant points */
#leaderboard-tabs { margin-bottom: 12px; }
tr.selected-row td { background: var(--panel); }
#points-person { margin: 8px 0 16px; }
#points-person h3 a { font-size: 14px; font-weight: 400; margin-left: 8px; }
.warn { color: var(--warn); }
fieldset.processing { border: 1px solid var(--line); border-radius: 8px; padding: 8px 12px; margin: 8px 0; }
fieldset.processing label { display: block; font-weight: 400; margin: 4px 0; }
fieldset.processing input { width: auto; margin-right: 6px; }
.kind { display: inline-block; padding: 0 6px; border-radius: 999px; font-size: 12px; border: 1px solid var(--line); margin-left: 6px; }
.event-status { background: var(--panel); border-left: 4px solid var(--accent); padding: 10px 12px; border-radius: 6px; margin: 0 0 16px; }
.event-status.pre-event { border-left-color: var(--warn); }
.event-status-label { display: inline-block; font-size: 12px; font-weight: 600; letter-spacing: 0.04em; text-transform: uppercase; padding: 2px 8px; border-radius: 999px; margin-right: 8px; background: var(--accent); color: var(--on-accent); }
.event-status.pre-event .event-status-label { background: var(--warn); color: var(--bg); }
.snapshot-banner, .notice { background: var(--panel); border-left: 4px solid var(--accent); padding: 8px 12px; border-radius: 6px; }

/* The check-in trail's markers in the guide (blockquotes starting with a compass). */
#guide blockquote { border-left: 4px solid var(--intro); background: var(--panel); margin: 16px 0; padding: 8px 12px; border-radius: 6px; }

/* Schedule: the week as a grid, one column a day (portal/app.js loadSchedule) */
.schedule-grid { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); column-gap: 10px; margin-top: 12px; }
.sched-cell { border: 1px solid var(--line); border-top: 0; border-bottom: 0; background: var(--bg); padding: 8px 10px; min-width: 0; }
.sched-cell.today { border-color: var(--accent); }
.sched-date { border-top: 1px solid var(--line); border-radius: 8px 8px 0 0; font-weight: 600; border-bottom: 1px solid var(--line); }
.sched-evening { border-bottom: 1px solid var(--line); border-radius: 0 0 8px 8px; }
.sched-date.today, .sched-evening.today { border-color: var(--accent); }
.sched-morning, .sched-evening { font-size: 0.85em; }
.sched-morning:empty::before, .sched-evening:empty::before { content: "–"; color: var(--muted); }
.sched-event { margin: 2px 0; }
.sched-event.done { color: var(--muted); }
.sched-event.next strong { color: var(--accent); }
.sched-event.next::after { content: " (next)"; color: var(--accent); font-size: 0.9em; }
.sched-focus { border-top: 1px dashed var(--line); border-bottom: 1px dashed var(--line); }
.sched-label { font-size: 0.75em; text-transform: uppercase; letter-spacing: 0.04em; color: var(--muted); }
.sched-title { font-size: 0.9em; margin-top: 6px; }
.sched-note { font-size: 0.8em; margin: 8px 0 0; }
/* the name on its own line, the state always under it */
.unlock-status { margin: 4px 0 12px; }
.unlock-status .badge { margin-right: 4px; }
.sched-card { display: flex; flex-direction: column; align-items: flex-start; gap: 4px; padding: 6px 8px; margin: 6px 0;
  border-left: 3px solid var(--line); background: var(--panel); border-radius: 4px; font-size: 0.9em; }
.sched-card.unlock-open { border-left-color: var(--accent); }
.sched-card.unlock-data { border-left-color: var(--warn); }
.sched-name { max-width: 100%; overflow-wrap: anywhere; }
.sched-tools button { font-size: 0.75em; padding: 2px 6px; margin-right: 4px; }
.badge { font-size: 0.72em; padding: 1px 6px; border-radius: 999px; border: 1px solid var(--line); color: var(--muted); white-space: nowrap; }
.badge.unlock-open { background: var(--accent); color: var(--on-accent); border-color: var(--accent); }
.badge.unlock-data { color: var(--warn); border-color: var(--warn); }
@media (max-width: 900px) {
  .schedule-grid { grid-template-columns: 1fr; }
  .sched-cell { grid-column: 1 !important; grid-row: auto !important; }
  .sched-date { margin-top: 10px; }
}

/* the Data page's labels file schema */
#data-schema { margin: 8px 0 12px; }
#data-schema .schema-table { border-collapse: collapse; width: 100%; font-size: 14px; margin: 6px 0 12px; }
#data-schema .schema-table th, #data-schema .schema-table td { text-align: left; vertical-align: top; padding: 4px 8px;
  border-bottom: 1px solid var(--line); }
#data-schema .schema-table td:first-child { font-family: ui-monospace, monospace; font-size: 13px; white-space: nowrap; }