:root{--bg:#fbfbfa;--bg-raised:#ffffff;--bg-sunken:#f2f1ee;--text:#1d1d1f;--muted:#5c5c66;--border:#e2e0db;--accent:#6b2737;--accent-soft:#f6e9ec;--code-bg:#f2f1ee;--notice-bg:#fff6e0;--notice-border:#e8c76a;--radius:8px;--sans:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;--mono:ui-monospace, "SF Mono", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace}@media(prefers-color-scheme:dark){:root{--bg:#141417;--bg-raised:#1b1b20;--bg-sunken:#202027;--text:#e8e6e3;--muted:#a3a0a8;--border:#2e2d35;--accent:#e29aa8;--accent-soft:#3a2228;--code-bg:#202027;--notice-bg:#2f2814;--notice-border:#7a6420}}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--text);font:16px/1.65 var(--sans)}a{color:var(--accent);text-underline-offset:2px}a:hover{text-decoration-thickness:2px}.topbar{position:sticky;top:0;z-index:10;display:flex;align-items:center;gap:1rem;padding:.6rem 1.25rem;background:var(--bg-raised);border-bottom:1px solid var(--border)}.brand{font-weight:700;font-size:1.1rem;color:var(--text);text-decoration:none;letter-spacing:.01em}.tagline{color:var(--muted);font-size:.9rem}.toplinks{margin-left:auto;display:flex;gap:1.1rem}.mark{vertical-align:-4px;margin-right:.45rem;color:var(--accent)}.toplinks a{color:var(--muted);text-decoration:none;font-size:.95rem}.toplinks a:hover{color:var(--accent)}.nav-toggle,.nav-button{display:none}.layout{display:grid;grid-template-columns:16rem minmax(0,46rem)14rem;gap:2.5rem;justify-content:center;padding:0 1.25rem}.sidebar,.toc{position:sticky;top:3.4rem;align-self:start;max-height:calc(100vh - 3.4rem);overflow-y:auto;padding:1.5rem 0 2rem;font-size:.92rem}.content{padding:1.5rem 0 4rem;min-width:0}.nav,.nav ul{list-style:none;margin:0;padding:0}.nav li{margin:.1rem 0}.nav a{display:block;padding:.22rem .6rem;border-radius:6px;color:var(--text);text-decoration:none}.nav a:hover{background:var(--bg-sunken)}.nav a[aria-current=page]{background:var(--accent-soft);color:var(--accent);font-weight:600}.nav-group{margin-top:1rem}.nav-group-title{display:block;padding:.22rem .6rem;margin-bottom:.15rem;color:var(--muted);font-size:.75rem;font-weight:650;text-transform:uppercase;letter-spacing:.07em}a.nav-group-title:hover{color:var(--accent);background:0 0}.toc-title{margin:0 0 .4rem;color:var(--muted);font-size:.78rem;text-transform:uppercase;letter-spacing:.06em}.toc ul{list-style:none;margin:0;padding-left:0}.toc ul ul{padding-left:.8rem}.toc a{display:block;padding:.15rem 0;color:var(--muted);text-decoration:none}.toc a:hover{color:var(--accent)}h1,h2,h3,h4{line-height:1.25;scroll-margin-top:4.2rem}h1{font-size:2.1rem;margin:.4rem 0 .6rem;letter-spacing:-.01em}h2{font-size:1.45rem;margin:2.4rem 0 .8rem;padding-bottom:.3rem;border-bottom:1px solid var(--border)}h3{font-size:1.15rem;margin:1.8rem 0 .6rem}.anchor{margin-left:.4rem;color:var(--border);text-decoration:none;font-weight:400;opacity:0}h2:hover .anchor,h3:hover .anchor,h4:hover .anchor{opacity:1}.lede{font-size:1.15rem;color:var(--muted);margin-top:0}p,ul,ol,table,figure,pre{margin:0 0 1rem}li>ul,li>ol{margin-bottom:0}strong{font-weight:650}blockquote{margin:0 0 1rem;padding:.2rem 1rem;border-left:3px solid var(--border);color:var(--muted)}hr{border:0;border-top:1px solid var(--border);margin:2rem 0}code{font-family:var(--mono);font-size:.88em;background:var(--code-bg);padding:.1em .35em;border-radius:4px}pre{background:var(--code-bg);padding:.9rem 1rem;border-radius:var(--radius);overflow-x:auto;line-height:1.5}pre code{background:0 0;padding:0;font-size:.85rem}.highlight pre{border:1px solid var(--border)}table{width:100%;border-collapse:collapse;font-size:.93rem;display:block;overflow-x:auto}th,td{text-align:left;vertical-align:top;padding:.45rem .7rem;border-bottom:1px solid var(--border)}th{background:var(--bg-sunken);font-weight:600}.covers{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem;margin:0 0 1.5rem;padding:.55rem .8rem;background:var(--bg-sunken);border-radius:var(--radius);font-size:.88rem}.covers-label{color:var(--muted);font-weight:600;margin-right:.2rem}.covers a{text-decoration:none}.notice{padding:.6rem .9rem;border:1px solid var(--notice-border);background:var(--notice-bg);border-radius:var(--radius);font-size:.95rem}.pagemeta{margin-top:3rem;padding-top:1rem;border-top:1px solid var(--border);color:var(--muted);font-size:.85rem}.pagemeta a{color:var(--muted)}.cards{list-style:none;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(17rem,1fr));gap:.9rem}.cards li{padding:.9rem 1rem;background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--radius)}.cards li>a{font-weight:650;text-decoration:none}.cards li p{margin:.35rem 0 0;color:var(--muted);font-size:.92rem}.diagram{margin:1.2rem 0 1.6rem;padding:1rem;overflow-x:auto;background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--radius);text-align:center}.diagram svg{max-width:100%;height:auto}.diagram-dark{display:none}@media(prefers-color-scheme:dark){.diagram-light{display:none}.diagram-dark{display:block}}.ok{color:#2f7d32}.gap{color:#b3261e}@media(prefers-color-scheme:dark){.ok{color:#8fd694}.gap{color:#f2a19a}}.footer{border-top:1px solid var(--border);padding:1rem 1.25rem 2rem;color:var(--muted);font-size:.85rem;text-align:center}.footer a{color:var(--muted)}.landing main{max-width:68rem;margin:0 auto;padding:0 1.25rem 3rem}.hero{padding:4.5rem 0 3rem}.eyebrow{margin:0 0 1rem;color:var(--muted);font-size:.8rem;font-weight:600;text-transform:uppercase;letter-spacing:.08em}.hero h1{font-size:clamp(2.3rem,5.6vw,3.8rem);line-height:1.08;letter-spacing:-.025em;max-width:18ch;margin:0 0 1.2rem}.hero h1 em{font-style:normal;color:var(--accent)}.hero-lede{font-size:1.2rem;color:var(--muted);max-width:40rem;margin:0 0 1.8rem}.actions{display:flex;flex-wrap:wrap;gap:.6rem;margin:0 0 1.6rem}.button{display:inline-block;padding:.6rem 1.1rem;border:1px solid var(--border);border-radius:var(--radius);background:var(--bg-raised);color:var(--text);font-weight:600;text-decoration:none}.button:hover{border-color:var(--accent);color:var(--accent)}.button.primary{background:var(--accent);border-color:var(--accent);color:var(--bg)}.button.primary:hover{color:var(--bg);filter:brightness(1.1)}.stage{display:inline-block;margin:0;padding:.5rem .8rem;max-width:40rem;background:var(--notice-bg);border-left:3px solid var(--notice-border);border-radius:4px;font-size:.92rem}.features{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fit,minmax(18rem,1fr));gap:1rem}.features li{padding:1.1rem 1.2rem 1.2rem;background:var(--bg-raised);border:1px solid var(--border);border-radius:var(--radius)}.features h2{font-size:1.08rem;margin:.6rem 0 .4rem;padding:0;border:0}.features p{margin:0;color:var(--muted);font-size:.95rem}.state{display:inline-block;padding:.1rem .55rem;border-radius:999px;font-size:.72rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em}.state-built{background:#e3f1e4;color:#2f6b33}.state-partly-built{background:#fff1c7;color:#7a5a00}.state-planned{background:var(--bg-sunken);color:var(--muted)}@media(prefers-color-scheme:dark){.state-built{background:#1f3323;color:#8fd694}.state-partly-built{background:#3a3016;color:#e8c76a}}.verified{margin:3.5rem 0;padding:1.6rem 1.8rem;background:var(--accent-soft);border-radius:var(--radius)}.verified h2{margin:0 0 .6rem;padding:0;border:0}.verified p{max-width:46rem}.counts{list-style:none;margin:1.4rem 0;padding:0;display:flex;flex-wrap:wrap;gap:1.2rem 2.6rem;color:var(--muted)}.count{display:block;font-size:2.4rem;font-weight:700;line-height:1.1;color:var(--accent)}.story{max-width:46rem}@media(max-width:1180px){.layout{grid-template-columns:15rem minmax(0,46rem)}.toc{display:none}}@media(max-width:800px){.layout{display:block;padding:0 1rem}.tagline{display:none}.nav-button{display:inline-block;cursor:pointer;font-size:1.3rem;line-height:1;padding:.2rem .4rem}.sidebar{display:none;position:static;max-height:none;padding:.8rem 0;border-bottom:1px solid var(--border)}.nav-toggle:checked~.layout .sidebar{display:block}h1{font-size:1.7rem}.landing main{padding:0 1rem 2rem}.hero{padding:2.5rem 0 2rem}.hero h1{font-size:2.2rem}.verified{padding:1.2rem 1.1rem}}.bg{background-color:#f7f7f7}.chroma{background-color:#f7f7f7;-webkit-text-size-adjust:none}.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#dedede}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .or{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}@media(prefers-color-scheme:dark){.bg{color:#e6edf3;background-color:#0d1117}.chroma{color:#e6edf3;background-color:#0d1117;-webkit-text-size-adjust:none}.chroma .err{color:#f85149}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#6e7681}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#737679}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6e7681}.chroma .line{display:flex}.chroma .k{color:#ff7b72}.chroma .kc{color:#79c0ff}.chroma .kd{color:#ff7b72}.chroma .kn{color:#ff7b72}.chroma .kp{color:#79c0ff}.chroma .kr{color:#ff7b72}.chroma .kt{color:#ff7b72}.chroma .nc{color:#f0883e;font-weight:700}.chroma .no{color:#79c0ff;font-weight:700}.chroma .nd{color:#d2a8ff;font-weight:700}.chroma .ni{color:#ffa657}.chroma .ne{color:#f0883e;font-weight:700}.chroma .nl{color:#79c0ff;font-weight:700}.chroma .nn{color:#ff7b72}.chroma .nx{color:#e6edf3}.chroma .py{color:#79c0ff}.chroma .nt{color:#7ee787}.chroma .nv{color:#79c0ff}.chroma .vc{color:#79c0ff}.chroma .vg{color:#79c0ff}.chroma .vi{color:#79c0ff}.chroma .vm{color:#79c0ff}.chroma .nf{color:#d2a8ff;font-weight:700}.chroma .fm{color:#d2a8ff;font-weight:700}.chroma .l{color:#a5d6ff}.chroma .ld{color:#79c0ff}.chroma .s{color:#a5d6ff}.chroma .sa{color:#79c0ff}.chroma .sb{color:#a5d6ff}.chroma .sc{color:#a5d6ff}.chroma .dl{color:#79c0ff}.chroma .sd{color:#a5d6ff}.chroma .s2{color:#a5d6ff}.chroma .se{color:#79c0ff}.chroma .sh{color:#79c0ff}.chroma .si{color:#a5d6ff}.chroma .sx{color:#a5d6ff}.chroma .sr{color:#79c0ff}.chroma .s1{color:#a5d6ff}.chroma .ss{color:#a5d6ff}.chroma .m{color:#a5d6ff}.chroma .mb{color:#a5d6ff}.chroma .mf{color:#a5d6ff}.chroma .mh{color:#a5d6ff}.chroma .mi{color:#a5d6ff}.chroma .il{color:#a5d6ff}.chroma .mo{color:#a5d6ff}.chroma .o{color:#ff7b72;font-weight:700}.chroma .ow{color:#ff7b72;font-weight:700}.chroma .or{color:#ff7b72;font-weight:700}.chroma .c{color:#8b949e;font-style:italic}.chroma .ch{color:#8b949e;font-style:italic}.chroma .cm{color:#8b949e;font-style:italic}.chroma .c1{color:#8b949e;font-style:italic}.chroma .cs{color:#8b949e;font-weight:700;font-style:italic}.chroma .cp{color:#8b949e;font-weight:700;font-style:italic}.chroma .cpf{color:#8b949e;font-weight:700;font-style:italic}.chroma .gd{color:#ffa198;background-color:#490202}.chroma .ge{font-style:italic}.chroma .gr{color:#ffa198}.chroma .gh{color:#79c0ff;font-weight:700}.chroma .gi{color:#56d364;background-color:#0f5323}.chroma .go{color:#8b949e}.chroma .gp{color:#8b949e}.chroma .gs{font-weight:700}.chroma .gu{color:#79c0ff}.chroma .gt{color:#ff7b72}.chroma .gl{text-decoration:underline}.chroma .w{color:#6e7681}}