/* leanBench static site — dark/light via prefers-color-scheme */

:root {
  --bg: #fafaf8;
  --panel: #fff;
  --ink: #1a1a1a;
  --ink-soft: #555;
  --ink-faint: #888;
  --accent: #4a46d9;
  --accent-soft: #eeedff;
  --border: #e5e5e0;
  --ok: #2b8a3e;
  --warn: #d97706;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Inter", "Segoe UI", Helvetica, Arial, sans-serif;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #111114;
    --panel: #1a1a20;
    --ink: #f0f0ea;
    --ink-soft: #b0b0a8;
    --ink-faint: #707068;
    --accent: #9a96ff;
    --accent-soft: #25253a;
    --border: #2a2a32;
    --ok: #4ade80;
    --warn: #fbbf24;
  }
}

* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  line-height: 1.55;
  font-size: 15px;
  -webkit-font-smoothing: antialiased;
}

.container {
  max-width: 1080px;
  margin: 0 auto;
  padding-inline: 24px;
}

header {
  padding-block: 24px;
  border-bottom: 1px solid var(--border);
  background: var(--panel);
}
header h1 {
  margin: 0 0 4px;
  font-size: 32px;
  letter-spacing: -0.02em;
  font-weight: 700;
}
header h1 .home-link {
  color: inherit;
  text-decoration: none;
}
header h1 .home-link:hover { color: var(--accent); }
.tagline {
  margin: 0;
  color: var(--ink-soft);
  font-size: 15px;
}
.back-link {
  display: inline-block;
  color: var(--ink-soft);
  text-decoration: none;
  font-size: 13px;
  margin-bottom: 12px;
}
.back-link:hover { color: var(--accent); }

main { padding: 24px 0 64px; }

section { margin-bottom: 48px; }
main > .container > section:first-child { margin-top: 64px; }
h2 {
  font-size: 14px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--ink-faint);
  font-weight: 600;
  margin: 0 0 16px;
}

/* Version-combo filter (pill + dropdown) */
#filter { margin-bottom: 24px; }
.filter-row {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 12px;
}
.filter-row .nav-link { margin-left: auto; }
select.filter-machine {
  font-family: var(--mono);
  font-size: 12px;
  padding: 6px 12px;
  background: var(--accent-soft);
  color: var(--ink);
  border: 1px solid var(--border);
  border-radius: 999px;
  cursor: pointer;
}
select.filter-machine:hover { border-color: var(--accent); }
.combo-warning {
  margin-bottom: 10px;
  padding: 8px 12px;
  border-radius: 6px;
  background: #b4540022;
  border: 1px solid #b45400;
  color: var(--ink);
  font-size: 13px;
  font-family: var(--mono);
  line-height: 1.45;
}
.combo-filter {
  position: relative;
  display: inline-block;
  font-family: var(--mono);
  font-size: 12px;
}
.combo-filter > summary {
  list-style: none;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 6px 12px;
  background: var(--accent-soft);
  color: var(--ink);
  border: 1px solid var(--border);
  border-radius: 999px;
  user-select: none;
}
.combo-filter > summary::-webkit-details-marker { display: none; }
.combo-filter > summary:hover { border-color: var(--accent); }
.combo-filter[open] > summary { border-color: var(--accent); }
.combo-filter[open] .combo-chevron { transform: rotate(180deg); }
.combo-chevron { color: var(--ink-faint); transition: transform 120ms; }
.combo-menu {
  position: absolute;
  z-index: 10;
  top: calc(100% + 6px);
  left: 0;
  min-width: 100%;
  max-width: 640px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  box-shadow: 0 6px 24px rgba(0, 0, 0, 0.08);
  padding: 6px;
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.combo-option {
  display: grid;
  grid-template-columns: 1fr auto;
  align-items: baseline;
  gap: 16px;
  padding: 8px 12px;
  border-radius: 6px;
  cursor: pointer;
  font-family: var(--mono);
  font-size: 12px;
  white-space: nowrap;
}
.combo-option:hover { background: var(--accent-soft); }
.combo-option.active { background: var(--accent-soft); box-shadow: inset 0 0 0 1px var(--accent); }
.combo-option-shas { color: var(--ink); }
.combo-option-meta { color: var(--ink-faint); font-size: 11px; }

/* Overview stats */
.stat-row {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 16px;
}
.stat {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px;
}
.stat-value {
  font-size: 32px;
  font-weight: 700;
  letter-spacing: -0.02em;
  font-variant-numeric: tabular-nums;
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}
.stat-label {
  color: var(--ink-faint);
  font-size: 13px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  margin-top: 4px;
}

/* Proof-size table — one row per aggregate workload */
.proof-size-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 13px;
}
.proof-size-table th,
.proof-size-table td {
  padding: 8px 12px;
  text-align: left;
  border-bottom: 1px solid var(--border);
}
.proof-size-table th {
  font-weight: 600;
  color: var(--ink-faint);
  text-transform: uppercase;
  font-size: 11px;
  letter-spacing: 0.05em;
}
.proof-size-table td.proof-size-name { color: var(--ink-soft); }
.proof-size-table td.proof-size-root { font-weight: 600; color: var(--ink); }

