:root{--ramp-1: #0f2a1d;--ramp-2: #375534;--ramp-3: #6b9071;--ramp-4: #aec3b0;--ramp-5: #e3eed4}:root,:root[data-theme=light]{--paper: #e3eed4;--surface: #f2f7ec;--sunk: #d4e2cb;--ink: #0f2a1d;--muted: #375534;--faint: #4e6e54;--rule: #c3d4bd;--rule-hard: #aec3b0;--accent: #2c5e3f;--accent-ink: #1e4a30;--accent-soft: #cbdbc4;--warn: #8a4b12;--warn-soft: #f0e3d0;--grid: rgba(15, 42, 29, .06);--wash: linear-gradient( 174deg, #f2f7ec 0%, #e3eed4 38%, #d9e8cd 68%, #c7dabb 100% );--glow: rgba(107, 144, 113, .16);--shadow: rgba(15, 42, 29, .1);--shadow-lift: rgba(15, 42, 29, .16)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper: #07130d;--surface: #0b1d14;--sunk: #102718;--ink: #e3eed4;--muted: #aec3b0;--faint: #7e9e84;--rule: #223d29;--rule-hard: #375534;--accent: #8fbf98;--accent-ink: #aec3b0;--accent-soft: #1f3b26;--warn: #d89a5c;--warn-soft: #2e2016;--grid: rgba(227, 238, 212, .05);--wash: linear-gradient( 174deg, #0b1d14 0%, #07130d 40%, #091a11 72%, #0f2a1d 100% );--glow: rgba(107, 144, 113, .22);--shadow: rgba(0, 0, 0, .45);--shadow-lift: rgba(0, 0, 0, .6)}}:root[data-theme=dark]{--paper: #07130d;--surface: #0b1d14;--sunk: #102718;--ink: #e3eed4;--muted: #aec3b0;--faint: #7e9e84;--rule: #223d29;--rule-hard: #375534;--accent: #8fbf98;--accent-ink: #aec3b0;--accent-soft: #1f3b26;--warn: #d89a5c;--warn-soft: #2e2016;--grid: rgba(227, 238, 212, .05);--wash: linear-gradient( 174deg, #0b1d14 0%, #07130d 40%, #091a11 72%, #0f2a1d 100% );--glow: rgba(107, 144, 113, .22);--shadow: rgba(0, 0, 0, .45);--shadow-lift: rgba(0, 0, 0, .6)}:root{--mono: ui-monospace, "SF Mono", "SFMono-Regular", "Cascadia Mono", Consolas, "Liberation Mono", monospace;--serif: "Iowan Old Style", Charter, "Bitstream Charter", "Palatino Linotype", Palatino, Georgia, serif;--sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif}*,*:before,*:after{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{margin:0;background:var(--paper);background-image:var(--wash);background-attachment:fixed;background-repeat:no-repeat;color:var(--ink);font-family:var(--serif);font-size:17px;line-height:1.62;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;overflow-x:hidden}h1,h2,h3,h4{margin:0;text-wrap:balance}p{margin:0}button{font:inherit;color:inherit;background:none;border:0;cursor:pointer}input,select,textarea{font:inherit;color:inherit}a{color:var(--accent-ink);text-decoration:none;border-bottom:1px solid color-mix(in srgb,var(--accent) 35%,transparent)}a:hover{border-bottom-color:var(--accent)}:focus-visible{outline:2px solid var(--accent);outline-offset:3px;border-radius:2px}code,kbd{font-family:var(--mono);font-size:.86em;background:var(--sunk);padding:.1em .34em;border-radius:2px}::selection{background:var(--accent-soft);color:var(--ink)}.shell{max-width:1460px;margin:0 auto}@media(min-width:1100px){.shell{display:grid;grid-template-columns:268px minmax(0,1fr);align-items:start}}main{min-width:0;padding:0 1.25rem 6rem}@media(min-width:760px){main{padding:0 3rem 8rem}}.wrap{max-width:68ch}.rail{display:none;border-right:1px solid var(--rule);padding:1.75rem 1.25rem 4rem 1.5rem;font-family:var(--sans)}@media(min-width:1100px){.rail{display:block;position:sticky;top:0;max-height:100vh;overflow-y:auto;scrollbar-width:thin}}.rail-mark{display:block;font-family:var(--mono);font-size:.72rem;letter-spacing:.14em;text-transform:uppercase;color:var(--faint);border:0;transition:color .18s ease}a.rail-mark:hover{color:var(--accent)}.rail-progress{height:2px;background:var(--rule);margin:.9rem 0 1.6rem;position:relative;overflow:hidden}.rail-progress i{position:absolute;inset:0 auto 0 0;background:var(--accent);transition:width .12s linear}.rail nav{display:flex;flex-direction:column;gap:1.4rem}.rail-grp{display:flex;flex-direction:column;gap:.25rem}.rail-grp>span{font-family:var(--mono);font-size:.67rem;letter-spacing:.13em;text-transform:uppercase;color:var(--accent);padding-bottom:.35rem;border-bottom:1px solid var(--rule);margin-bottom:.3rem}.rail a{display:grid;grid-template-columns:2rem 1fr;gap:.35rem;align-items:baseline;font-size:.81rem;line-height:1.35;color:var(--muted);border:0;padding:.2rem 0}.rail a:hover{color:var(--ink)}.rail a b{font-family:var(--mono);font-weight:400;font-size:.71rem;color:var(--faint);font-variant-numeric:tabular-nums}.rail a.on{color:var(--ink);font-weight:600}.rail a.on b{color:var(--accent)}.rail a .dot{display:inline-block;width:5px;height:5px;background:var(--accent);margin-left:.3rem;vertical-align:middle;border-radius:50%}.theme{position:fixed;top:1rem;right:1rem;z-index:60;display:flex;gap:0;border:1px solid var(--rule-hard);background:color-mix(in srgb,var(--surface) 88%,transparent);backdrop-filter:blur(8px)}.theme button{font-family:var(--mono);font-size:.64rem;letter-spacing:.1em;text-transform:uppercase;padding:.4rem .6rem;color:var(--faint)}.theme button[aria-pressed=true]{color:var(--accent);background:var(--accent-soft)}.hero{padding:4rem 0 2.75rem;border-bottom:1px solid var(--rule-hard);position:relative}.eyebrow{font-family:var(--mono);font-size:.72rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);display:flex;flex-wrap:wrap;gap:.7rem;align-items:center}.eyebrow s{color:var(--faint);text-decoration:none}h1{font-family:var(--mono);font-weight:600;letter-spacing:-.04em;line-height:.97;font-size:clamp(2.3rem,7vw,4.5rem);margin:1.1rem 0 0}h1 em{font-style:normal;color:var(--accent)}.thesis{font-size:clamp(1.04rem,2.2vw,1.28rem);color:var(--muted);margin-top:1.4rem;max-width:62ch;line-height:1.5}.hero-fig{margin-top:2.75rem;display:flex;flex-wrap:wrap;gap:2.5rem;align-items:flex-end}.fig-note{font-family:var(--mono);font-size:.7rem;line-height:1.75;color:var(--faint);max-width:28ch}.stats{display:flex;flex-wrap:wrap;gap:2.25rem;margin-top:2.75rem;font-family:var(--mono)}.stat b{display:block;font-size:1.75rem;font-weight:500;letter-spacing:-.03em;font-variant-numeric:tabular-nums}.stat span{font-size:.68rem;letter-spacing:.13em;text-transform:uppercase;color:var(--faint)}.pipe{padding:3rem 0;border-bottom:1px solid var(--rule)}.pipe-head{max-width:68ch}.pipe-head h2{font-family:var(--mono);font-weight:600;font-size:clamp(1.4rem,3.2vw,2rem);letter-spacing:-.03em;line-height:1.14;margin-top:.5rem}.pipe-head p{color:var(--muted);margin-top:.85rem}.pipe-input{margin-top:1.75rem;max-width:62rem;display:flex;flex-direction:column;gap:.85rem}.pipe-strip{list-style:none;margin:1.75rem 0 0;padding:0;display:flex;flex-wrap:wrap;align-items:stretch;gap:0}.pipe-strip li{display:flex;align-items:center;flex:1 1 9rem;min-width:0}.pipe-step{flex:1;min-width:0;text-align:left;padding:.7rem .85rem;border:1px solid var(--rule-hard);background:var(--surface);position:relative;transition:background .18s ease,border-color .18s ease}.pipe-step:hover{border-color:var(--accent)}.pipe-step[aria-current=step]{background:var(--accent-soft);border-color:var(--accent)}.pipe-step b{display:block;font-family:var(--mono);font-size:.64rem;letter-spacing:.14em;color:var(--accent);font-weight:500}.pipe-step>span{display:block;font-family:var(--mono);font-size:.88rem;font-weight:600;letter-spacing:-.01em;margin-top:.15rem}.pipe-lock{position:absolute;top:.6rem;right:.6rem;width:5px;height:5px;border-radius:50%;background:var(--warn)}.pipe-arrow{flex:0 0 1.4rem;height:1px;background:var(--rule-hard);position:relative}.pipe-arrow:after{content:"";position:absolute;right:0;top:-3px;border-left:5px solid var(--rule-hard);border-top:3.5px solid transparent;border-bottom:3.5px solid transparent}@media(max-width:620px){.pipe-strip li{flex-basis:100%}.pipe-arrow{display:none}.pipe-strip li+li .pipe-step{border-top:0}}.pipe-panel{border:1px solid var(--rule-hard);border-top:0;background:var(--surface);padding:1.3rem 1.15rem 1.15rem}@media(max-width:620px){.pipe-panel{border-top:1px solid var(--rule-hard)}}.pipe-caption{font-family:var(--sans);font-size:.88rem;color:var(--muted);max-width:68ch;line-height:1.55;margin-bottom:1.15rem}.pipe-gate{padding:1.25rem;background:var(--sunk);border:1px dashed var(--rule-hard)}.pipe-aside{margin-top:1.15rem;padding:.9rem 1rem;background:var(--sunk);border-left:2px solid var(--accent)}.pipe-aside b{display:block;font-family:var(--mono);font-size:.65rem;letter-spacing:.14em;text-transform:uppercase;color:var(--accent);margin-bottom:.4rem}.pipe-aside p{font-family:var(--sans);font-size:.85rem;color:var(--muted);line-height:1.6;max-width:70ch}.pipe-vec{display:flex;gap:.7rem;align-items:flex-start}.pipe-vec-labels{list-style:none;margin:0;padding:0;flex:0 0 auto;max-width:9rem;font-family:var(--mono);font-size:.66rem;color:var(--muted);text-align:right}.pipe-vec-labels li{height:var(--row-h);line-height:var(--row-h);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pipe-bars{display:flex;flex-direction:column;gap:.45rem;font-family:var(--mono);font-size:.74rem}.pipe-bars>div{display:grid;grid-template-columns:minmax(0,16rem) 1fr 3.6rem;gap:.7rem;align-items:center}@media(max-width:620px){.pipe-bars>div{grid-template-columns:minmax(0,9rem) 1fr 3.2rem}}.pipe-bar-label{text-align:right;color:var(--muted);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pipe-bar{position:relative;display:block;height:18px;background:var(--sunk)}.pipe-bar i{position:absolute;inset:0 auto 0 0;background:var(--accent);transition:width .12s linear}.pipe-bar u{position:absolute;top:0;bottom:0;width:2px;background:var(--ink)}.pipe-bar-n{font-variant-numeric:tabular-nums;color:var(--muted)}.pipe-foot{display:flex;flex-wrap:wrap;gap:.75rem 1.25rem;align-items:center;justify-content:space-between;margin-top:1.4rem;padding-top:1rem;border-top:1px solid var(--rule)}.pipe-nav{display:flex;gap:.45rem}.pipe-nav .btn:disabled{opacity:.4;cursor:not-allowed}.pipe-nav .btn:disabled:hover{color:var(--muted);border-color:var(--rule-hard)}.pipe-more{font-family:var(--mono);font-size:.7rem;letter-spacing:.06em;border:0;color:var(--accent)}.labs-page{padding-top:3.5rem}.labs-head{max-width:70ch;padding-bottom:2rem;border-bottom:1px solid var(--rule-hard)}.labs-head h1{font-size:clamp(2rem,5.5vw,3.4rem);margin-top:.75rem}.labs-filter{display:flex;flex-wrap:wrap;gap:.45rem;margin-top:1.75rem}.labs-filter-hint{font-family:var(--mono);font-size:.7rem;color:var(--faint);margin-top:.7rem}.labs-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(275px,1fr));gap:1px;background:var(--rule);border:1px solid var(--rule);border-top:0}.lab-card{background:var(--surface)}.lab-card-link{display:flex;flex-direction:column;height:100%;border:0;color:inherit;position:relative;transition:background .18s ease}.lab-card-link:hover{background:var(--sunk)}.lab-card-link:after{content:"";position:absolute;inset:auto 0 0;height:2px;background:var(--accent);transform:scaleX(0);transform-origin:left;transition:transform .28s cubic-bezier(.22,1,.36,1)}.lab-card-link:hover:after{transform:scaleX(1)}.lab-card-fig{border-bottom:1px solid var(--rule);background:var(--surface);line-height:0}.lab-card-body{padding:1rem 1.15rem 1.15rem;display:flex;flex-direction:column;gap:.5rem;flex:1}.lab-card-kind{display:flex;flex-wrap:wrap;gap:.5rem;align-items:center;font-family:var(--mono);font-size:.62rem;letter-spacing:.1em;text-transform:uppercase}.tag.quiet{border-color:var(--rule-hard);color:var(--faint)}.lab-card-tech{color:var(--faint);letter-spacing:.04em;text-transform:none;font-size:.64rem}.lab-card h2{font-family:var(--mono);font-size:1rem;font-weight:600;letter-spacing:-.02em;line-height:1.25}.lab-card p{font-size:.88rem;color:var(--muted);line-height:1.5;flex:1}.lab-card-f{display:flex;flex-wrap:wrap;gap:.4rem .9rem;align-items:baseline;justify-content:space-between;margin-top:.4rem;padding-top:.7rem;border-top:1px solid var(--rule);font-family:var(--mono);font-size:.65rem;letter-spacing:.06em;color:var(--faint)}.lab-card-f b{color:var(--accent);font-weight:500}.lab-h-sep{font-style:normal;color:var(--rule-hard)}.lab-h-all{border:0;color:var(--accent);font-family:var(--mono);font-size:.66rem}.preamble{padding:2.5rem 0;border-bottom:1px solid var(--rule)}.preamble h2{font-family:var(--mono);font-size:.72rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);margin-bottom:1rem;font-weight:500}.preamble p+p{margin-top:1rem}.part{padding:5rem 0 1.25rem}.part-n{font-family:var(--mono);font-size:.72rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent)}.part h2{font-family:var(--mono);font-weight:600;font-size:clamp(1.5rem,3.6vw,2.15rem);letter-spacing:-.03em;margin-top:.5rem;line-height:1.12}.part p{color:var(--muted);margin-top:.8rem;max-width:62ch}@supports (animation-timeline: view()){@media(prefers-reduced-motion:no-preference){.card,.def{animation:rise linear both;animation-timeline:view();animation-range:entry 0% entry 34%}}}@keyframes rise{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:none}}.meta{font-family:var(--mono);font-size:.7rem;letter-spacing:.07em;text-transform:uppercase;color:var(--faint);margin-top:.5rem;display:flex;flex-wrap:wrap;gap:.55rem}.meta i{font-style:normal;color:var(--rule-hard)}.part-block{margin-bottom:1rem}.grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(272px,1fr));gap:1px;background:var(--rule);border:1px solid var(--rule);margin-top:1.75rem}.card{display:flex;flex-direction:column;gap:.55rem;height:100%;padding:1.3rem 1.25rem 1.15rem;background:var(--surface);border:0;color:inherit;position:relative;transition:background .18s ease,transform .18s ease}.card:after{content:"";position:absolute;inset:auto 0 0;height:2px;background:var(--accent);transform:scaleX(0);transform-origin:left;transition:transform .28s cubic-bezier(.22,1,.36,1)}.card:hover{background:var(--sunk)}.card:hover:after{transform:scaleX(1)}.card-n{font-family:var(--mono);font-size:.78rem;color:var(--accent);font-variant-numeric:tabular-nums;letter-spacing:.08em}.card h3{font-family:var(--mono);font-size:1.02rem;font-weight:600;letter-spacing:-.02em;line-height:1.25}.card p{font-size:.9rem;color:var(--muted);line-height:1.5;flex:1}.card-f{display:flex;flex-wrap:wrap;gap:.4rem;align-items:center;margin-top:.5rem;font-family:var(--mono);font-size:.64rem;letter-spacing:.1em;text-transform:uppercase;color:var(--faint)}.tag{padding:.12rem .4rem;border:1px solid var(--accent);color:var(--accent)}.tag.warn{border-color:var(--warn);color:var(--warn)}.endcap{display:flex;flex-wrap:wrap;gap:.5rem;margin-top:2.5rem}.endcap .btn{text-decoration:none}.crumbs{font-family:var(--mono);font-size:.68rem;letter-spacing:.1em;text-transform:uppercase;color:var(--faint);display:flex;flex-wrap:wrap;gap:.5rem;padding:2.25rem 0 0}.crumbs a{color:var(--accent);border:0}.crumbs i{font-style:normal;color:var(--rule-hard)}.note{padding-top:1.75rem}.note-h{display:grid;grid-template-columns:3.6rem 1fr;gap:1rem;align-items:start}.note-n{font-family:var(--mono);font-size:1.9rem;font-weight:500;letter-spacing:-.04em;color:var(--accent);font-variant-numeric:tabular-nums;line-height:1}.note-title{font-family:var(--mono);font-size:clamp(1.5rem,3.6vw,2.15rem);font-weight:600;letter-spacing:-.035em;line-height:1.1;margin:0}.note-lede{margin:1.6rem 0 0 4.6rem;font-size:1.1rem;color:var(--muted);max-width:62ch}@media(max-width:640px){.note-h{grid-template-columns:2.6rem 1fr}.note-n{font-size:1.4rem}.note-lede{margin-left:0}}.note-sub{margin-top:.55rem;color:var(--muted);font-size:.94rem}.sub{font-family:var(--mono);font-size:.95rem;font-weight:600;letter-spacing:-.01em;margin:2rem 0 .75rem}.wrap p+p{margin-top:1rem}.refs{margin-top:2.75rem;padding-top:1.5rem;border-top:1px solid var(--rule)}.refs h2{font-family:var(--mono);font-size:.7rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);font-weight:500}.pager{display:grid;grid-template-columns:1fr 1fr;gap:1px;background:var(--rule);border:1px solid var(--rule);margin-top:3.5rem}.pager a{display:block;padding:1.15rem 1.25rem;background:var(--surface);border:0;color:inherit;transition:background .18s ease}.pager a:hover{background:var(--sunk)}.pager-r{text-align:right}.pager span{display:block;font-family:var(--mono);font-size:.64rem;letter-spacing:.13em;text-transform:uppercase;color:var(--accent);margin-bottom:.35rem}.pager b{font-family:var(--mono);font-size:.86rem;font-weight:500;line-height:1.35;display:block}.g-at{font-family:var(--mono);font-size:.68rem;color:var(--faint);margin-top:.25rem;letter-spacing:.03em}.defs{margin-top:1.9rem}.def{padding:1.15rem 0;border-top:1px solid var(--rule);display:grid;grid-template-columns:minmax(0,15rem) minmax(0,1fr);gap:.4rem 2rem;align-items:start}@media(max-width:880px){.def{grid-template-columns:1fr;gap:.4rem}}.def dt{font-family:var(--mono);font-size:.85rem;font-weight:600;line-height:1.4;padding-top:.15rem}.def dd{margin:0;max-width:62ch}.def dd.note{margin-top:.55rem;color:var(--muted);font-size:.94rem}.fail{margin-top:1.5rem;padding:1rem 1.15rem;background:var(--warn-soft);border-left:2px solid var(--warn);max-width:64ch}.fail b{display:block;font-family:var(--mono);font-size:.67rem;letter-spacing:.15em;text-transform:uppercase;color:var(--warn);margin-bottom:.4rem}.fail p{font-size:.97rem}.code{margin-top:1.4rem;border:1px solid var(--rule);background:var(--sunk);max-width:100%;overflow:hidden}.code figcaption{font-family:var(--mono);font-size:.66rem;letter-spacing:.13em;text-transform:uppercase;color:var(--faint);padding:.55rem .9rem;border-bottom:1px solid var(--rule)}.code pre{margin:0;padding:.95rem 1.1rem;overflow-x:auto;font-size:.79rem;line-height:1.7}.code pre,.code code{font-family:var(--mono);background:transparent!important;padding:0}.shiki,.shiki span{color:var(--shiki-light)}@media(prefers-color-scheme:dark){.shiki,.shiki span{color:var(--shiki-dark)}}:root[data-theme=dark] .shiki,:root[data-theme=dark] .shiki span{color:var(--shiki-dark)}:root[data-theme=light] .shiki,:root[data-theme=light] .shiki span{color:var(--shiki-light)}.formula{margin-top:1.5rem;padding:1.3rem 1.1rem 1rem;border:1px solid var(--rule);background:var(--surface);text-align:center;overflow-x:auto}.formula figcaption{font-family:var(--mono);font-size:.68rem;letter-spacing:.09em;color:var(--faint);margin-top:.9rem;text-transform:uppercase}.katex{font-size:1.18em}.tbl{margin-top:1.5rem;overflow-x:auto;border:1px solid var(--rule)}table{border-collapse:collapse;width:100%;font-family:var(--sans);font-size:.85rem;background:var(--surface)}th,td{text-align:left;padding:.62rem .85rem;border-bottom:1px solid var(--rule);vertical-align:top}thead th{font-family:var(--mono);font-size:.67rem;letter-spacing:.11em;text-transform:uppercase;color:var(--faint);font-weight:500;background:var(--sunk)}tbody tr:last-child td{border-bottom:0}td:first-child{font-family:var(--mono);font-size:.8rem}.res{margin-top:1.7rem;padding:0;list-style:none;display:flex;flex-wrap:wrap;gap:.45rem}.res a{display:inline-block;font-family:var(--mono);font-size:.7rem;letter-spacing:.06em;text-transform:uppercase;padding:.34rem .7rem;border:1px solid var(--rule-hard);color:var(--muted);background:var(--surface)}.res a:hover{color:var(--accent);border-color:var(--accent)}.lab{margin-top:1.9rem;border:1px solid var(--rule-hard);background:var(--surface)}.lab-h{display:flex;flex-wrap:wrap;gap:.6rem;align-items:baseline;justify-content:space-between;padding:.7rem 1rem;border-bottom:1px solid var(--rule);background:var(--sunk)}.lab-h b{font-family:var(--mono);font-size:.7rem;letter-spacing:.14em;text-transform:uppercase;color:var(--accent)}.lab-h span{font-family:var(--mono);font-size:.66rem;color:var(--faint);letter-spacing:.04em}.lab-body{padding:1.15rem 1rem 1.25rem}.lab-hint{font-family:var(--sans);font-size:.82rem;color:var(--muted);margin-bottom:1rem;max-width:66ch;line-height:1.55}.ctl{display:flex;flex-wrap:wrap;gap:1.1rem 1.6rem;align-items:center;margin-bottom:1.1rem}.ctl label{font-family:var(--mono);font-size:.68rem;letter-spacing:.09em;text-transform:uppercase;color:var(--faint);display:flex;flex-direction:column;gap:.35rem}.ctl label b{color:var(--ink);font-weight:500;font-variant-numeric:tabular-nums;font-size:.8rem;letter-spacing:0;text-transform:none}input[type=range]{-webkit-appearance:none;appearance:none;width:150px;height:2px;background:var(--rule-hard);cursor:pointer}input[type=range]::-webkit-slider-thumb{-webkit-appearance:none;width:13px;height:13px;border-radius:50%;background:var(--accent);cursor:pointer}input[type=range]::-moz-range-thumb{width:13px;height:13px;border:0;border-radius:50%;background:var(--accent);cursor:pointer}input[type=text],textarea,select{background:var(--paper);border:1px solid var(--rule-hard);padding:.5rem .65rem;font-family:var(--mono);font-size:.82rem;width:100%}textarea{resize:vertical;line-height:1.6}.btn{font-family:var(--mono);font-size:.68rem;letter-spacing:.1em;text-transform:uppercase;padding:.42rem .8rem;border:1px solid var(--rule-hard);color:var(--muted);background:var(--paper)}.btn:hover{color:var(--accent);border-color:var(--accent)}.btn[aria-pressed=true]{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}canvas{display:block;max-width:100%;touch-action:none}.readout{display:flex;flex-wrap:wrap;gap:1.5rem;font-family:var(--mono);font-size:.74rem;margin-top:1rem;padding-top:.9rem;border-top:1px solid var(--rule)}.readout div span{display:block;color:var(--faint);font-size:.64rem;letter-spacing:.11em;text-transform:uppercase}.readout div b{font-weight:500;font-variant-numeric:tabular-nums;font-size:.95rem}.tokens{display:flex;flex-wrap:wrap;gap:3px;font-family:var(--mono);font-size:.78rem;line-height:1.5}.tok{padding:.16rem .3rem;border-radius:2px;white-space:pre;cursor:default;border:1px solid transparent}.tok:hover{border-color:var(--accent)}.gloss{margin-top:2rem;columns:2;column-gap:2.5rem;column-rule:1px solid var(--rule)}@media(max-width:900px){.gloss{columns:1}}.g{break-inside:avoid;padding:.55rem 0;border-bottom:1px solid var(--rule)}.g dt{font-family:var(--mono);font-size:.79rem;font-weight:600}.g dd{margin:.18rem 0 0;font-size:.89rem;color:var(--muted);line-height:1.5}.colophon{margin-top:4rem;padding-top:2.5rem;border-top:1px solid var(--rule-hard)}.colophon h2{font-family:var(--mono);font-size:.72rem;letter-spacing:.16em;text-transform:uppercase;color:var(--accent);margin-bottom:1.2rem}.libs{display:grid;grid-template-columns:repeat(auto-fill,minmax(210px,1fr));gap:1px;background:var(--rule);border:1px solid var(--rule)}.libs>div{background:var(--surface);padding:.85rem .95rem}.libs b{font-family:var(--mono);font-size:.8rem;display:block}.libs span{font-family:var(--sans);font-size:.78rem;color:var(--muted);line-height:1.45;display:block;margin-top:.2rem}footer{margin-top:3rem;padding-top:2rem;border-top:1px solid var(--rule);font-family:var(--mono);font-size:.73rem;color:var(--faint);line-height:1.85}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}}.theme{box-shadow:0 2px 14px var(--shadow)}.lab,.pipe-panel{box-shadow:0 1px 2px var(--shadow),0 12px 34px -22px var(--shadow-lift)}.card,.lab-card-link{transition:background .18s ease,box-shadow .18s ease}.card:hover,.lab-card-link:hover{box-shadow:inset 0 0 0 100vmax var(--glow)}.rail-grp>span{color:var(--muted)}input[type=range]::-webkit-slider-thumb{box-shadow:0 0 0 0 var(--glow);transition:box-shadow .16s ease}input[type=range]:hover::-webkit-slider-thumb,input[type=range]:focus-visible::-webkit-slider-thumb{box-shadow:0 0 0 5px var(--glow)}.ramp{list-style:none;margin:1.6rem 0 1.9rem;padding:0;max-width:30rem}.ramp li{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.85rem 1.2rem;border-radius:999px;font-family:var(--mono);font-size:.76rem;letter-spacing:.08em;box-shadow:0 6px 20px -10px var(--shadow-lift)}.ramp li+li{margin-top:.5rem}.ramp li:nth-child(2){margin-left:.75rem}.ramp li:nth-child(3){margin-left:1.5rem}.ramp li:nth-child(4){margin-left:2.25rem}.ramp li:nth-child(5){margin-left:3rem}.ramp b{font-weight:600;color:#e3eed4}.ramp span{color:#aec3b0;font-size:.68rem;letter-spacing:.1em}.ramp li.pale b{color:#0f2a1d}.ramp li.pale span{color:#375534}@media(max-width:520px){.ramp li{margin-left:0!important}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}