:root{color-scheme:dark;--bg:#0a1628;--sidebar-bg:#0d2137;--panel-bg:#0d2137db;--text-primary:#e0f0ff;--text-muted:#8ab4f8;--text-body:#b8d4f8;--text-dim:#5e83bc;--accent:#1e90ff;--accent-hover:#00d4ff;--accent-purple:#512bd4;--code-bg:#091426;--code-text:#e0f0ff;--code-border:#1a365d;--sidebar-width:290px;--toc-width:280px;--border:#1a365d;--ease-out:cubic-bezier(.25, 1, .5, 1)}*{box-sizing:border-box}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}html{scrollbar-color:var(--accent-hover) var(--bg);scrollbar-width:thin}::-webkit-scrollbar{width:6px;height:6px}::-webkit-scrollbar-track{background:var(--bg);box-shadow:inset 1px 0 #1a365d80}::-webkit-scrollbar-thumb{background:var(--accent-hover);border-radius:999px}::-webkit-scrollbar-corner{background:var(--bg)}body{background:radial-gradient(circle at 18% 12%, #512bd41f, transparent 34%), linear-gradient(#1a365d38 1px, transparent 1px), linear-gradient(90deg, #1a365d38 1px, transparent 1px), var(--bg);min-height:100vh;color:var(--text-primary);background-size:auto,32px 32px,32px 32px,auto;margin:0;padding:0;display:flex;overflow-x:clip}body.menu-open{overflow:hidden}:where(a,button,input,[tabindex]):focus-visible{outline:2px solid var(--accent-hover);outline-offset:3px}.sidebar{width:var(--sidebar-width);border-right:1px solid var(--border);z-index:100;height:100vh;transition:transform .28s var(--ease-out);background:linear-gradient(#0d2137fa,#0a1628fa);flex-direction:column;display:flex;position:fixed;top:0;left:0;box-shadow:16px 0 50px #0000002e}.sidebar-header{border-bottom:1px solid #1e90ff1f;padding:1.35rem 1.35rem 1rem}.repo-title{color:var(--text-primary);letter-spacing:-.01em;align-items:center;gap:.55rem;margin:0 0 .4rem;font-size:1rem;font-weight:800;display:flex}.repo-title:before{content:"";background:var(--accent);border-radius:.2rem;flex-shrink:0;width:.65rem;height:.65rem;display:inline-block;box-shadow:0 0 18px #1e90ffa6}.repo-description{color:var(--text-muted);text-wrap:pretty;margin:0 0 1rem;font-size:.82rem;line-height:1.55}.search-label{color:var(--accent-hover);letter-spacing:.12em;text-transform:uppercase;margin-bottom:.35rem;font-family:Fira Code,JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:700;display:block}.search-box{border:1px solid var(--border);width:100%;min-height:42px;color:var(--text-primary);transition:border-color .16s var(--ease-out), box-shadow .16s var(--ease-out), background .16s var(--ease-out);background:#091426eb;border-radius:.75rem;outline:none;padding:.7rem .85rem;font-family:Fira Code,JetBrains Mono,ui-monospace,monospace;font-size:.88rem}.search-box:focus{border-color:var(--accent-hover);box-shadow:0 0 0 3px #00d4ff1f}.search-box::placeholder{color:var(--text-dim)}.search-hint{color:var(--text-dim);margin-top:.45rem;font-size:.74rem}kbd{min-width:1.4rem;color:var(--text-primary);background:#0a1628cc;border:1px solid #1e90ff42;border-radius:.3rem;justify-content:center;padding:.08rem .32rem;font-family:Fira Code,ui-monospace,monospace;display:inline-flex}.sidebar-nav-container{flex:1;padding:.75rem 1rem 1.5rem;overflow-y:auto}.sidebar-nav-container ul{margin:0;padding:0;list-style:none}.sidebar-nav-container li{margin-bottom:.18rem}.sidebar-category{text-transform:uppercase;letter-spacing:.12em;color:var(--text-dim);padding:.95rem .75rem .35rem;font-size:.68rem;font-weight:800}.nav-item{min-height:44px;color:var(--text-muted);transition:color .16s var(--ease-out), background .16s var(--ease-out), border-color .16s var(--ease-out), transform .16s var(--ease-out);border:1px solid #0000;border-radius:.65rem;justify-content:space-between;align-items:flex-start;gap:.75rem;padding:.6rem .75rem;font-size:.9rem;text-decoration:none;display:flex}.nav-item small{color:var(--text-dim);text-align:right;max-width:7.5rem;font-family:Fira Code,ui-monospace,monospace;font-size:.62rem;line-height:1.3}.nav-item:hover{color:var(--text-primary);background:#1e90ff12;text-decoration:none}.nav-item.active,.nav-item[aria-current=true],.nav-item[aria-current=page]{color:var(--accent-hover);background:#00d4ff17;border-color:#00d4ff42;font-weight:700}.nav-item.active small,.nav-item[aria-current=true] small,.nav-item[aria-current=page] small{color:var(--accent-hover)}.sidebar-footer{border-top:1px solid var(--border);color:var(--text-muted);padding:1rem 1.35rem;font-size:.76rem}.sidebar-footer a{color:var(--text-muted);min-height:30px;margin-bottom:.5rem;text-decoration:none;display:block}.sidebar-footer a:hover{color:var(--accent-hover);text-decoration:none}.content-wrapper{margin-left:var(--sidebar-width);grid-template-columns:minmax(0, 980px) var(--toc-width);width:calc(100% - var(--sidebar-width));flex:1;justify-content:center;gap:clamp(1.25rem,3vw,2.5rem);padding:clamp(2rem,5vw,4rem) clamp(1.4rem,4vw,3rem);display:grid}.content{background:#0a162894;border:1px solid #1e90ff24;border-radius:1.3rem;width:100%;min-width:0;padding:clamp(1.4rem,3vw,2.4rem);box-shadow:0 24px 80px #0000002e}.local-toc{display:block}.local-toc-inner{background:#0d213794;border:1px solid #1e90ff29;border-radius:1rem;max-height:calc(100vh - 3rem);padding:1rem;position:sticky;top:1.5rem;overflow:auto}.local-toc h2{color:var(--accent-hover);letter-spacing:.12em;text-transform:uppercase;border:0;margin:0 0 .75rem;padding:0;font-family:Fira Code,JetBrains Mono,ui-monospace,monospace;font-size:.72rem}.local-toc ol{gap:.18rem;margin:0;padding:0;list-style:none;display:grid}.local-toc li{margin:0;font-size:.8rem;line-height:1.35}.local-toc li.toc-major{margin-top:.35rem;font-weight:800}.local-toc li.toc-nested{padding-left:.9rem;font-size:.76rem}.local-toc a{color:var(--text-muted);border-radius:.45rem;padding:.35rem .45rem;text-decoration:none;display:block}.local-toc a:hover,.local-toc a.active{color:var(--accent-hover);background:#00d4ff14;text-decoration:none}.docs-overview{background:linear-gradient(135deg,#00d4ff14,#0000 38%),linear-gradient(#0d2137b8,#0914269e);border:1px solid #00d4ff2e;border-radius:1.1rem;margin-bottom:clamp(2.5rem,5vw,4rem);padding:clamp(1.25rem,3vw,2rem)}.eyebrow{color:var(--accent-hover);letter-spacing:.14em;text-transform:uppercase;margin:0 0 .7rem;font-family:Fira Code,ui-monospace,monospace;font-size:.72rem;font-weight:800}.overview-copy{max-width:760px}.proof-console{grid-template-columns:repeat(4,minmax(0,1fr));gap:.75rem;margin:1.5rem 0;display:grid}.proof-console div{background:#091426b8;border:1px solid #1e90ff2e;border-radius:.8rem;padding:.85rem}.proof-console span,.section-card span{color:var(--text-dim);letter-spacing:.11em;text-transform:uppercase;font-family:Fira Code,ui-monospace,monospace;font-size:.68rem;font-weight:800;display:block}.proof-console strong{color:var(--text-primary);margin-top:.35rem;font-size:.98rem;display:block}.section-card-grid{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.85rem;display:grid}.section-card{min-height:150px;transition:transform .16s var(--ease-out), border-color .16s var(--ease-out), background .16s var(--ease-out);background:#0a1628b3;border:1px solid #1e90ff29;border-radius:.9rem;padding:1rem;text-decoration:none;display:block}.section-card:hover{background:#0d2137e6;border-color:#00d4ff61;text-decoration:none;transform:translateY(-2px)}.section-card strong{color:var(--text-primary);margin-top:.45rem;font-size:1.08rem;display:block}.section-card p{color:var(--text-body);margin:.6rem 0 0;font-size:.9rem;line-height:1.55}h1{letter-spacing:-.055em;color:var(--text-primary);text-wrap:balance;margin:0 0 1rem;font-size:clamp(2rem,5vw,3.55rem);font-weight:800;line-height:1}h2{letter-spacing:-.035em;color:var(--text-primary);text-wrap:balance;border-bottom:1px solid #1e90ff38;margin:3.5rem 0 1rem;padding-bottom:.55rem;scroll-margin-top:90px;font-size:clamp(1.45rem,3vw,2.1rem);font-weight:750}h3{color:var(--text-primary);margin:2rem 0 .75rem;scroll-margin-top:90px;font-size:1.1rem;font-weight:700}p{color:var(--text-body);text-wrap:pretty;margin:0 0 1rem;font-size:1.02rem;line-height:1.78}strong{color:var(--text-primary);font-weight:800}a{color:var(--accent-hover);text-decoration:none}a:hover{text-decoration:underline}.code-shell{border:1px solid var(--code-border);background:var(--code-bg);border-radius:.95rem;margin:1.5rem 0;position:relative;overflow:hidden}.code-language{z-index:1;color:var(--text-dim);letter-spacing:.1em;text-transform:uppercase;font-family:Fira Code,ui-monospace,monospace;font-size:.68rem;font-weight:700;position:absolute;top:.55rem;left:.75rem}.copy-code{z-index:2;min-height:32px;color:var(--accent-hover);cursor:pointer;background:#0d2137eb;border:1px solid #00d4ff38;border-radius:.5rem;padding:.35rem .65rem;font-family:Fira Code,ui-monospace,monospace;font-size:.72rem;font-weight:700;position:absolute;top:.45rem;right:.55rem}.copy-code:hover,.copy-code.copied{background:#00d4ff1f}pre:not(.astro-code),pre.astro-code{border:0;border-radius:0;margin:0;padding:3rem 1.25rem 1.2rem;overflow-x:auto;background:var(--code-bg)!important}pre:not(.astro-code)>code,pre.astro-code>code{color:inherit;background:0 0;border-radius:0;padding:0;font-size:.88rem;line-height:1.65}:not(pre)>code{color:var(--code-text);background:#091426d9;border:1px solid #1e90ff1f;border-radius:.35rem;padding:.12rem .38rem;font-family:Fira Code,ui-monospace,monospace;font-size:.86em}table{border-collapse:collapse;border:1px solid var(--border);border-radius:.85rem;width:100%;margin:1.5rem 0;font-size:.93rem;overflow:hidden}th,td{text-align:left;padding:.7rem 1rem}th{background:var(--sidebar-bg);color:var(--text-primary);border-bottom:1px solid var(--border);font-weight:700}td{border-bottom:1px solid var(--border);color:var(--text-body)}tr:nth-child(2n){background:#1e90ff09}tr:last-child td{border-bottom:none}blockquote{background:var(--panel-bg);box-shadow:inset 3px 0 0 var(--accent-hover);color:var(--text-muted);border:1px solid #1e90ff29;border-radius:.85rem;margin:1.5rem 0;padding:1rem 1.25rem}blockquote p{margin:0}hr{border:none;border-top:1px solid var(--border);margin:2.5rem 0}ul,ol{margin:1rem 0;padding-left:1.5rem}li{color:var(--text-body);margin-bottom:.5rem;font-size:1rem;line-height:1.65}section.doc-section{scroll-margin-top:90px}section.doc-section+section.doc-section{margin-top:clamp(4rem,8vw,6rem)}section.doc-section.hidden-section{display:none}.mobile-header{backdrop-filter:blur(14px);border-bottom:1px solid var(--border);padding:max(.9rem, env(safe-area-inset-top)) 1rem .9rem;z-index:90;background:#0a1628f0;align-items:center;gap:1rem;display:none;position:sticky;top:0}.menu-toggle{border:1px solid var(--border);width:44px;height:44px;color:var(--text-primary);cursor:pointer;background:#0d2137db;border-radius:.75rem;flex-direction:column;justify-content:center;align-items:center;gap:4px;padding:0;display:inline-flex}.menu-toggle span{background:currentColor;border-radius:2px;width:20px;height:2px;display:block}.overlay{backdrop-filter:blur(3px);z-index:95;background:#0a1628ad;display:none;position:fixed;inset:0}@media (width<=1280px){.content-wrapper{grid-template-columns:minmax(0,980px)}.local-toc{display:none}}@media (width<=900px){.proof-console{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (width<=768px){body{display:block}.sidebar{width:min(86vw, var(--sidebar-width));transform:translate(-100%)}.sidebar.open{transform:translate(0)}.content-wrapper{width:100%;margin-left:0;padding:1rem;display:block}.content{border-radius:1rem;padding:1.2rem}.mobile-header{display:flex}.overlay.open{display:block}h1{font-size:clamp(1.9rem,11vw,2.65rem)}.proof-console{grid-template-columns:1fr}.section-card{min-height:auto}table{white-space:nowrap;display:block;overflow-x:auto}}