/* Topology simulator (above the explorer) */
#topology-simulator { margin-bottom: 32px; }
@keyframes sim-flash {
  0%, 20% { background-color: var(--accent); }
  100%    { background-color: transparent; }
}
.sim-flash {
  animation: sim-flash 1.6s ease-out;
  border-radius: 3px;
}
#slot-controls {
  margin-bottom: 24px;
  display: flex;
  flex-direction: column;
  gap: 12px;
  position: sticky;
  top: 0;
  z-index: 20;
  background: var(--bg);
  padding: 12px 0;
}
#slot-controls h2 { margin: 0; }
.slot-controls-header {
  display: flex;
  align-items: baseline;
  gap: 12px;
}
.slot-reset-link {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-faint);
  cursor: pointer;
  text-decoration: none;
}
.slot-reset-link:hover { color: var(--accent); text-decoration: underline; }
#slot-controls .sim-controls-grid { margin-bottom: 0; }
.sim-controls-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(160px, 1fr));
  gap: 12px;
  margin-bottom: 20px;
}
.sim-controls-grid label {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--ink-faint);
}
.sim-controls-grid select,
.sim-controls-grid input {
  font-family: var(--mono);
  font-size: 14px;
  padding: 6px 8px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--ink);
  text-transform: none;
  letter-spacing: 0;
}
.sim-controls-grid input:disabled {
  background: var(--accent-soft);
  color: var(--ink-faint);
  border-style: dashed;
  cursor: not-allowed;
  opacity: 0.7;
}
.sim-controls-grid label:has(input:disabled) {
  opacity: 0.7;
}
.sim-input-note {
  font-family: var(--mono);
  font-size: 10px;
  color: var(--ink-faint);
  text-transform: none;
  letter-spacing: 0;
  font-style: italic;
}
.sim-tiers-wrap {
  display: flex;
  align-items: stretch;
  gap: 8px;
  margin-bottom: 16px;
}
.sim-add-tier {
  flex: 0 0 auto;
  font-family: var(--mono);
  font-size: 12px;
  padding: 6px 12px;
  background: var(--accent-soft);
  border: 1px dashed var(--border);
  border-radius: 6px;
  color: var(--ink);
  cursor: pointer;
  align-self: stretch;
}
.sim-add-tier:hover { border-color: var(--accent); }
.sim-total {
  flex: 0 0 auto;
  align-self: stretch;
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: flex-start;
  gap: 4px;
  padding: 12px 16px;
  background: var(--accent-soft);
  border: 2px solid var(--accent);
  border-radius: 8px;
  font-family: var(--mono);
  min-width: 140px;
}
.sim-total-label {
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-faint);
}
.sim-total-value {
  font-size: 22px;
  font-weight: 700;
  color: var(--ink);
}
.sim-total-detail {
  font-size: 11px;
  color: var(--ink-soft);
}
.sim-total-divider {
  align-self: stretch;
  height: 1px;
  background: var(--border);
  margin: 4px 0;
}
.sim-metrics {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 12px;
  margin-bottom: 16px;
}
.sim-metric {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 4px;
  padding: 12px 16px;
  background: var(--accent-soft);
  border: 2px solid var(--accent);
  border-radius: 8px;
  font-family: var(--mono);
}
.sim-metric-over {
  background: rgba(220, 53, 69, 0.1);
  border-color: #dc3545;
}
.sim-metric-over .sim-total-value {
  color: #dc3545;
}
.sim-detail-over {
  color: #dc3545;
  font-weight: 600;
}
.sim-tiers {
  display: flex;
  flex: 1;
  gap: 8px;
  overflow-x: auto;
}
.sim-tier {
  position: relative;
  flex: 1 1 0;
  min-width: 140px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  padding: 12px;
  display: flex;
  flex-direction: column;
  gap: 6px;
  font-family: var(--mono);
  font-size: 13px;
}
.sim-tier-leaf { background: var(--accent-soft); }
.sim-tier-head {
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-faint);
}
.sim-tier-stepper {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 6px;
}
.sim-step {
  width: 26px;
  height: 26px;
  font-size: 14px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 4px;
  cursor: pointer;
  color: var(--ink);
}
.sim-step:hover { border-color: var(--accent); }
.sim-tier-fanin { font-weight: 600; }
.sim-tree {
  margin: 0 0 16px;
  padding: 8px 0;
}
.sim-tree-svg {
  display: block;
  width: 100%;
  height: auto;
  max-height: 600px;
}
.sim-tree-edge {
  stroke: var(--border);
  stroke-width: 0.75;
}
.sim-tree-node {
  fill: var(--accent);
  stroke: none;
}
.sim-tree-node-leaf {
  fill: var(--accent);
  fill-opacity: 0.45;
  stroke: var(--accent);
  stroke-width: 0.75;
}
.sim-tree-node-text {
  font-family: var(--mono);
  font-size: 10px;
  fill: #fff;
  pointer-events: none;
}
.sim-tree-node-text-leaf {
  fill: var(--ink);
}
.sim-tree-col-label {
  font-family: var(--mono);
  font-size: 10px;
  fill: var(--ink-faint);
  letter-spacing: 0.05em;
}
.sim-tier-time { font-weight: 600; color: var(--ink); }
.sim-tier-remove {
  position: absolute;
  top: 6px;
  right: 6px;
  width: 18px;
  height: 18px;
  font-size: 11px;
  line-height: 1;
  background: transparent;
  border: none;
  color: var(--ink-faint);
  cursor: pointer;
  padding: 0;
}
.sim-tier-remove:hover { color: var(--accent); }

