:root{--paper:#f1f3f6;--surface:#fff;--surface-2:#e7ebef;--ink:#141920;--ink-2:#4b5560;--ink-3:#7c8894;--rule:#d3d9df;--rule-soft:#e3e8ec;--keep:#0a6a62;--keep-line:#0f8078;--keep-soft:#d9edeb;--draw:#a24e06;--draw-line:#c4650f;--draw-soft:#fae8d5;--cut:#aeb7c0;--cut-soft:#edf0f2;--pre:#5b6672;--pre-soft:#e3e7eb;--shadow:0 1px 2px rgba(20,25,32,.05),0 8px 24px -12px rgba(20,25,32,.18)}@media(prefers-color-scheme:dark){:root:not([data-theme="light"]){--paper:#0f1319;--surface:#171c23;--surface-2:#202730;--ink:#e9edf1;--ink-2:#a7b2bd;--ink-3:#79848f;--rule:#2a323c;--rule-soft:#222a33;--keep:#3fc0b1;--keep-line:#3fc0b1;--keep-soft:#0e3330;--draw:#f0a03c;--draw-line:#f0a03c;--draw-soft:#3a2711;--cut:#4e5a66;--cut-soft:#1c232b;--pre:#a7b2bd;--pre-soft:#252d37;--shadow:0 1px 2px rgba(0,0,0,.4),0 8px 24px -12px rgba(0,0,0,.6)}}:root[data-theme="dark"]{--paper:#0f1319;--surface:#171c23;--surface-2:#202730;--ink:#e9edf1;--ink-2:#a7b2bd;--ink-3:#79848f;--rule:#2a323c;--rule-soft:#222a33;--keep:#3fc0b1;--keep-line:#3fc0b1;--keep-soft:#0e3330;--draw:#f0a03c;--draw-line:#f0a03c;--draw-soft:#3a2711;--cut:#4e5a66;--cut-soft:#1c232b;--pre:#a7b2bd;--pre-soft:#252d37;--shadow:0 1px 2px rgba(0,0,0,.4),0 8px 24px -12px rgba(0,0,0,.6)}body{margin:0;background:var(--paper);color:var(--ink);font-family:"IBM Plex Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:16px;line-height:1.6;-webkit-font-smoothing:antialiased}img{max-width:100%}[hidden]{display:none!important}a{color:var(--keep);text-decoration:none;border-bottom:1px solid var(--keep-soft)}a:hover{border-bottom-color:var(--keep)}.page{max-width:900px;margin:0 auto;padding:52px 24px 96px;display:flex;flex-direction:column;gap:44px}@media(max-width:640px){.page{padding:32px 16px 64px;gap:32px}}.eyebrow{font-family:"IBM Plex Mono",monospace;font-size:12px;font-weight:500;letter-spacing:.14em;text-transform:uppercase;color:var(--keep);margin:0 0 12px}.eyebrow a{border:0;color:inherit}.eyebrow a:hover{color:var(--ink)}h1{font-family:"IBM Plex Serif",Georgia,serif;font-weight:600;font-size:clamp(30px,5vw,44px);line-height:1.12;letter-spacing:-.015em;margin:0 0 14px;text-wrap:balance}.lede{max-width:64ch;margin:0;color:var(--ink-2);font-size:17px}.lede b{color:var(--ink);font-weight:600}h2{font-family:"IBM Plex Serif",Georgia,serif;font-weight:600;font-size:22px;letter-spacing:-.01em;margin:0 0 10px;text-wrap:balance}p{max-width:66ch}section>p{color:var(--ink-2);margin:0 0 12px}section>p b{color:var(--ink);font-weight:600}code{font-family:"IBM Plex Mono",monospace;font-size:.92em;color:var(--ink)}figure{margin:0}.scroller{overflow-x:auto}figure svg{display:block;width:100%;height:auto;color:var(--ink-3)}figcaption{margin-top:12px;color:var(--ink-2);font-size:14px;max-width:66ch}.st{fill:var(--ink);font-family:"IBM Plex Mono",monospace;font-size:11.5px}.st2{fill:var(--ink-2);font-family:"IBM Plex Mono",monospace;font-size:10.5px}.sh{fill:var(--ink);font-family:"IBM Plex Sans",sans-serif;font-size:13px;font-weight:600}.stk{fill:var(--keep);font-family:"IBM Plex Mono",monospace;font-size:11.5px;font-weight:600}.sta{fill:var(--draw);font-family:"IBM Plex Mono",monospace;font-size:11px;font-weight:600}.bx{fill:var(--surface);stroke:var(--ink-3);stroke-width:1}.bk{fill:var(--keep-soft);stroke:var(--keep-line);stroke-width:1.4}.ba{fill:var(--draw-soft);stroke:var(--draw-line);stroke-width:1.4}.bg{fill:var(--pre-soft);stroke:var(--pre);stroke-width:1}.bc{fill:var(--cut-soft);stroke:var(--cut);stroke-width:1;stroke-dasharray:3 2}.edge{stroke:currentColor;stroke-width:1.3;fill:none;marker-end:url(#ah)}.edge.k{stroke:var(--keep-line)}.edge.a{stroke:var(--draw-line);stroke-dasharray:4 3}.bus{stroke:currentColor;stroke-width:1.3;fill:none}.math{background:var(--surface);border:1px solid var(--rule);border-radius:8px;padding:14px 18px;font-family:"IBM Plex Mono",monospace;font-size:13.5px;line-height:1.8;overflow-x:auto;box-shadow:var(--shadow)}.math .c{color:var(--ink-3)}.math b{color:var(--draw);font-weight:600}table{border-collapse:collapse;width:100%;font-size:13.5px;min-width:720px}th,td{text-align:left;padding:9px 12px;border-bottom:1px solid var(--rule-soft);vertical-align:top}th{font-family:"IBM Plex Mono",monospace;font-size:10.5px;font-weight:600;letter-spacing:.1em;text-transform:uppercase;color:var(--ink-3);border-bottom:1px solid var(--rule)}td{color:var(--ink-2)}td:first-child{color:var(--ink);font-weight:600}ul.facts{margin:0;padding-left:18px;color:var(--ink-2);display:flex;flex-direction:column;gap:8px;max-width:70ch}ul.facts b{color:var(--ink);font-weight:600}.src{display:flex;flex-direction:column;gap:6px;font-size:14px}.src span{font-family:"IBM Plex Mono",monospace;font-size:12px;color:var(--ink-3)}
.foot{margin-top:8px;font-size:13px;color:var(--ink-3)}.katex{font-size:1.05em}.katex-display>.katex{font-size:1.15em}.math .katex-display{margin:2px 0 4px;text-align:left}.math .katex-display>.katex{text-align:left}.math .c{display:block;margin:0 0 12px}.tabs{position:sticky;top:0;z-index:5;background:var(--paper);padding:8px 0 10px;border-bottom:1px solid var(--rule);display:flex;flex-wrap:wrap;gap:6px;align-items:center}.tabs button{font-family:"IBM Plex Mono",monospace;font-size:12.5px;font-weight:500;color:var(--ink-2);background:var(--surface);border:1px solid var(--rule);border-radius:6px;padding:7px 12px;cursor:pointer;display:inline-flex;align-items:center;gap:7px}.tabs button .tk{font-weight:600;color:var(--keep);border:1px solid var(--keep-line);border-radius:4px;padding:0 5px;font-size:11px}.tabs button:hover{color:var(--ink);border-color:var(--ink-3)}.tabs button:focus-visible{outline:2px solid var(--keep);outline-offset:2px}.tabs button[aria-selected="true"]{background:var(--ink);border-color:var(--ink);color:var(--paper)}.tabs button[aria-selected="true"] .tk{color:var(--paper);border-color:var(--paper)}.tabs button.ref[aria-selected="false"]{border-color:var(--keep-line);color:var(--keep)}.panel{display:flex;flex-direction:column;gap:44px}.panel[hidden]{display:none!important}@media(max-width:640px){.panel{gap:32px}.tabs button{font-size:12px;padding:6px 10px}}