.site-footer-module__Nmvota__footer{border-top:1px solid var(--color-line);background:#03070ca6}.site-footer-module__Nmvota__inner{min-height:3rem;color:var(--color-muted);font-family:var(--font-mono);align-items:center;font-size:.68rem;display:flex}
.site-navigation-module__hNJdOG__navigation{position:relative}.site-navigation-module__hNJdOG__list{align-items:center;gap:var(--space-1);margin:0;padding:0;list-style:none;display:flex}.site-navigation-module__hNJdOG__link{padding:var(--space-2) var(--space-3);border-radius:var(--radius-sm);color:var(--color-muted);font-family:var(--font-mono);border:1px solid #0000;gap:.35rem;font-size:.72rem;text-decoration:none;display:inline-flex}.site-navigation-module__hNJdOG__link:hover,.site-navigation-module__hNJdOG__link[aria-current=page]{border-color:var(--color-line);background:var(--color-panel);color:var(--color-cyan)}.site-navigation-module__hNJdOG__toggle{display:none}@media (max-width:52rem){.site-navigation-module__hNJdOG__toggle{gap:var(--space-2);padding:var(--space-2) var(--space-3);border:1px solid var(--color-line);border-radius:var(--radius-sm);background:var(--color-panel);color:var(--color-cyan);cursor:pointer;font-family:var(--font-mono);font-size:.76rem;display:inline-flex}.site-navigation-module__hNJdOG__list{top:calc(100% + var(--space-2));min-width:13rem;padding:var(--space-2);border:1px solid var(--color-line);border-radius:var(--radius-md);background:var(--color-panel-raised);display:none;position:absolute;right:0;box-shadow:0 1.5rem 4rem #00000073}.site-navigation-module__hNJdOG__list[data-open=true]{display:grid}.site-navigation-module__hNJdOG__link{padding:var(--space-3);display:flex}}
.site-header-module__XFbqWa__header{z-index:30;border-bottom:1px solid var(--color-line);-webkit-backdrop-filter:blur(1rem);backdrop-filter:blur(1rem);background:#060b12e6;position:sticky;top:0}.site-header-module__XFbqWa__inner{justify-content:space-between;align-items:center;gap:var(--space-5);min-height:4rem;display:flex}.site-header-module__XFbqWa__brand{align-items:center;text-decoration:none;display:inline-flex}.site-header-module__XFbqWa__path{color:var(--color-text);font-family:var(--font-mono);font-size:.8rem;font-weight:700}
:root{--color-bg:#060b12;--color-bg-deep:#03070c;--color-panel:#0b1420;--color-panel-raised:#101d2b;--color-text:#e8f2f0;--color-muted:#91a5a3;--color-line:#203445;--color-cyan:#63f2d0;--color-lime:#c8ff62;--color-violet:#a78bfa;--color-amber:#ffc56d;--color-error:#ff7f91;--color-operations:var(--color-cyan);--color-research:var(--color-violet);--color-finding:var(--color-amber);--color-verified:var(--color-lime);--color-focus:var(--color-lime);--font-sans:Inter, "Avenir Next", "Segoe UI", Helvetica, Arial, sans-serif;--font-mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--space-1:.25rem;--space-2:.5rem;--space-3:.75rem;--space-4:1rem;--space-5:1.5rem;--space-6:2rem;--space-7:3rem;--space-8:5rem;--radius-sm:.4rem;--radius-md:.5rem;--page-width:74rem;--content-width:46rem}*{box-sizing:border-box}html{background:var(--color-bg-deep);--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;min-width:20rem;font-family:var(--font-sans);scroll-behavior:smooth}body{background-color:var(--color-bg);min-height:100vh;color:var(--color-text);text-rendering:optimizelegibility;background-image:linear-gradient(#63f2d006 1px,#0000 1px),linear-gradient(90deg,#63f2d006 1px,#0000 1px);background-size:2.5rem 2.5rem,2.5rem 2.5rem;flex-direction:column;margin:0;font-size:1rem;line-height:1.65;display:flex}::selection{background:var(--color-cyan);color:var(--color-bg-deep)}a{color:inherit}button,input,textarea{font:inherit}img,svg{max-width:100%;display:block}h1,h2,h3{letter-spacing:0;text-wrap:balance;margin:0;font-weight:660;line-height:1.08}h1{font-size:3.65rem}h2{font-size:2rem}h3{font-size:1.2rem}p{margin:0}:focus-visible{outline:.18rem solid var(--color-focus);outline-offset:.25rem}.skip-link{z-index:100;top:var(--space-3);left:var(--space-3);padding:var(--space-2) var(--space-4);border:1px solid var(--color-lime);border-radius:var(--radius-sm);background:var(--color-bg-deep);color:var(--color-lime);font-family:var(--font-mono);position:fixed;transform:translateY(-200%)}.skip-link:focus{transform:translateY(0)}main{width:min(calc(100% - 2rem), var(--page-width));padding-block:var(--space-7);flex:1;margin-inline:auto}.shell{width:min(calc(100% - 2rem), var(--page-width));margin-inline:auto}.flow>*+*{margin-block-start:var(--flow-space,var(--space-5))}.section-kicker{align-items:center;gap:var(--space-2);color:var(--color-cyan);font-family:var(--font-mono);letter-spacing:0;text-transform:uppercase;font-size:.76rem;font-weight:700;display:inline-flex}.section-kicker:before{content:"";background:0 0;border:1px solid;border-radius:.08rem;width:.5rem;height:.5rem}.lede{max-width:var(--content-width);color:var(--color-muted);font-size:1.1rem}.mono{font-family:var(--font-mono)}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (max-width:42rem){:root{--space-8:3.5rem}body{background-size:1.75rem 1.75rem,1.75rem 1.75rem,auto,auto}h1{font-size:2.75rem}h2{font-size:1.7rem}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}