/* Topology explorer page */
.topo-pre-table {
  display: flex;
  align-items: baseline;
  gap: 12px;
  margin: 8px 0;
}
.topo-results-controls {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--ink-faint);
}
.topo-results-controls input {
  font-family: var(--mono);
  font-size: 14px;
  padding: 6px 8px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--ink);
  text-transform: none;
  letter-spacing: 0;
  width: 110px;
}
.topo-cost-table,
.topo-results-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 13px;
}
.topo-cost-table th,
.topo-cost-table td,
.topo-results-table th,
.topo-results-table td {
  padding: 8px 12px;
  text-align: left;
  border-bottom: 1px solid var(--border);
}
.topo-cost-table th,
.topo-results-table th {
  font-weight: 600;
  color: var(--ink-faint);
  text-transform: uppercase;
  font-size: 11px;
  letter-spacing: 0.05em;
}
.topo-cost-table td.topo-cost-name,
.topo-results-table td.topo-name {
  color: var(--ink-soft);
}
.topo-results-table tr.topo-group-row th {
  border-bottom: none;
  padding-bottom: 4px;
  text-align: center;
  font-weight: 500;
  letter-spacing: 0.05em;
  text-transform: none;
  color: var(--ink-soft);
  font-size: 11px;
}
.topo-results-table tr.topo-group-row th.topo-group {
  border-bottom: 1px solid var(--border);
  padding-bottom: 4px;
  background: var(--accent-soft);
}
.topo-results-table th.topo-sortable {
  cursor: pointer;
  user-select: none;
}
.topo-results-table th.topo-sortable:hover { color: var(--accent); }
/* Thin vertical divider between the two column groups (perf | slot).
   In the group-header row, the boundary sits between the two .topo-group
   cells. In every other row, it falls before column 6 (agg interval). */
.topo-results-table th.topo-group + th.topo-group {
  border-left: 1px solid var(--border);
}
.topo-results-table tr:not(.topo-group-row) > th:nth-child(6),
.topo-results-table tbody td:nth-child(6) {
  border-left: 1px solid var(--border);
}
.topo-results-table td.topo-total { font-weight: 600; color: var(--ink); }
.topo-results-table td.topo-notes { color: #b45400; font-size: 12px; }
.topo-rec-break { font-size: 11px; color: var(--ink-soft); margin-top: 2px; }
.topo-results-table tr.topo-extrapolated td.topo-name { font-style: italic; }
.topo-results-table td.topo-name-clickable { cursor: pointer; color: var(--accent); }
.topo-results-table td.topo-name-clickable:hover { text-decoration: underline; }
.topo-results-table tr.topo-row-hidden { display: none; }
.topo-expand-link {
  color: var(--accent);
  cursor: pointer;
  text-decoration: underline;
}
.topo-expand-link:hover { text-decoration: none; }
.nav-link {
  display: inline-block;
  font-family: var(--mono);
  font-size: 12px;
  padding: 6px 12px;
  background: var(--accent-soft);
  color: var(--ink);
  border: 1px solid var(--border);
  border-radius: 6px;
  text-decoration: none;
  vertical-align: middle;
}
.nav-link:hover { border-color: var(--accent); }

/* Trend page */
.trend-machine-label {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--ink-faint);
}
.trend-machine-label select {
  font-family: var(--mono);
  font-size: 13px;
  padding: 4px 8px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 6px;
  color: var(--ink);
  text-transform: none;
  letter-spacing: 0;
}
.trend-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 13px;
}
.trend-table th,
.trend-table td {
  padding: 8px 12px;
  text-align: left;
  border-bottom: 1px solid var(--border);
}
.trend-table th {
  font-weight: 600;
  color: var(--ink-faint);
  text-transform: uppercase;
  font-size: 11px;
  letter-spacing: 0.05em;
}
.trend-table td.trend-ts { color: var(--ink-soft); white-space: nowrap; }
.trend-table td.trend-name a { color: var(--ink); text-decoration: none; }
.trend-table td.trend-name a:hover { color: var(--accent); }

