:root {
  --bg: #f1f3f6;
  --surface: #ffffff;
  --sunken: #f6f7f9;
  --ink: #16202b;
  --ink-2: #3a4655;
  --muted: #5d6877;
  --rule: #dbe0e7;
  --accent: #3043c4;
  --accent-soft: #e7eafc;
  --dot: #cfd5de;
  --ok: #1f7a4d;
  --warn: #8a5300;
  --warn-soft: #fff2d9;
  --bad: #b3261e;
  --bad-soft: #fdecea;
  --term: #11161c;
  --term-ink: #c3cad4;
  --term-muted: #6f7a88;
  --sans: ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
  --wide: 1200px;
  --gutter: 24px;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0e1217;
    --surface: #161b22;
    --sunken: #11161c;
    --ink: #e4e8ee;
    --ink-2: #c3cad4;
    --muted: #939eac;
    --rule: #28303a;
    --accent: #95a3ff;
    --accent-soft: #202848;
    --dot: #242c36;
    --ok: #6fd3a0;
    --warn: #f1b85a;
    --warn-soft: #2f2412;
    --bad: #ff8a80;
    --bad-soft: #3a1714;
    --term: #0a0d11;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #0e1217;
  --surface: #161b22;
  --sunken: #11161c;
  --ink: #e4e8ee;
  --ink-2: #c3cad4;
  --muted: #939eac;
  --rule: #28303a;
  --accent: #95a3ff;
  --accent-soft: #202848;
  --dot: #242c36;
  --ok: #6fd3a0;
  --warn: #f1b85a;
  --warn-soft: #2f2412;
  --bad: #ff8a80;
  --bad-soft: #3a1714;
  --term: #0a0d11;
  color-scheme: dark;
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 72px; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.6 var(--sans); }
a { color: var(--accent); text-underline-offset: 2px; }
code, pre, kbd { font-family: var(--mono); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
img, svg { max-width: 100%; }

.wrap { max-width: var(--wide); margin: 0 auto; padding: 0 var(--gutter); }

/* Top bar */
.top {
  position: sticky; top: 0; z-index: 20;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: saturate(1.4) blur(10px); -webkit-backdrop-filter: saturate(1.4) blur(10px);
  border-bottom: 1px solid var(--rule);
}
.top .wrap { display: flex; align-items: center; gap: 24px; height: 56px; }
.brand { display: inline-flex; align-items: center; gap: 9px; color: var(--ink); text-decoration: none; font: 650 16px var(--mono); letter-spacing: -0.02em; }
.brand svg { flex: none; }
.brand .dim { color: var(--muted); font-weight: 500; }
.nav { display: flex; gap: 4px; margin-left: auto; }
.nav a { color: var(--ink-2); text-decoration: none; font-size: 14.5px; font-weight: 500; padding: 6px 10px; border-radius: 8px; }
.nav a:hover { background: var(--surface); color: var(--ink); }
.nav a[aria-current="page"] { color: var(--accent); }
.nav .gh { display: inline-flex; align-items: center; gap: 6px; }
.theme-btn { flex: none; display: grid; place-items: center; width: 36px; height: 34px; background: none; border: 1px solid var(--rule); border-radius: 8px; color: var(--ink-2); cursor: pointer; }
.theme-btn:hover { color: var(--ink); border-color: var(--accent); }
.theme-btn .moon { display: none; }
:root[data-theme="dark"] .theme-btn .sun { display: none; }
:root[data-theme="dark"] .theme-btn .moon { display: block; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-btn .sun { display: none; }
  :root:not([data-theme="light"]) .theme-btn .moon { display: block; }
}
.menu-btn { display: none; margin-left: auto; background: none; border: 1px solid var(--rule); border-radius: 8px; width: 38px; height: 34px; color: var(--ink); cursor: pointer; }
.menu-btn svg { display: block; margin: auto; }

@media (max-width: 720px) {
  :root { --gutter: 16px; }
  .menu-btn { display: block; }
  .top .wrap { gap: 10px; }
  .nav { display: none; position: absolute; top: 56px; left: 0; right: 0; flex-direction: column; gap: 0; padding: 8px 16px 14px; background: var(--bg); border-bottom: 1px solid var(--rule); }
  .nav.open { display: flex; }
  .nav a { padding: 10px 8px; font-size: 16px; }
}

/* Type */
h1, h2, h3 { letter-spacing: -0.015em; line-height: 1.2; }
h1 { font: 650 clamp(32px, 5.4vw, 54px)/1.08 var(--sans); letter-spacing: -0.03em; margin: 0; }
h2 { font-size: clamp(24px, 3vw, 30px); font-weight: 650; margin: 0 0 14px; }
h3 { font-size: 18px; font-weight: 650; margin: 0 0 8px; }
p { margin: 0 0 14px; }
.lede { font-size: clamp(17px, 2vw, 19px); color: var(--ink-2); max-width: 62ch; }
.muted { color: var(--muted); }
.eyebrow { font: 600 12.5px var(--mono); color: var(--accent); text-transform: uppercase; letter-spacing: .08em; margin: 0 0 10px; }
:not(pre) > code { font-size: .88em; background: var(--surface); border: 1px solid var(--rule); border-radius: 5px; padding: 1px 5px; overflow-wrap: anywhere; }

/* Hero */
.hero { padding: 72px 0 48px; }
.hero h1 { max-width: 16ch; }
.hero .lede { margin: 20px 0 28px; }
.actions { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; }
.btn {
  display: inline-flex; align-items: center; gap: 8px; height: 42px; padding: 0 18px;
  font: 600 15px var(--sans); text-decoration: none; border-radius: 10px; border: 1px solid var(--rule);
  background: var(--surface); color: var(--ink); cursor: pointer;
}
.btn:hover { border-color: var(--accent); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
:root[data-theme="dark"] .btn.primary { color: #0e1217; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .btn.primary { color: #0e1217; } }
.btn.primary:hover { filter: brightness(1.08); }
.install {
  display: inline-flex; align-items: center; gap: 10px; max-width: 100%; margin-top: 22px;
  font: 13.5px var(--mono); color: var(--ink-2); background: var(--surface); border: 1px solid var(--rule); border-radius: 10px; padding: 9px 12px;
}
.install code { background: none; border: 0; padding: 0; overflow-x: auto; white-space: nowrap; font-size: inherit; }
.install .prompt { color: var(--muted); user-select: none; }
.copy { flex: none; background: none; border: 0; color: var(--muted); cursor: pointer; padding: 2px; border-radius: 5px; }
.copy:hover { color: var(--accent); }

.hero-grid { display: grid; grid-template-columns: minmax(0, 1.15fr) minmax(0, 1fr); gap: 48px; align-items: center; }
.hero-doc { position: relative; background: var(--surface); border: 1px solid var(--rule); border-radius: 14px; overflow: hidden; box-shadow: 0 24px 48px -32px rgba(15, 23, 42, .4); }
.hero-doc-head { display: flex; justify-content: space-between; align-items: center; gap: 10px; padding: 9px 14px; border-bottom: 1px solid var(--rule); background: var(--sunken); font: 12px var(--mono); color: var(--muted); }
.hero-doc-head span:first-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.hero-doc pre { margin: 0; padding: 14px 16px; font: 12.5px/1.6 var(--mono); color: var(--ink-2); overflow: hidden; }
.hero-doc .k { color: var(--accent); }
.hero-doc .sha { background: var(--accent-soft); color: var(--accent); border-radius: 4px; padding: 0 4px; }
.hero-fsm { position: absolute; right: 12px; bottom: 12px; width: 176px; height: auto; font: 10.5px var(--mono); background: color-mix(in srgb, var(--surface) 85%, transparent); border-radius: 10px; }
.hero-fsm rect { fill: var(--surface); stroke: var(--ink-2); stroke-width: 1.2; }
.hero-fsm circle, .hero-fsm marker path { fill: var(--ink); }
.hero-fsm .e { fill: none; stroke: var(--muted); stroke-width: 1.2; }
.hero-fsm text { fill: var(--ink); text-anchor: middle; }
.hero-fsm text.o { fill: var(--muted); font-size: 9.5px; text-anchor: start; font-weight: 600; }
@media (max-width: 960px) {
  .hero-grid { grid-template-columns: minmax(0, 1fr); gap: 36px; }
  .hero { padding-top: 48px; }
}
@media (max-width: 520px) { .hero-fsm { display: none; } }

/* Sections */
section.block { padding: 56px 0; border-top: 1px solid var(--rule); }
.section-head { max-width: 70ch; margin-bottom: 28px; }
.grid { display: grid; gap: 16px; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); }
.card { background: var(--surface); border: 1px solid var(--rule); border-radius: 14px; padding: 20px 22px; min-width: 0; }
.card p:last-child { margin-bottom: 0; }
.card .k { font: 600 13px var(--mono); color: var(--accent); margin: 0 0 8px; }
.split { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 40px; align-items: start; }
@media (max-width: 860px) { .split { grid-template-columns: minmax(0, 1fr); gap: 24px; } }

pre.code {
  margin: 0; padding: 14px 16px; background: var(--surface); border: 1px solid var(--rule); border-radius: 12px;
  font-size: 13px; line-height: 1.55; overflow-x: auto; color: var(--ink-2);
}
pre.code .c { color: var(--muted); }
pre.code .k { color: var(--accent); }
pre.code .s { color: var(--ok); }
pre.code .p { color: var(--muted); user-select: none; }

.pill { display: inline-block; font: 600 12px/1 var(--sans); padding: 5px 9px; border-radius: 999px; border: 1px solid var(--rule); color: var(--muted); white-space: nowrap; }
.pill.sealed, .pill.live { border-color: transparent; background: var(--accent-soft); color: var(--accent); }
.pill.invalid { border-color: transparent; background: var(--bad-soft); color: var(--bad); }
.pill.planned { border-style: dashed; }
.pill.proposed { border-color: transparent; background: var(--warn-soft); color: var(--warn); }

/* Playground */
.play { background: var(--surface); border: 1px solid var(--rule); border-radius: 16px; overflow: hidden; box-shadow: 0 24px 48px -32px rgba(15, 23, 42, .35); }
.play-bar { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; padding: 10px 12px; border-bottom: 1px solid var(--rule); background: var(--sunken); }
.play-bar select, .play-bar button {
  height: 32px; font: 500 13px var(--sans); color: var(--ink); background: var(--surface);
  border: 1px solid var(--rule); border-radius: 8px; padding: 0 10px; cursor: pointer;
}
.play-bar button:hover, .play-bar select:hover { border-color: var(--accent); }
.play-bar button:disabled { opacity: .5; cursor: default; border-color: var(--rule); }
.play-bar .cmds { display: flex; flex-wrap: wrap; gap: 6px; margin-left: auto; }
.play-bar .cmds button { font-family: var(--mono); font-size: 12.5px; }
.play-bar .cmds button.go { background: var(--accent); color: #fff; border-color: var(--accent); }
:root[data-theme="dark"] .play-bar .cmds button.go { color: #0e1217; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .play-bar .cmds button.go { color: #0e1217; } }
.play-body { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 6fr); min-height: 640px; }
.play-left { display: flex; flex-direction: column; min-width: 0; border-right: 1px solid var(--rule); }
.files { display: flex; flex-wrap: wrap; gap: 2px 4px; padding: 8px 10px 0; border-bottom: 1px solid var(--rule); }
.files .group { width: 100%; font: 11.5px var(--mono); color: var(--muted); padding: 2px 4px 0; }
.file {
  display: inline-flex; align-items: center; gap: 7px; font: 12.5px var(--mono); color: var(--muted);
  background: none; border: 0; border-bottom: 2px solid transparent; padding: 6px 6px 7px; cursor: pointer;
}
.file[aria-selected="true"] { color: var(--ink); border-bottom-color: var(--accent); }
.file .pill { font-size: 10.5px; padding: 3px 6px; }
.editor {
  flex: 1; width: 100%; min-height: 340px; resize: none; border: 0; outline: none; padding: 14px 16px;
  font: 12.5px/1.6 var(--mono); color: var(--ink); background: var(--surface); tab-size: 2; white-space: pre; overflow: auto;
}
.term { background: var(--term); color: var(--term-ink); font: 12px/1.6 var(--mono); padding: 12px 14px; height: 210px; overflow: auto; white-space: pre-wrap; overflow-wrap: anywhere; }
.term .cmd { color: #fff; }
.term .cmd::before { content: "$ "; color: var(--term-muted); }
.term .err { color: #ff8a80; }
.term .warn { color: #f1b85a; }
.term .ok { color: #6fd3a0; }
.term .dim { color: var(--term-muted); }
.play-right { position: relative; min-width: 0; background: var(--bg); }
.play-right iframe { position: absolute; inset: 0; width: 100%; height: 100%; border: 0; background: var(--bg); }
.loading { position: absolute; inset: 0; display: grid; place-items: center; color: var(--muted); font: 13px var(--mono); }
.play-foot { display: flex; flex-wrap: wrap; gap: 8px 18px; padding: 10px 14px; border-top: 1px solid var(--rule); font-size: 13px; color: var(--muted); }
.play-foot code { font-size: 12px; }
@media (max-width: 960px) {
  .play-body { grid-template-columns: minmax(0, 1fr); }
  .play-left { border-right: 0; border-bottom: 1px solid var(--rule); }
  .editor { min-height: 300px; height: 300px; flex: none; }
  .term { height: 170px; }
  .play-right { height: 620px; }
  .play-bar .cmds { margin-left: 0; width: 100%; }
}

/* Trace */
.trace { display: grid; gap: 12px; }
.commit { background: var(--surface); border: 1px solid var(--rule); border-radius: 12px; overflow: hidden; }
.commit-head { display: flex; justify-content: space-between; gap: 10px; padding: 10px 14px; border-bottom: 1px solid var(--rule); background: var(--sunken); font: 12.5px var(--mono); color: var(--muted); }
.commit pre { margin: 0; padding: 14px; font: 12.5px/1.6 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; color: var(--ink-2); }
.commit .trailer { color: var(--accent); }
.commit .none { color: var(--bad); }

/* Flow diagram (sealing) */
.flow { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; font: 13px var(--mono); }
.flow .step { background: var(--surface); border: 1px solid var(--rule); border-radius: 9px; padding: 8px 12px; white-space: nowrap; }
.flow .step.end { border-color: var(--accent); color: var(--accent); background: var(--accent-soft); }
.flow .arrow { color: var(--muted); }
@media (max-width: 720px) {
  .flow { flex-direction: column; align-items: flex-start; }
  .flow .arrow { transform: rotate(90deg); margin-left: 12px; }
}

/* Docs */
.docs { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 48px; padding: 40px 0 80px; }
.toc { position: sticky; top: 80px; align-self: start; max-height: calc(100vh - 100px); overflow: auto; font-size: 14px; }
.toc p { font: 600 12px var(--mono); color: var(--muted); text-transform: uppercase; letter-spacing: .08em; margin: 0 0 8px; }
.toc ul { list-style: none; margin: 0 0 20px; padding: 0; }
.toc a { display: block; padding: 4px 10px; margin-left: -10px; color: var(--ink-2); text-decoration: none; border-radius: 6px; border-left: 2px solid transparent; }
.toc a:hover { color: var(--ink); background: var(--surface); }
.toc a.on { color: var(--accent); border-left-color: var(--accent); border-radius: 0 6px 6px 0; }
.doc { max-width: 76ch; min-width: 0; }
.doc > header { margin-bottom: 36px; }
.doc > header h1 { font-size: clamp(30px, 4.4vw, 42px); }
.doc > header .lede { margin-top: 14px; }
.doc section { padding-top: 12px; margin-bottom: 40px; }
.doc h2 { font-size: 24px; padding-top: 8px; }
.doc h3 { margin-top: 24px; }
.doc ul, .doc ol { padding-left: 22px; margin: 0 0 14px; }
.doc li { margin-bottom: 4px; }
.doc pre.code { margin: 0 0 16px; }
.doc .note { border-left: 3px solid var(--accent); background: var(--surface); padding: 12px 16px; border-radius: 0 10px 10px 0; margin: 0 0 16px; font-size: 15px; color: var(--ink-2); }
.doc .note.warn { border-left-color: var(--warn); }
.doc .note p:last-child { margin: 0; }
.table-wrap { overflow-x: auto; margin: 0 0 18px; border: 1px solid var(--rule); border-radius: 12px; background: var(--surface); }
table { width: 100%; border-collapse: collapse; font-size: 14px; }
th, td { text-align: left; vertical-align: top; padding: 10px 14px; border-top: 1px solid var(--rule); }
thead th { border-top: 0; background: var(--sunken); color: var(--muted); font-weight: 600; font-size: 13px; }
td:first-child { white-space: nowrap; }
td code, th code { white-space: nowrap; }
@media (max-width: 860px) {
  .docs { grid-template-columns: minmax(0, 1fr); gap: 0; padding-top: 24px; }
  .toc { position: static; max-height: none; margin-bottom: 28px; background: var(--surface); border: 1px solid var(--rule); border-radius: 12px; padding: 14px 18px 0; }
  .toc ul { columns: 2; column-gap: 16px; }
  td:first-child { white-space: normal; }
}

/* Tools and adapters */
.tool { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 8px 20px; align-items: start; }
.tool h3 { font: 650 20px var(--mono); margin: 0; }
.tool .meta { display: flex; flex-wrap: wrap; gap: 6px; }
.tool p { grid-column: 1 / -1; color: var(--ink-2); }
.tool .links { grid-column: 1 / -1; display: flex; flex-wrap: wrap; gap: 10px; }
.adapter h3 { display: flex; justify-content: space-between; align-items: center; gap: 10px; }
.adapter dl { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 4px 14px; margin: 12px 0 0; font-size: 13.5px; }
.adapter dt { color: var(--muted); }
.adapter dd { margin: 0; font-family: var(--mono); font-size: 12.5px; overflow-wrap: anywhere; }

footer.site { border-top: 1px solid var(--rule); padding: 28px 0 40px; color: var(--muted); font-size: 13.5px; }
footer.site .wrap { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 12px; }
footer.site a { color: var(--muted); }
footer.site nav { display: flex; gap: 16px; flex-wrap: wrap; }

@media (prefers-reduced-motion: reduce) { * { transition: none !important; scroll-behavior: auto !important; } }