*,*:before,*:after{box-sizing:border-box}*{margin:0}html{-webkit-text-size-adjust:100%}body{min-height:100svh;-webkit-font-smoothing:antialiased}img,picture,video,canvas,svg{display:block;max-width:100%}input,button,textarea,select{font:inherit;color:inherit}p,h1,h2,h3,h4,h5,h6{overflow-wrap:break-word}button{background:none;border:none;padding:0;cursor:pointer}:where(code,pre,kbd,samp){direction:ltr;unicode-bidi:isolate}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}.ck-editor{direction:ltr;unicode-bidi:isolate;border:var(--ck-ed-border) solid var(--ck-ed-chrome-line);border-radius:var(--ck-ed-r);overflow:hidden;background:var(--ck-ed-bg);font-family:var(--ck-ed-font)}.ck-ed-bar,.ck-ed-notice{font-family:var(--ck-ed-ui-font)}.ck-ed-bar{display:flex;align-items:center;justify-content:space-between;gap:.5rem;padding:.3rem .5rem;background:var(--ck-ed-chrome-bg);color:var(--ck-ed-chrome-fg);border-bottom:var(--ck-ed-border) solid var(--ck-ed-chrome-line)}.ck-ed-name{display:inline-flex;align-items:center;gap:.45rem;font-size:.78rem;opacity:.8;padding-inline-start:.3rem}.ck-ed-draft{font-size:.72rem;line-height:1.5;padding:0 .4em;opacity:.95;color:var(--ck-ed-accent);border:var(--ck-ed-border) solid currentColor;border-radius:var(--ck-ed-r-sm)}.ck-ed-actions{display:flex;gap:.3rem}.ck-ed-btn{display:inline-flex;align-items:center;gap:.35rem;font-family:inherit;font-size:.78rem;line-height:1.6;padding:.18rem .55rem;border-radius:var(--ck-ed-r-sm);cursor:pointer;background:transparent;color:var(--ck-ed-chrome-fg);border:var(--ck-ed-border) solid var(--ck-ed-chrome-line);text-decoration:none;transition:background .12s,border-color .12s}.ck-ed-btn:hover{border-color:var(--ck-ed-accent)}.ck-ed-btn[disabled]{opacity:.55;cursor:default}.ck-ed-btn[data-on]{color:var(--ck-ed-accent);border-color:currentColor}.ck-ed-btn svg{width:1em;height:1em;flex:none}.ck-ed-run{background:var(--ck-ed-accent);color:var(--ck-ed-accent-fg);border-color:transparent}.ck-ed-btn kbd{font:inherit;font-size:.9em;opacity:.65;border:var(--ck-ed-border) solid currentColor;border-radius:var(--ck-ed-r-sm);padding:0 .2rem}.ck-editor-host{max-height:60vh;overflow:auto}.ck-ed-notice{margin:0;padding:.45rem .7rem;font-size:.78rem;line-height:1.7;color:var(--ck-ed-chrome-fg);background:var(--ck-ed-chrome-bg);border-top:var(--ck-ed-border) solid var(--ck-ed-chrome-line);border-inline-start:3px solid var(--ck-ed-warn, var(--ck-ed-accent))}.ck-ed-notice b{color:var(--ck-ed-warn, var(--ck-ed-accent));font-weight:600}.ck-ed-out{border-top:var(--ck-ed-border) solid var(--ck-ed-chrome-line)}.ck-ed-view{background:var(--ck-ed-chrome-bg)}.ck-ed-view .ck-ed-bar{background:transparent;border-bottom:0;padding-bottom:0}.ck-ed-view .ck-ed-name{opacity:.55}.ck-ed-view .ck-editor-host{opacity:.92}.ck-ed-view .cm-activeLine,.ck-ed-view .cm-activeLineGutter{background:transparent}.ck-ed-view .cm-cursor{display:none!important}.ck-editor{--ck-ed-bg: var(--ck-surface);--ck-ed-fg: var(--ck-text);--ck-ed-caret: var(--ck-primary);--ck-ed-selection: color-mix(in oklab, var(--ck-primary) 30%, transparent);--ck-ed-selection-match: color-mix(in oklab, var(--ck-primary) 14%, transparent);--ck-ed-active-line: color-mix(in oklab, var(--ck-text) 4%, transparent);--ck-ed-gutter: var(--ck-text-faint);--ck-ed-gutter-active: var(--ck-text-dim);--ck-ed-gutter-border: var(--ck-line);--ck-ed-bracket: var(--ck-text-dim);--ck-ed-whitespace: color-mix(in oklab, var(--ck-text) 24%, transparent);--ck-ed-keyword: var(--ck-primary);--ck-ed-keyword-control: var(--ck-secondary);--ck-ed-string: var(--ck-ok);--ck-ed-number: var(--ck-warn);--ck-ed-comment: var(--ck-text-faint);--ck-ed-function: var(--ck-secondary);--ck-ed-type: var(--ck-primary-soft, var(--ck-primary));--ck-ed-variable: var(--ck-text);--ck-ed-constant: var(--ck-warn);--ck-ed-punctuation: var(--ck-text-dim);--ck-ed-meta: var(--ck-secondary);--ck-ed-invalid: var(--ck-danger);--ck-ed-link: var(--ck-primary);--ck-ed-chrome-bg: var(--ck-surface-2, var(--ck-surface));--ck-ed-chrome-fg: var(--ck-text-dim);--ck-ed-chrome-line: var(--ck-line);--ck-ed-accent: var(--ck-primary);--ck-ed-accent-fg: var(--ck-bg);--ck-ed-ok: var(--ck-ok);--ck-ed-warn: var(--ck-warn);--ck-ed-err: var(--ck-danger);--ck-ed-r: var(--ck-r, 0px);--ck-ed-r-sm: calc(var(--ck-ed-r) * .5);--ck-ed-match-r: var(--ck-ed-r-sm);--ck-ed-border: var(--ck-border-w, 1px);--ck-ed-font: var(--ck-font-mono);--ck-ed-ui-font: var(--ck-font-body, inherit);--ck-ed-font-size: var(--ck-ed-size, .845rem);--ck-ed-line-height: 1.7}.ck-term{direction:ltr;unicode-bidi:isolate;background:var(--ck-term-bg);color:var(--ck-term-fg);font-family:var(--ck-term-font);font-size:var(--ck-term-size);line-height:var(--ck-term-line-height);border-radius:var(--ck-term-r);overflow:hidden}.ck-term-head{display:flex;align-items:center;justify-content:space-between;gap:.6rem;padding:.45rem .75rem .1rem}.ck-term-line{display:inline-flex;align-items:baseline;gap:.5ch;min-width:0}.ck-term-prompt{color:var(--ck-term-prompt);-webkit-user-select:none;user-select:none;font-weight:600}.ck-term-cmd{color:var(--ck-term-cmd);overflow-wrap:anywhere}.ck-term-meta{display:inline-flex;align-items:center;gap:.5rem;flex:none}.ck-term-chip{font-size:.78em;padding:0 .45em;border:var(--ck-term-border) solid currentColor;border-radius:var(--ck-term-r-sm);color:var(--ck-term-ok)}.ck-term[data-status=error] .ck-term-chip,.ck-term[data-status=timeout] .ck-term-chip{color:var(--ck-term-err)}.ck-term[data-status=unavailable] .ck-term-chip{color:var(--ck-term-dim)}.ck-term-ms{font-size:.78em;color:var(--ck-term-dim)}.ck-term-body{padding:.1rem .75rem 0}.ck-term-stream{margin:0;font:inherit;white-space:pre-wrap;overflow-wrap:anywhere;overflow-x:auto;max-height:40vh}.ck-term-err{color:var(--ck-term-err)}.ck-term-note{margin:0;color:var(--ck-term-dim);font-family:var(--ck-term-ui-font);direction:rtl;unicode-bidi:plaintext}.ck-term-tail{padding:.1rem .75rem .55rem;opacity:0}.ck-term-tail[data-ready]{opacity:1}.ck-term{--ck-term-bg: var(--ck-term-surface, var(--ck-bg));--ck-term-fg: var(--ck-text);--ck-term-dim: var(--ck-text-faint);--ck-term-prompt: var(--ck-ok);--ck-term-cmd: var(--ck-text-dim);--ck-term-ok: var(--ck-ok);--ck-term-err: var(--ck-danger);--ck-term-r: var(--ck-r, 0px);--ck-term-r-sm: calc(var(--ck-term-r) * .5);--ck-term-border: var(--ck-border-w, 1px);--ck-term-font: var(--ck-font-mono);--ck-term-ui-font: var(--ck-font-body, inherit);--ck-term-size: var(--ck-term-fs, .8rem);--ck-term-line-height: 1.75}:root{color-scheme:dark;--ck-primary: #3ee87b;--ck-primary-soft: #8bffb4;--ck-secondary: #c9dc4b;--ck-ok: #3ee87b;--ck-warn: #e0b040;--ck-danger: #ff5c4d;--ck-bg: #020403;--ck-surface: #080d09;--ck-surface-2: #0e1610;--ck-line: #16241a;--ck-line-2: #253b2b;--ck-text: #d9e6dc;--ck-text-dim: #8fa695;--ck-text-faint: #5d7264;--ck-font-body: "Cairo", system-ui, "Segoe UI", sans-serif;--ck-font-mono: "Source Code Pro", "Cairo", ui-monospace, SFMono-Regular, Menlo, monospace;--ck-r: 2px;--ck-border-w: 1px;--a-spec: #3ee87b;--a-impl: #e0b040;--a-local: #7d8a80;--a-none: #ff5c4d;--w: 4px;--w2: 8px;--w3: 12px;--w4: 16px;--w6: 24px;--w8: 32px;--w12: 48px;--w16: 64px;--top-h: 54px}.ck-editor{--ck-ed-bg: var(--ck-surface);--ck-ed-chrome-bg: var(--ck-surface-2);--ck-ed-fg: var(--ck-text);--ck-ed-gutter-border: var(--ck-line);--ck-ed-keyword-control: var(--ck-primary-soft);--ck-ed-keyword: var(--ck-primary);--ck-ed-type: color-mix(in oklab, var(--ck-primary) 62%, var(--ck-text-dim));--ck-ed-string: var(--ck-secondary);--ck-ed-number: var(--ck-secondary);--ck-ed-constant: var(--ck-secondary);--ck-ed-meta: var(--ck-warn);--ck-ed-variable: var(--ck-text);--ck-ed-function: var(--ck-text);--ck-ed-punctuation: var(--ck-text-dim);--ck-ed-comment: var(--ck-text-faint);--ck-ed-accent: var(--ck-primary);--ck-ed-accent-fg: var(--ck-bg);--ck-ed-ok: var(--ck-primary);--ck-ed-err: var(--ck-danger);--ck-ed-caret: var(--ck-primary-soft)}*{box-sizing:border-box}body{margin:0;background:var(--ck-bg);color:var(--ck-text);font-family:var(--ck-font-body);font-size:1rem;line-height:1.85;-webkit-font-smoothing:antialiased}body:before{content:"";position:fixed;inset:0;z-index:-2;pointer-events:none;background:radial-gradient(ellipse 65% 42% at 50% -6%,color-mix(in oklab,var(--ck-primary) 14%,transparent),transparent 70%),var(--ck-bg)}body:after{content:"";position:fixed;inset:0;z-index:-1;pointer-events:none;opacity:.5;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='120' height='120'%3E%3Ctext x='6' y='16' font-family='monospace' font-size='13' fill='%233ee87b' fill-opacity='.05'%3E01001000%3C/text%3E%3Ctext x='6' y='46' font-family='monospace' font-size='13' fill='%233ee87b' fill-opacity='.05'%3E01100101%3C/text%3E%3Ctext x='6' y='76' font-family='monospace' font-size='13' fill='%233ee87b' fill-opacity='.05'%3E01101100%3C/text%3E%3Ctext x='6' y='106' font-family='monospace' font-size='13' fill='%233ee87b' fill-opacity='.05'%3E01101111%3C/text%3E%3C/svg%3E");-webkit-mask-image:linear-gradient(to bottom,black,transparent 65%);mask-image:linear-gradient(to bottom,black,transparent 65%)}.en{font-family:var(--ck-font-mono);direction:ltr;unicode-bidi:isolate;font-variant-ligatures:none;font-feature-settings:"liga" 0,"calt" 0;letter-spacing:0}.num{font-variant-numeric:tabular-nums}a{color:inherit}button{font-family:inherit;cursor:pointer}:focus-visible{outline:2px solid var(--ck-primary);outline-offset:2px}::selection{background:color-mix(in oklab,var(--ck-primary) 25%,transparent)}.top{position:sticky;top:0;z-index:20;height:var(--top-h);display:flex;align-items:center;justify-content:space-between;gap:var(--w4);padding:0 var(--w6);background:color-mix(in oklab,var(--ck-bg) 86%,transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border-bottom:var(--ck-border-w) solid var(--ck-line)}.brand{display:flex;align-items:baseline;gap:var(--w2);text-decoration:none}.brand b{font-family:var(--ck-font-mono);font-size:1.15rem;color:var(--ck-primary);text-shadow:0 0 var(--w3) color-mix(in oklab,var(--ck-primary) 45%,transparent)}.brand span{font-size:.88rem;color:var(--ck-text-dim)}.ver{font-size:.72rem;color:var(--ck-text-faint)}.reveal{animation:fade .22s ease-out both}@keyframes fade{0%{opacity:0;transform:translateY(4px)}to{opacity:1}}.region{display:grid;grid-template-columns:240px minmax(0,1fr);gap:var(--w12);max-width:1180px;margin:0 auto;padding:var(--w12) var(--w6) var(--w16)}.rail{position:sticky;top:calc(var(--top-h) + var(--w6));align-self:start;max-height:78vh;overflow-y:auto;display:grid;gap:var(--w8)}.doc{min-width:0;max-width:74ch}.doc-head{margin-bottom:var(--w6)}.kicker{display:block;font-size:.76rem;color:var(--ck-text-faint);margin-bottom:var(--w2)}.kicker .sep{margin:0 var(--w2)}.doc h1{font-size:clamp(1.6rem,3.4vw,2.15rem);line-height:1.35;margin:0;text-wrap:balance}.trail h4{font-size:.74rem;color:var(--ck-text-faint);font-weight:600;margin:0 0 var(--w3)}.trail ol{list-style:none;margin:0;padding:0}.trail li{margin-bottom:var(--w)}.trail-part{display:block;font-size:.72rem;color:var(--ck-primary);margin:var(--w4) 0 var(--w2)}.trail button{display:flex;align-items:baseline;gap:var(--w2);width:100%;padding:var(--w) var(--w2);text-align:right;font-size:.84rem;line-height:1.5;color:var(--ck-text-faint);background:none;border:0;border-radius:var(--ck-r)}.trail button:hover{color:var(--ck-text-dim);background:var(--ck-surface)}.trail li[data-on] button{color:var(--ck-primary);font-weight:600}.trail button i{font-style:normal;color:var(--ck-line-2);flex:none}.trail li[data-on] button i{color:var(--ck-primary)}.trail-sum{margin-top:var(--w4);font-size:.74rem;color:var(--ck-text-faint)}[data-family=spec]{--fam: var(--a-spec)}[data-family=impl]{--fam: var(--a-impl)}[data-family=local]{--fam: var(--a-local)}[data-family=none]{--fam: var(--a-none)}.who{border-top:var(--ck-border-w) solid var(--ck-line);padding-top:var(--w4)}.who-q{font-size:.74rem;color:var(--ck-text-faint);font-weight:600;margin:0 0 var(--w3)}.who-list{list-style:none;margin:0;padding:0;display:grid;gap:var(--w3)}.who-row{display:grid;gap:2px;font-size:.8rem;line-height:1.55}.who-row b{color:var(--fam);font-weight:600;border-inline-start:2px solid var(--fam);padding-inline-start:var(--w2)}.who-row span{color:var(--ck-text-faint);padding-inline-start:var(--w2)}.prose{margin:var(--w4) 0;text-wrap:pretty}.prose>*:first-child{margin-top:0}.prose>*:last-child{margin-bottom:0}.blocks>.prose{margin:0}.prose p{margin:var(--w4) 0}.prose h3{font-size:1.08rem;margin:var(--w8) 0 var(--w3)}.prose h4{font-size:.98rem;color:var(--ck-text-dim);margin:var(--w6) 0 var(--w2)}.prose b,.prose strong{color:var(--ck-text);font-weight:700}.prose em{color:var(--ck-text-dim);font-style:normal}.prose ul,.prose ol{padding-inline-start:var(--w4);margin:var(--w4) 0}.prose li{margin:var(--w2) 0}.prose blockquote{margin:var(--w4) 0;padding-inline-start:var(--w4);border-inline-start:2px solid var(--ck-line-2);color:var(--ck-text-dim)}.prose hr{border:0;border-top:var(--ck-border-w) solid var(--ck-line);margin:var(--w8) 0}.prose a{color:var(--ck-primary)}.prose code,.who code,.trail code{font-family:var(--ck-font-mono);direction:ltr;unicode-bidi:isolate;font-size:.86em;overflow-wrap:anywhere;color:var(--ck-primary-soft);background:var(--ck-surface-2);border-radius:var(--ck-r);padding:1px var(--w)}.prose table{width:100%;border-collapse:collapse;font-size:.92rem;margin:var(--w6) 0}.prose th,.prose td{text-align:right;vertical-align:top;padding:var(--w2) var(--w3);border-bottom:var(--ck-border-w) solid var(--ck-line)}.prose th{color:var(--ck-text-faint);font-size:.84rem}.lead{color:var(--ck-text-dim);margin-bottom:var(--w8)}.part-lead{color:var(--ck-text-dim)}.blocks{display:grid;gap:var(--w4)}.code-wrap{display:grid;gap:var(--w2)}.code-note{display:flex;flex-wrap:wrap;gap:var(--w3);margin:0;font-size:.76rem;color:var(--ck-text-faint)}.code-flags{color:var(--ck-primary)}.rec,.local,.fig{border:var(--ck-border-w) solid var(--ck-line);border-radius:var(--ck-r);margin:0;overflow:hidden}.rec{border-top:2px solid var(--fam, var(--ck-line-2))}.rec-head{display:flex;justify-content:space-between;align-items:baseline;gap:var(--w3);padding:var(--w2) var(--w3);background:var(--ck-surface);font-size:.76rem;color:var(--ck-text-faint)}.rec-auth{color:var(--fam);font-weight:600;cursor:help}.rec-body,.local-body,.fig{margin:0;padding:var(--w3);font-family:var(--ck-font-mono);font-size:.8rem;line-height:1.8;direction:ltr;unicode-bidi:isolate;text-align:left;overflow-x:auto;white-space:pre-wrap;word-break:break-word;color:var(--ck-text)}.rec-foot{padding:var(--w2) var(--w3);border-top:var(--ck-border-w) solid var(--ck-line);font-size:.78rem;color:var(--ck-text-faint)}.fig{color:var(--ck-text-dim);border-style:dashed}.local{border:0;display:grid;gap:var(--w2)}.local-tag{font-size:.76rem;color:var(--ck-text-faint)}.gate{padding:var(--w4);border:var(--ck-border-w) solid var(--ck-line-2);border-radius:var(--ck-r);background:var(--ck-surface)}.gate-ask{display:grid;gap:var(--w);margin:0 0 var(--w3)}.gate-ask b{color:var(--ck-text)}.gate-ask span{font-size:.86rem;color:var(--ck-text-dim)}.gate-input{width:100%;padding:var(--w2);font-family:var(--ck-font-mono);font-size:.8rem;color:var(--ck-text);background:var(--ck-bg);border:var(--ck-border-w) solid var(--ck-line-2);border-radius:var(--ck-r);resize:vertical}.gate-input::placeholder{font-family:var(--ck-font-body)}.gate-btn{margin-top:var(--w3);padding:var(--w2) var(--w4);font-size:.9rem;font-weight:600;color:var(--ck-bg);background:var(--ck-primary);border:0;border-radius:var(--ck-r)}.gate-btn:disabled{opacity:.4;cursor:not-allowed}.gate-open{display:grid;gap:var(--w2)}.gate-foot{margin:0;font-size:.8rem;color:var(--ck-text-faint)}.gate-mine{font-size:.84rem;color:var(--ck-text-dim)}.gate-mine summary{cursor:pointer}.gate-mine pre{margin-top:var(--w2);padding:var(--w2);font-family:var(--ck-font-mono);font-size:.8rem;background:var(--ck-surface);border:var(--ck-border-w) solid var(--ck-line);border-radius:var(--ck-r)}.pager{display:flex;align-items:stretch;justify-content:space-between;gap:var(--w3);margin-top:var(--w12);padding-top:var(--w6);border-top:var(--ck-border-w) solid var(--ck-line)}.pager button{display:flex;align-items:center;gap:var(--w2);padding:var(--w2) var(--w4);font-size:.88rem;color:var(--ck-text-dim);background:none;border:var(--ck-border-w) solid var(--ck-line);border-radius:var(--ck-r);transition:border-color .15s,color .15s}.pager button:hover:not(:disabled){color:var(--ck-text);border-color:var(--ck-line-2)}.pager button:disabled{opacity:.3;cursor:not-allowed}.pager-next{flex:1;justify-content:flex-end;text-align:left;border-color:var(--ck-line-2)!important}.pager-next span{display:grid;gap:2px}.pager-part{font-style:normal;font-size:.72rem;color:var(--ck-primary)}.pager-next b{font-weight:600;color:var(--ck-text)}.pager-next:hover:not(:disabled){border-color:var(--ck-primary)!important;box-shadow:0 0 var(--w6) color-mix(in oklab,var(--ck-primary) 12%,transparent)}.seed-door{display:flex;align-items:baseline;justify-content:space-between;gap:var(--w4);margin-top:var(--w12);padding:var(--w4) var(--w6);text-decoration:none;border:var(--ck-border-w) solid var(--ck-primary);border-radius:var(--ck-r);background:color-mix(in oklab,var(--ck-primary) 8%,transparent);transition:box-shadow .18s}.seed-door:hover{box-shadow:0 0 var(--w8) color-mix(in oklab,var(--ck-primary) 18%,transparent)}.seed-door span{font-size:.78rem;color:var(--ck-primary)}.seed-door b{font-size:1.05rem}.home{max-width:1240px;margin:0 auto;padding:var(--w12) var(--w6) var(--w16)}.open{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.05fr);gap:var(--w16);align-items:center;padding-bottom:var(--w16);border-bottom:var(--ck-border-w) solid var(--ck-line)}.open-kick{margin:0 0 var(--w4);font-size:.74rem;color:var(--ck-text-faint)}.open h1{margin:0 0 var(--w4);font-size:clamp(2.1rem,3.6vw,3.1rem);line-height:1.3;text-wrap:balance}.open h1 em{font-style:normal;color:var(--ck-primary);text-shadow:0 0 var(--w6) color-mix(in oklab,var(--ck-primary) 35%,transparent)}.open-lead{margin:0 0 var(--w3);font-size:1.05rem;color:var(--ck-text-dim);text-wrap:pretty}.open-lead b,.open-need b{color:var(--ck-text);font-weight:700}.open-need{margin:0 0 var(--w8);font-size:.92rem;color:var(--ck-text-faint)}.open-run{display:grid;gap:var(--w2)}.open-out{display:flex;align-items:flex-start;gap:var(--w3);padding:var(--w2) var(--w3);background:var(--ck-surface);border:var(--ck-border-w) solid var(--ck-line);border-inline-start:3px solid var(--fam);border-radius:var(--ck-r)}.open-out span{flex:none;font-size:.74rem;color:var(--ck-text-faint);padding-top:3px}.open-out pre{flex:1;margin:0;font-family:var(--ck-font-mono);font-size:.84rem;direction:ltr;unicode-bidi:isolate;text-align:left;overflow-x:auto;color:var(--ck-text)}.open-cap{margin:0;font-size:.8rem;color:var(--ck-text-faint)}.go{display:inline-block;padding:var(--w3) var(--w8);font-weight:700;text-decoration:none;color:var(--ck-bg);background:var(--ck-primary);border-radius:var(--ck-r);box-shadow:0 var(--w) var(--w4) color-mix(in oklab,var(--ck-primary) 22%,transparent);transition:transform .18s,box-shadow .18s}.go:hover{transform:translateY(-2px);box-shadow:0 var(--w2) var(--w8) color-mix(in oklab,var(--ck-primary) 32%,transparent)}.band{margin-top:var(--w16)}.band-h{font-size:1.15rem;margin:0 0 var(--w3);padding-bottom:var(--w2);border-bottom:var(--ck-border-w) solid var(--ck-line)}.band-say{max-width:68ch;margin:0 0 var(--w8);color:var(--ck-text-dim);text-wrap:pretty}.own{display:grid;grid-template-columns:repeat(auto-fit,minmax(17rem,1fr));gap:var(--w8)}.own article{display:grid;gap:var(--w2);align-content:start}.own-n{font-size:.76rem;color:var(--ck-primary)}.own h3{margin:0;font-size:1.02rem;line-height:1.5}.own p{margin:0;font-size:.9rem;color:var(--ck-text-faint);text-wrap:pretty}.works{display:grid;grid-template-columns:repeat(auto-fit,minmax(24rem,1fr));gap:var(--w8)}.work{margin:0;display:grid;gap:var(--w2);align-content:start}.work-out{display:flex;align-items:flex-start;gap:var(--w3);padding:var(--w2) var(--w3);background:var(--ck-surface);border:var(--ck-border-w) solid var(--ck-line);border-inline-start:3px solid var(--fam);border-radius:var(--ck-r)}.work-tag{flex:none;font-size:.74rem;color:var(--ck-text-faint);padding-top:3px}.work-out pre{flex:1;margin:0;font-family:var(--ck-font-mono);font-size:.8rem;line-height:1.75;direction:ltr;unicode-bidi:isolate;text-align:left;overflow-x:auto}.work-from a{display:flex;gap:var(--w2);align-items:baseline;font-size:.8rem;color:var(--ck-text-faint);text-decoration:none}.work-from a:hover{color:var(--ck-primary)}.work-num{font-family:var(--ck-font-mono);font-size:.74rem;color:var(--ck-primary)}.proof{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:var(--w6);align-items:start}.proof-run{display:grid;gap:var(--w2)}.proof-flags{display:flex}.proof-flags button{flex:1;display:grid;gap:2px;justify-items:center;padding:var(--w2) var(--w3);font-size:.8rem;color:var(--ck-text-faint);background:var(--ck-surface);border:var(--ck-border-w) solid var(--ck-line);transition:color .15s,background .15s}.proof-flags button:first-child{border-radius:0 var(--ck-r) var(--ck-r) 0}.proof-flags button:last-child{border-radius:var(--ck-r) 0 0 var(--ck-r)}.proof-flags button+button{border-inline-start:0}.proof-flags button:hover{color:var(--ck-text-dim)}.proof-flags button[aria-pressed=true]{color:var(--ck-primary);background:var(--ck-surface-2);border-color:var(--ck-line-2)}.proof-when{font-size:.74rem}.proof-out{display:block;font-size:1.3rem}.proof-say{grid-column:1 / -1;margin:var(--w4) 0 0;color:var(--ck-text-dim)}.proof-say b{color:var(--ck-text);font-weight:700}.proof-fine{grid-column:1 / -1;margin:0;font-size:.8rem;color:var(--ck-text-faint)}.road{display:grid;gap:var(--w6)}.road-band{display:grid;grid-template-columns:14rem minmax(0,1fr);gap:var(--w6);padding-top:var(--w6);border-top:var(--ck-border-w) solid var(--ck-line)}.road-of{position:sticky;top:calc(var(--top-h) + var(--w4));align-self:start}.road-span{font-size:.74rem;color:var(--ck-primary);text-shadow:0 0 var(--w3) color-mix(in oklab,var(--ck-primary) 40%,transparent)}.road-of h3{font-size:1.05rem;margin:var(--w) 0 var(--w2);text-wrap:balance}.road-of p{margin:0;font-size:.82rem;line-height:1.65;color:var(--ck-text-faint);text-wrap:pretty}.road-of code{font-family:var(--ck-font-mono);direction:ltr;unicode-bidi:isolate;font-size:.9em;color:var(--ck-text-dim)}.road-cards{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(16rem,1fr));gap:var(--w2)}.road-cards li{border:var(--ck-border-w) solid var(--ck-line);border-radius:var(--ck-r)}.road-cards a{display:grid;grid-template-columns:3ch 1fr;gap:2px var(--w3);padding:var(--w3);text-decoration:none;height:100%}.road-cards li:hover{border-color:var(--ck-line-2);background:var(--ck-surface)}.road-num{font-family:var(--ck-font-mono);font-size:.78rem;color:var(--ck-text-faint)}.road-title{font-weight:600}.road-hook{grid-column:2;font-size:.82rem;line-height:1.6;color:var(--ck-text-faint);text-wrap:pretty;display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:3;overflow:hidden}.road-here{border-color:var(--ck-primary)!important}.road-here .road-num,.road-cards li:hover .road-num{color:var(--ck-primary)}@media(max-width:62rem){.region{grid-template-columns:minmax(0,1fr);gap:var(--w8);padding:var(--w8) var(--w4) var(--w16)}.rail{position:static;max-height:none}.home{padding:var(--w8) var(--w4) var(--w16)}.open{grid-template-columns:minmax(0,1fr);gap:var(--w8)}.proof{grid-template-columns:minmax(0,1fr)}.road-band{grid-template-columns:minmax(0,1fr);gap:var(--w4)}.road-of{position:static}.top{padding:0 var(--w4)}.ver{display:none}}@media(prefers-reduced-motion:reduce){*,.reveal{animation:none!important;transition:none!important}}