/* Group adjacent nav buttons in the filter row */
.nav-links {
  display: inline-flex;
  align-items: center;
  gap: 8px;
}

/* Section-level descriptive note (e.g. under a section heading) */
.section-note {
  color: var(--ink-soft);
  font-size: 13px;
  margin: 4px 0 14px;
  max-width: 60ch;
}

/* Compare section — grid of per-workload charts, grouped by category */
.compare-group { margin-bottom: 24px; }
.compare-group:last-child { margin-bottom: 0; }
.compare-group-head {
  margin: 0 0 10px;
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-faint);
  font-weight: 600;
  font-family: var(--mono);
}
.compare-group-note {
  margin: 12px 0 0;
  font-size: 12px;
  color: var(--ink-soft);
  font-family: var(--mono);
}
.compare-subgroup-head {
  margin: 20px 0 10px;
  font-size: 11px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ink-faint);
  font-weight: 600;
  font-family: var(--mono);
}
.compare-group-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
  gap: 16px;
}
.compare-card {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 16px 20px 20px;
  height: 280px;
  display: flex;
  flex-direction: column;
}
.compare-card h3 {
  margin: 0 0 10px;
  font-size: 13px;
  font-family: var(--mono);
  font-weight: 600;
  color: var(--ink);
}
.compare-card-chart {
  flex: 1;
  position: relative;
  min-height: 0;
}

/* Machine list */
.machine-card {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px 24px;
  margin-bottom: 16px;
}
.machine-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  margin-bottom: 12px;
  gap: 16px;
  flex-wrap: wrap;
}
.machine-head h3 {
  margin: 0;
  font-size: 18px;
  font-weight: 600;
}
.machine-meta {
  color: var(--ink-soft);
  font-size: 13px;
  font-family: var(--mono);
}
.machine-cost {
  white-space: nowrap;
}
.run-list {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(260px, 1fr));
  gap: 8px;
  margin-top: 12px;
}
.run-item {
  display: block;
  padding: 10px 12px;
  border-radius: 6px;
  background: var(--accent-soft);
  color: var(--ink);
  text-decoration: none;
  font-size: 13px;
  border: 1px solid transparent;
}
.run-item:hover { border-color: var(--accent); }
.run-ts { font-family: var(--mono); color: var(--ink-soft); font-size: 11px; }

/* Run detail */
dl.grid {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 8px 24px;
  margin: 0;
}
dl.grid dt {
  color: var(--ink-faint);
  font-size: 13px;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}
dl.grid dd {
  margin: 0;
  font-family: var(--mono);
  font-size: 13px;
}

/* Workload cards (run detail) */
.workload {
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 10px;
  padding: 20px 24px;
  margin-bottom: 16px;
}
.workload-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  margin-bottom: 12px;
  flex-wrap: wrap;
  gap: 12px;
}
.workload-name {
  margin: 0;
  font-size: 16px;
  font-weight: 600;
  font-family: var(--mono);
}
.workload-headline {
  font-family: var(--mono);
  font-size: 18px;
  font-weight: 600;
  color: var(--accent);
}
.workload-stats {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(100px, 1fr));
  gap: 12px;
  margin: 12px 0 16px;
  font-family: var(--mono);
  font-size: 12px;
}
.workload-stat {
  padding: 8px 10px;
  background: var(--bg);
  border-radius: 6px;
}
.workload-stat-label { color: var(--ink-faint); font-size: 11px; letter-spacing: 0.05em; text-transform: uppercase; }
.workload-stat-value { font-size: 14px; font-weight: 600; margin-top: 2px; }
.workload-chart-wrap { height: 200px; position: relative; margin-top: 12px; }
.workload-meta {
  margin-top: 12px;
  font-family: var(--mono);
  font-size: 12px;
  color: var(--ink-soft);
  padding-top: 12px;
  border-top: 1px solid var(--border);
}
.workload-meta span { margin-right: 12px; }

footer {
  border-top: 1px solid var(--border);
  padding: 24px 0;
  font-size: 13px;
  color: var(--ink-faint);
  text-align: center;
}
footer a { color: var(--ink-soft); text-decoration: none; }
footer a:hover { color: var(--accent); }