:root {
  --paper: #ffffff;
  --sidebar: #f7f9f8;
  --ink: #1d2421;
  --muted: #64706a;
  --faint: #87918c;
  --line: #dfe5e1;
  --line-soft: #e9eeeb;
  --accent: #215d4b;
  --accent-soft: #e7f1ec;
  --code: #f3f5f3;
  --sidebar-width: 232px;
  --toc-width: 166px;
  --main-width: 1018px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Helvetica Neue", sans-serif;
  font-size: 14px;
  line-height: 1.7;
  text-rendering: optimizeLegibility;
}
a { color: inherit; text-decoration: none; }
a:hover { color: var(--accent); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
code, pre, .nav-kicker, .project-name, .metadata dt, .code-window-header, .command, .demo-result { font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace; }

.site-header {
  height: 54px;
  border-bottom: 1px solid var(--line);
  display: flex;
  align-items: center;
  padding: 0 29px;
  gap: 12px;
}
.wordmark { display: inline-flex; align-items: baseline; gap: 12px; }
.wordmark strong { font-size: 15px; letter-spacing: -.025em; }
.wordmark span { color: var(--muted); font-size: 14px; }
.header-note { display: none; color: var(--faint); font-size: 11px; margin-left: auto; }

.docs-layout {
  max-width: 1232px;
  min-height: calc(100vh - 54px);
  margin: 0 auto;
  display: grid;
  grid-template-columns: var(--sidebar-width) minmax(0, 1fr) var(--toc-width);
}
.project-nav {
  border-right: 1px solid var(--line);
  background: var(--sidebar);
  padding: 30px 22px;
}
.nav-kicker { color: var(--faint); font-size: 11px; letter-spacing: .06em; margin: 0 0 23px; }
.project-name { color: var(--faint); font-size: 10px; letter-spacing: .12em; margin: 0 10px 8px; }
.project-nav nav { display: grid; gap: 2px; }
.nav-link { color: var(--muted); border-left: 2px solid transparent; padding: 8px 10px; font-size: 14px; line-height: 1.3; }
.nav-link:hover { color: var(--ink); }
.nav-link.is-active { color: var(--ink); background: var(--accent-soft); border-left-color: var(--accent); font-weight: 600; }

.main-content { min-width: 0; padding: 50px 56px 100px; }
.page-header { scroll-margin-top: 25px; }
h1 { font-size: 40px; font-weight: 650; letter-spacing: -.055em; line-height: 1.12; margin: 0 0 8px; }
.page-subtitle { color: var(--muted); font-size: 17px; line-height: 1.5; margin: 0; }
.metadata { display: grid; grid-template-columns: 1fr 1fr 1.25fr; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); margin: 27px 0 42px; padding: 12px 0 13px; gap: 20px; }
.metadata div { display: grid; gap: 2px; min-width: 0; }
.metadata dt { color: var(--faint); font-size: 10px; }
.metadata dd { color: var(--muted); font-size: 12px; margin: 0; }
code { background: var(--code); border: 1px solid var(--line); border-radius: 3px; color: #46554e; font-size: .88em; padding: 2px 5px; }

.doc-section { scroll-margin-top: 26px; margin: 0 0 51px; }
.doc-section h2 { font-size: 23px; letter-spacing: -.035em; line-height: 1.25; margin: 0 0 17px; }
.doc-section > p { color: #343e39; max-width: 720px; margin: 0 0 22px; }
.section-note { color: var(--muted) !important; font-size: 12px; margin-top: 17px !important; }

.overview-table { max-width: 720px; border: 1px solid var(--line); border-radius: 5px; overflow: hidden; margin-top: 25px; }
.overview-table > div { display: grid; grid-template-columns: 180px 30px 1fr; gap: 10px; align-items: center; border-bottom: 1px solid var(--line); padding: 13px 14px; }
.overview-table > div:last-child { border-bottom: 0; }
.overview-table strong { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 12px; }
.overview-table span { color: var(--accent); font-size: 17px; }
.overview-table p { color: var(--muted); font-size: 13px; margin: 0; }

table { border-collapse: collapse; max-width: 780px; width: 100%; font-size: 13px; }
th, td { border: 1px solid var(--line); padding: 10px 12px; text-align: left; vertical-align: top; }
th { background: var(--sidebar); color: var(--ink); font-size: 11px; font-weight: 650; }
td { color: #4d5a53; line-height: 1.55; }
td:first-child { color: var(--ink); font-weight: 600; }
td code { white-space: nowrap; }

.numbered-flow { max-width: 760px; border-top: 1px solid var(--line); }
.numbered-flow > div { display: grid; grid-template-columns: 42px 1fr; gap: 12px; border-bottom: 1px solid var(--line); padding: 13px 0; }
.numbered-flow b { color: var(--accent); font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 11px; padding-top: 2px; }
.numbered-flow p { color: #4d5a53; font-size: 13px; line-height: 1.55; margin: 0; }
.numbered-flow strong { color: var(--ink); font-weight: 650; }
.compact-flow { max-width: 700px; }
.invariant { max-width: 720px; display: grid; grid-template-columns: 145px 1fr; gap: 16px; border-left: 2px solid var(--accent); background: var(--accent-soft); margin-top: 25px; padding: 13px 15px; }
.invariant strong { color: var(--accent); font-size: 12px; }
.invariant span { color: #3e5148; font-size: 13px; }

.code-window { max-width: 720px; background: #202723; border-radius: 5px; overflow: hidden; margin: 24px 0 25px; }
.code-window-header { display: flex; justify-content: space-between; border-bottom: 1px solid #3a4540; color: #aab9b0; font-size: 10px; padding: 9px 13px; }
.code-window-header i { width: 6px; height: 6px; border-radius: 50%; background: #91c3a9; display: inline-block; margin-right: 7px; }
pre { color: #d8e4dc; font-size: 12px; line-height: 1.7; overflow-x: auto; margin: 0; padding: 16px; }
.evidence-grid { max-width: 720px; display: grid; grid-template-columns: repeat(3, 1fr); gap: 20px; }
.evidence-grid > div { border-top: 1px solid var(--line); padding-top: 10px; }
.evidence-grid strong { font-size: 12px; }
.evidence-grid p { color: var(--muted); font-size: 12px; line-height: 1.5; margin: 6px 0 0; }

.command { max-width: 720px; background: var(--code); border: 1px solid var(--line); border-radius: 4px; color: #3c4c44; font-size: 12px; overflow-x: auto; padding: 13px 15px; white-space: nowrap; }
.command span { color: var(--accent); padding-right: 9px; }
.demo-result { display: flex; flex-wrap: wrap; gap: 8px 18px; max-width: 720px; padding: 14px 0 0; }
.demo-result code { background: transparent; border: 0; color: #4c6256; padding: 0; font-size: 11px; }
.boundary-list { max-width: 720px; color: #4d5a53; padding-left: 20px; }
.boundary-list li { padding: 4px 0; }

.page-nav { border-left: 1px solid var(--line); margin: 51px 0 0; padding: 0 0 0 18px; align-self: start; position: sticky; top: 26px; }
.page-nav p { color: var(--faint); font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 10px; letter-spacing: .05em; margin: 0 0 10px; }
.page-nav a { display: block; color: var(--muted); font-size: 12px; line-height: 1.35; padding: 4px 0; }
.page-nav a:hover, .page-nav a.is-current { color: var(--accent); }

@media (max-width: 1050px) {
  .docs-layout { grid-template-columns: var(--sidebar-width) minmax(0, 1fr); max-width: 920px; }
  .page-nav { display: none; }
}

@media (max-width: 720px) {
  .site-header { height: 51px; padding: 0 19px; }
  .wordmark { gap: 8px; }
  .wordmark strong { font-size: 14px; }
  .wordmark span { font-size: 13px; }
  .header-note { display: block; }
  .docs-layout { display: block; min-height: auto; }
  .project-nav { border-right: 0; border-bottom: 1px solid var(--line); padding: 15px 19px 13px; }
  .nav-kicker { display: none; }
  .project-name { margin: 0 0 7px 2px; }
  .project-nav nav { display: flex; gap: 5px; overflow-x: auto; }
  .nav-link { border-left: 0; border-bottom: 2px solid transparent; flex: 0 0 auto; padding: 8px 9px; font-size: 12px; }
  .nav-link.is-active { border-left: 0; border-bottom-color: var(--accent); }
  .main-content { padding: 33px 19px 65px; }
  h1 { font-size: 35px; }
  .page-subtitle { font-size: 15px; }
  .metadata { grid-template-columns: 1fr; gap: 9px; margin: 23px 0 35px; }
  .overview-table > div { grid-template-columns: 1fr; gap: 2px; }
  .overview-table span { display: none; }
  .evidence-grid { grid-template-columns: 1fr; gap: 15px; }
  table { display: block; overflow-x: auto; white-space: normal; }
  th, td { min-width: 145px; }
  .invariant { grid-template-columns: 1fr; gap: 3px; }
}

@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }