:root {
  --bg: #ffffff; --fg: #2c2c2c; --fg-muted: #6b7280; --link: #0d0d0d; --border: rgb(75 85 99);
  --border-soft: #e5e7eb; --card-bg: #f3f3f3b4; --btn-color: #fdfdfd; --btn-bg: #0d0d0d;
  --accent: #3C81F7; --good: #1E8E5A; --warn: #B7791F; --bad: #B3261E; --mark: #AEB6C2;
  --radius-sm: 8px; --radius-md: 12px; --radius-lg: 20px;
  --mono: "Space Mono", "SF Mono", Monaco, Consolas, "Courier New", ui-monospace, monospace;
  --serif: "Iowan Old Style", "Apple Garamond", Baskerville, "Times New Roman", "Droid Serif", Times, "Source Serif Pro", serif;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #18181b; --fg: #e8e8ea; --fg-muted: #c4c4c8; --link: #e8e8ea; --border: rgb(156 163 175);
    --border-soft: #3f3f46; --card-bg: #27272a; --btn-color: #18181b; --btn-bg: #e8e8ea;
    --accent: #5D97FF; --good: #4FC08A; --warn: #E0A84A; --bad: #F07B72; --mark: #52525b;
  }
}
:root[data-theme="dark"] {
  --bg: #18181b; --fg: #e8e8ea; --fg-muted: #c4c4c8; --link: #e8e8ea; --border: rgb(156 163 175);
  --border-soft: #3f3f46; --card-bg: #27272a; --btn-color: #18181b; --btn-bg: #e8e8ea;
  --accent: #5D97FF; --good: #4FC08A; --warn: #E0A84A; --bad: #F07B72; --mark: #52525b;
}

* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--fg); font-family: var(--serif); font-size: 1.0625rem; line-height: 1.75; }
a { color: var(--link); }
a:hover { color: var(--accent); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
h1, h2, h3 { font-family: var(--mono); font-weight: 500; color: var(--fg); letter-spacing: -0.02em; text-wrap: balance; }
h2 { font-size: 1.75rem; font-weight: 600; margin: 0 0 1rem; }
h3 { font-size: 1.1rem; font-weight: 600; margin: 0 0 0.35rem; }
.wrap { padding: 0 5%; max-width: 1200px; margin: 0 auto; }
header.lab { height: 120px; }
header.lab .wrap, footer.lab .foot { display: flex; align-items: center; justify-content: space-between; gap: 1rem; flex-wrap: wrap; }
header.lab .wrap { height: 100%; }
.brand { display: flex; align-items: center; gap: 14px; text-decoration: none; color: var(--fg); font-family: var(--mono); font-size: 1.5rem; font-weight: 400; letter-spacing: -0.01em; }
.brand svg { width: 66px; height: 53px; flex: none; color: var(--accent); }
nav.lab { display: flex; gap: 0.75rem; font-family: var(--mono); font-size: 1.05rem; flex-wrap: wrap; align-items: center; }
#theme-toggle { padding: 5px 8px; line-height: 1.75; }
#theme-toggle-icon { display: inline-flex; align-items: center; height: 1.75em; }
#theme-toggle svg { width: 20px; height: 20px; display: block; }
#theme-toggle-label { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.menu-btn { display: none; background: transparent; border: 0; color: var(--fg); cursor: pointer; padding: 6px; border-radius: var(--radius-sm); }
.menu-btn svg { width: 28px; height: 28px; fill: currentColor; display: block; }
@media (max-width: 1023px) {
  .menu-btn { display: inline-flex; margin-left: auto; }
  nav.lab { display: none; }
  header.lab.open nav.lab { display: flex; position: fixed; top: 0; right: 0; bottom: 0; width: min(80vw, 320px); z-index: 50; flex-direction: column; align-items: flex-end; justify-content: flex-start; gap: 0.25rem; padding: 90px 20px 60px 8px; background: var(--card-bg); color: var(--fg); border-top-left-radius: var(--radius-lg); border-bottom-left-radius: var(--radius-lg); border-left: 1px solid color-mix(in srgb, var(--border) 35%, transparent); -webkit-backdrop-filter: blur(4px); backdrop-filter: blur(4px); }
  header.lab.open .menu-btn { position: fixed; top: 34px; right: 5%; z-index: 60; }
  header.lab.open nav.lab .header-links { font-size: 1.15rem; }
}
.header-links { display: inline-flex; align-items: center; gap: 6px; padding: 5px 12px; border: 2px solid transparent; border-radius: var(--radius-sm); text-decoration: none; color: var(--fg); background: transparent; font: inherit; cursor: pointer; }
.header-links:hover { background: var(--card-bg); border-color: var(--border); color: var(--fg); }
.header-links svg { width: 16px; height: 16px; }
.button { display: inline-flex; align-items: center; font-family: var(--mono); font-size: 0.95rem; padding: 6px 12px; border: 2px solid transparent; border-radius: var(--radius-sm); background: var(--card-bg); color: var(--fg); text-decoration: none; }
.button:hover { border-color: var(--border); color: var(--fg); }
.button.filled { background: var(--btn-bg); color: var(--btn-color); }
.button.filled:hover { border-color: var(--border); }
.box { background: var(--card-bg); border: 2px solid transparent; border-radius: var(--radius-md); padding: 1.25rem 1.4rem; }
.box:hover { border-color: var(--border-soft); }
.muted { color: var(--fg-muted); }
.eyebrow { font-family: var(--mono); font-size: 0.8rem; color: var(--fg-muted); letter-spacing: 0.02em; }
section.lab { padding: 2.5rem 0; }
.grid3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1.25rem; }
.grid5 { display: grid; grid-template-columns: repeat(5, 1fr); gap: 1rem; }
.stats { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1rem; }
.stat b { display: block; font-family: var(--mono); font-size: 1.6rem; font-weight: 700; font-variant-numeric: tabular-nums; }
.stat span { font-family: var(--mono); font-size: 0.8rem; color: var(--fg-muted); }
pre { margin: 0; font-family: var(--mono); font-size: 0.8rem; line-height: 1.55; background: var(--bg); border: 1px solid var(--border-soft); border-radius: var(--radius-sm); padding: 0.7rem 0.9rem; overflow-x: auto; color: var(--fg); }
code { font-family: var(--mono); font-size: 0.85em; }
svg.chart { width: 100%; height: auto; display: block; }
svg.chart text { font-family: var(--mono); font-size: 11px; fill: var(--fg-muted); }
.legend { display: flex; flex-wrap: wrap; gap: 0.9rem; font-family: var(--mono); font-size: 0.78rem; color: var(--fg-muted); margin-top: 0.5rem; }
.legend i { display: inline-block; width: 10px; height: 10px; border-radius: 2px; margin-right: 6px; vertical-align: -1px; }
.ledger { overflow-x: auto; border: 1px solid var(--border-soft); border-radius: var(--radius-md); }
table { border-collapse: collapse; width: 100%; font-family: var(--mono); font-size: 0.82rem; }
th, td { text-align: left; padding: 0.55rem 0.75rem; border-bottom: 1px solid var(--border-soft); vertical-align: top; white-space: nowrap; }
tr:last-child td { border-bottom: 0; }
th { font-weight: 400; color: var(--fg-muted); }
td.h { white-space: normal; min-width: 34ch; max-width: 60ch; font-family: var(--serif); font-size: 0.95rem; }
td.num { text-align: right; font-variant-numeric: tabular-nums; }
.pill { display: inline-block; font-size: 0.72rem; padding: 1px 8px; border-radius: 999px; border: 1px solid var(--border-soft); color: var(--fg-muted); }
.pill.good { color: var(--good); border-color: var(--good); } .pill.bad { color: var(--bad); border-color: var(--bad); } .pill.warn { color: var(--warn); border-color: var(--warn); }
footer.lab { margin-top: 3rem; font-family: var(--mono); font-size: 0.875rem; }
footer.lab .foot { min-height: 100px; background: var(--card-bg); border-radius: var(--radius-lg) var(--radius-lg) 0 0; padding: 2rem; }
footer.lab .links { display: flex; align-items: center; gap: 1.5rem; margin-left: auto; padding: 0 0.5rem; }
footer.lab .links a { text-decoration: none; display: inline-flex; align-items: center; color: var(--fg); }
footer.lab .links a:hover { color: var(--accent); }
footer.lab .links svg { width: 24px; height: 24px; fill: currentColor; }
footer.lab .links .site { font-family: var(--mono); font-size: 0.875rem; }
.attribution { display: flex; align-items: center; gap: 12px; line-height: 1.5; }
.attribution svg { width: 28px; height: 28px; flex: none; }
.attribution a { color: var(--fg); }
.cta { display: flex; gap: 0.5rem; flex-wrap: wrap; }
.big { font-family: var(--mono); font-weight: 700; letter-spacing: -0.03em; line-height: 1; font-variant-numeric: tabular-nums; }
.big .from { color: var(--fg-muted); font-weight: 400; font-size: 0.6em; }
.big .arrow { color: var(--fg-muted); font-weight: 400; font-size: 0.5em; margin: 0 0.25em; }
p.lede { max-width: 62ch; }
.steps { display: grid; grid-template-columns: 1fr; gap: 1rem; max-width: 720px; }
.showcase { display: grid; grid-template-columns: 1fr 1fr; gap: 1.25rem; }
.pane { border: 1px solid var(--border-soft); border-radius: var(--radius-md); overflow: hidden; background: var(--bg); }
.pane-top { display: flex; align-items: center; gap: 7px; padding: 9px 12px; background: var(--card-bg); border-bottom: 1px solid var(--border-soft); }
.dot { width: 11px; height: 11px; border-radius: 50%; display: inline-block; }
.dot.r { background: #ef6a5f; } .dot.y { background: #f5bd4f; } .dot.g { background: #61c655; }
.pane-title { font-family: var(--mono); font-size: 0.78rem; color: var(--fg-muted); margin-left: 6px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pane-body { padding: 0.5rem 0; font-family: var(--mono); font-size: 0.82rem; }
.gh .ghrow { display: grid; grid-template-columns: 4.2rem minmax(0, 1fr) 10.5rem 4.4rem; align-items: center; gap: 0.6rem; padding: 0.5rem 1rem; border-bottom: 1px solid var(--border-soft); }
.gh .ghnum { display: inline-flex; align-items: center; white-space: nowrap; }
.gh .ghtitle { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.gh .badge { justify-self: start; }
.gh .ghrow:last-child { border-bottom: 0; }
.gh .ghrow b { font-weight: 700; color: var(--accent); margin-right: 4px; }
.gh .badge { font-size: 0.7rem; padding: 1px 9px; border-radius: 999px; }
.gh .badge.merged { color: #fff; background: #8250df; }
.gh .badge.open { color: #fff; background: var(--good); }
.gh .badge.closed { color: #fff; background: var(--bad); }
.gh .ghmeta { font-size: 0.72rem; color: var(--fg-muted); }
.pane-body.term { white-space: pre; overflow-x: auto; padding: 0.85rem 1rem; line-height: 1.7; color: var(--fg); }
.term .c6 { color: var(--fg-muted); }
.term .run { color: var(--good); } .term .pend { color: var(--warn); }
@media (max-width: 860px) { .showcase { grid-template-columns: 1fr; } }
@media (max-width: 860px) { .grid3, .grid5, .stats { grid-template-columns: 1fr 1fr; } header.lab { height: auto; } header.lab .wrap { height: auto; padding-top: 1rem; padding-bottom: 1rem; } }
@media (max-width: 640px) { footer.lab .foot { flex-direction: column; align-items: flex-start; gap: 1.25rem; padding: 1.5rem; } footer.lab .links { margin-left: 0; padding: 0; } }
@media (max-width: 560px) { .grid3, .grid5, .stats { grid-template-columns: 1fr; } }
@media (prefers-reduced-motion: no-preference) { .header-links, .button, .box { transition: border-color 0.2s, background-color 0.2s; } }

.brand { padding-left: 12px; }
.hero { display: grid; grid-template-columns: 1fr; gap: 2rem; margin: 0.5rem 0 1.5rem; padding: 3rem 3.25rem 2rem; background: var(--card-bg); border-radius: var(--radius-lg); }
.hero h1 { font-size: clamp(2.4rem, 4.6vw, 3.6rem); line-height: 1.1; font-weight: 500; margin: 0; max-width: 24ch; }
.hero p { max-width: 62ch; font-size: 1.1rem; margin: 1rem 0 1.5rem; }
svg.stages { width: 100%; height: auto; display: block; margin-top: 0.75rem; }
.stages .cluster { fill: var(--bg); stroke: var(--border-soft); stroke-width: 1; }
.stages .box, .stages .card { fill: var(--bg); stroke: var(--border-soft); stroke-width: 1.5; }
.stages .card { fill: color-mix(in srgb, var(--fg) 4%, var(--bg)); }
.stages .tile { fill: var(--bg); stroke: var(--border-soft); stroke-width: 1; }
.stages .divider { fill: var(--border-soft); }
.stages .bar { fill: color-mix(in srgb, var(--accent) 60%, var(--bg)); }
.stages .muted-bar { fill: color-mix(in srgb, var(--accent) 22%, var(--bg)); }
.stages .bench, .stages .head, .stages .foot { fill: var(--accent); }
.stages .b0 { opacity: 0.35; } .stages .b1 { opacity: 0.5; } .stages .b2 { opacity: 0.65; } .stages .b3 { opacity: 0.8; }
.stages .name { font-family: var(--mono); font-size: 19px; font-weight: 700; fill: var(--fg); }
.stages .sub { font-family: var(--serif); font-size: 14px; fill: var(--fg-muted); }
.stages .chip { font-family: var(--mono); font-size: 13px; fill: var(--fg-muted); }
.stages .pilltext { font-family: var(--mono); font-size: 11.5px; }
.stages .pill.pill-good { fill: color-mix(in srgb, var(--good) 15%, var(--bg)); }
.stages .pill.pill-accent { fill: color-mix(in srgb, var(--accent) 15%, var(--bg)); }
.stages .pill.pill-warn { fill: color-mix(in srgb, var(--warn) 15%, var(--bg)); }
.stages .pilltext.pill-good, .stages .pr-good { fill: var(--good); }
.stages .pilltext.pill-accent, .stages .pr-accent { fill: var(--accent); }
.stages .pilltext.pill-warn, .stages .pr-warn { fill: var(--warn); }
.stages .pr-muted { fill: var(--mark); }
.stages .ico { fill: var(--bg); stroke: var(--fg); stroke-width: 3; stroke-linecap: round; stroke-linejoin: round; }
.stages .cluster-ico { stroke-width: 2.2; }
.stages .eye { fill: #0d0d0d; }
.stages .glass { fill: white; fill-opacity: 0.35; stroke: #0d0d0d; stroke-width: 3; }
.stages .glass-highlight { fill: none; stroke: white; stroke-opacity: 0.75; stroke-width: 1; stroke-linecap: round; }
.stages .frame { fill: none; stroke: #0d0d0d; stroke-width: 3; stroke-linecap: round; }
.stages .flow { fill: none; stroke: var(--accent); stroke-width: 2.6; stroke-linecap: round; stroke-linejoin: round; }
.stages .flow.good { stroke: var(--good); }
.stages .mote.accent { fill: var(--accent); } .stages .mote.good { fill: var(--good); }
@media (prefers-reduced-motion: reduce) { .stages .motes { display: none; } }
.stages .prop-dark { fill: var(--fg-muted); stroke: var(--border); stroke-width: 1.5; }
.stages .prop-detail { fill: var(--border-soft); }
.stages .prop-paper { fill: var(--bg); stroke: var(--border-soft); stroke-width: 2; }
.stages .prop-lens { fill: var(--bg); stroke: var(--fg-muted); stroke-width: 2; }
.stages .prop-stroke { fill: none; stroke: var(--fg-muted); stroke-width: 2; stroke-linecap: round; stroke-linejoin: round; }
.stages .arm { fill: none; stroke: var(--accent); stroke-width: 7; stroke-linecap: round; }
.stages .grip { stroke-width: 8; }
.stages .laptop-lid { fill: color-mix(in srgb, var(--fg) 65%, var(--fg-muted)); }
.stages .laptop-base { fill: none; stroke: var(--fg-muted); stroke-width: 3; stroke-linecap: round; }
.stages .bulb-base { fill: var(--fg); }
.stages .bulb-rays { fill: none; stroke: var(--warn); stroke-width: 2; stroke-linecap: round; }
.stages .bulb { fill: color-mix(in srgb, var(--warn) 65%, var(--bg)); stroke: var(--warn); stroke-width: 1.5; }
.stages .check { fill: none; stroke: var(--good); stroke-width: 2.5; stroke-linecap: round; stroke-linejoin: round; }
.stage-list { display: none; margin: 0; padding: 0 0 0 1.2rem; font-size: 1rem; line-height: 1.6; }
.stage-list li { margin: 0.35rem 0; } .stage-list b { font-family: var(--mono); font-weight: 700; }
.fleet-live { display: flex; align-items: flex-start; gap: 9px; margin-top: 0.9rem; padding-top: 0.8rem; border-top: 1px solid var(--border-soft); font-family: var(--mono); font-size: 0.8rem; line-height: 1.6; color: var(--fg-muted); }
.fleet-live .live-dot { margin-top: 0.45em; }
.live-dot { flex: none; width: 8px; height: 8px; border-radius: 50%; background: var(--good); }
@media (max-width: 860px) { .hero { padding: 2rem 1.5rem; } .hero h1 { font-size: clamp(2.2rem, 8vw, 3rem); } }
@media (max-width: 720px) { svg.stages { display: none; } .stage-list { display: block; } }
.results { display: grid; grid-template-columns: minmax(0, 3fr) minmax(0, 2fr); gap: 1.5rem; align-items: start; }
.big { font-size: clamp(2.4rem, 5vw, 3.6rem); }
@media (max-width: 860px) { .results { grid-template-columns: 1fr; } }

.button .btn-icon { width: 15px; height: 15px; margin-right: 7px; fill: currentColor; }