:root{color-scheme:dark;--bg: #0a1628;--sidebar-bg: #0d2137;--panel-bg: rgba(13, 33, 55, .86);--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{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!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{margin:0;padding:0;min-height:100vh;background:radial-gradient(circle at 18% 12%,rgba(81,43,212,.12),transparent 34%),linear-gradient(rgba(26,54,93,.22) 1px,transparent 1px),linear-gradient(90deg,rgba(26,54,93,.22) 1px,transparent 1px),var(--bg);background-size:auto,32px 32px,32px 32px,auto;color:var(--text-primary);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{position:fixed;top:0;left:0;width:var(--sidebar-width);height:100vh;background:linear-gradient(180deg,#0d2137fa,#0a1628fa);display:flex;flex-direction:column;border-right:1px solid var(--border);z-index:100;transition:transform .28s var(--ease-out);box-shadow:16px 0 50px #0000002e}.sidebar-header{padding:1.35rem 1.35rem 1rem;border-bottom:1px solid rgba(30,144,255,.12)}.repo-title{font-size:1rem;font-weight:800;margin:0 0 .4rem;color:var(--text-primary);letter-spacing:-.01em;display:flex;align-items:center;gap:.55rem}.repo-title:before{content:"";display:inline-block;width:.65rem;height:.65rem;background:var(--accent);border-radius:.2rem;flex-shrink:0;box-shadow:0 0 18px #1e90ffa6}.repo-description{font-size:.82rem;color:var(--text-muted);margin:0 0 1rem;line-height:1.55;text-wrap:pretty}.search-label{display:block;margin-bottom:.35rem;color:var(--accent-hover);font-family:Fira Code,JetBrains Mono,ui-monospace,monospace;font-size:.68rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.search-box{width:100%;min-height:42px;background:#091426eb;border:1px solid var(--border);color:var(--text-primary);border-radius:.75rem;padding:.7rem .85rem;font-size:.88rem;outline:none;transition:border-color .16s var(--ease-out),box-shadow .16s var(--ease-out),background .16s var(--ease-out);font-family:Fira Code,JetBrains Mono,ui-monospace,monospace}.search-box:focus{border-color:var(--accent-hover);box-shadow:0 0 0 3px #00d4ff1f}.search-box::placeholder{color:var(--text-dim)}.search-hint{margin-top:.45rem;color:var(--text-dim);font-size:.74rem}kbd{display:inline-flex;min-width:1.4rem;justify-content:center;padding:.08rem .32rem;border:1px solid rgba(30,144,255,.26);border-radius:.3rem;background:#0a1628cc;color:var(--text-primary);font-family:Fira Code,ui-monospace,monospace}.sidebar-nav-container{flex:1;overflow-y:auto;padding:.75rem 1rem 1.5rem}.sidebar-nav-container ul{list-style:none;padding:0;margin:0}.sidebar-nav-container li{margin-bottom:.18rem}.sidebar-category{font-size:.68rem;font-weight:800;text-transform:uppercase;letter-spacing:.12em;color:var(--text-dim);padding:.95rem .75rem .35rem}.nav-item{display:flex;align-items:flex-start;justify-content:space-between;gap:.75rem;min-height:44px;padding:.6rem .75rem;color:var(--text-muted);text-decoration:none;font-size:.9rem;border:1px solid transparent;border-radius:.65rem;transition:color .16s var(--ease-out),background .16s var(--ease-out),border-color .16s var(--ease-out),transform .16s var(--ease-out)}.nav-item small{color:var(--text-dim);font-family:Fira Code,ui-monospace,monospace;font-size:.62rem;line-height:1.3;text-align:right;max-width:7.5rem}.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{padding:1rem 1.35rem;border-top:1px solid var(--border);font-size:.76rem;color:var(--text-muted)}.sidebar-footer a{color:var(--text-muted);text-decoration:none;display:block;margin-bottom:.5rem;min-height:30px}.sidebar-footer a:hover{color:var(--accent-hover);text-decoration:none}.content-wrapper{margin-left:var(--sidebar-width);flex:1;display:grid;grid-template-columns:minmax(0,980px) var(--toc-width);gap:clamp(1.25rem,3vw,2.5rem);width:calc(100% - var(--sidebar-width));padding:clamp(2rem,5vw,4rem) clamp(1.4rem,4vw,3rem);justify-content:center}.content{width:100%;min-width:0;padding:clamp(1.4rem,3vw,2.4rem);border:1px solid rgba(30,144,255,.14);border-radius:1.3rem;background:#0a162894;box-shadow:0 24px 80px #0000002e}.local-toc{display:block}.local-toc-inner{position:sticky;top:1.5rem;max-height:calc(100vh - 3rem);overflow:auto;padding:1rem;border:1px solid rgba(30,144,255,.16);border-radius:1rem;background:#0d213794}.local-toc h2{margin:0 0 .75rem;padding:0;border:0;color:var(--accent-hover);font-family:Fira Code,JetBrains Mono,ui-monospace,monospace;font-size:.72rem;letter-spacing:.12em;text-transform:uppercase}.local-toc ol{list-style:none;padding:0;margin:0;display:grid;gap:.18rem}.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{display:block;padding:.35rem .45rem;border-radius:.45rem;color:var(--text-muted);text-decoration:none}.local-toc a:hover,.local-toc a.active{color:var(--accent-hover);background:#00d4ff14;text-decoration:none}.docs-overview{padding:clamp(1.25rem,3vw,2rem);margin-bottom:clamp(2.5rem,5vw,4rem);border:1px solid rgba(0,212,255,.18);border-radius:1.1rem;background:linear-gradient(135deg,rgba(0,212,255,.08),transparent 38%),linear-gradient(180deg,#0d2137b8,#0914269e)}.eyebrow{margin:0 0 .7rem;color:var(--accent-hover);font-family:Fira Code,ui-monospace,monospace;font-size:.72rem;font-weight:800;letter-spacing:.14em;text-transform:uppercase}.overview-copy{max-width:760px}.proof-console{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:.75rem;margin:1.5rem 0}.proof-console div{padding:.85rem;border:1px solid rgba(30,144,255,.18);border-radius:.8rem;background:#091426b8}.proof-console span,.section-card span{display:block;color:var(--text-dim);font-family:Fira Code,ui-monospace,monospace;font-size:.68rem;font-weight:800;letter-spacing:.11em;text-transform:uppercase}.proof-console strong{display:block;margin-top:.35rem;color:var(--text-primary);font-size:.98rem}.section-card-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.85rem}.section-card{display:block;min-height:150px;padding:1rem;border:1px solid rgba(30,144,255,.16);border-radius:.9rem;background:#0a1628b3;text-decoration:none;transition:transform .16s var(--ease-out),border-color .16s var(--ease-out),background .16s var(--ease-out)}.section-card:hover{transform:translateY(-2px);border-color:#00d4ff61;background:#0d2137e6;text-decoration:none}.section-card strong{display:block;margin-top:.45rem;color:var(--text-primary);font-size:1.08rem}.section-card p{margin:.6rem 0 0;font-size:.9rem;line-height:1.55;color:var(--text-body)}h1{font-size:clamp(2rem,5vw,3.55rem);font-weight:800;letter-spacing:-.055em;line-height:1;margin:0 0 1rem;color:var(--text-primary);text-wrap:balance}h2{font-size:clamp(1.45rem,3vw,2.1rem);font-weight:750;letter-spacing:-.035em;margin:3.5rem 0 1rem;padding-bottom:.55rem;border-bottom:1px solid rgba(30,144,255,.22);color:var(--text-primary);scroll-margin-top:90px;text-wrap:balance}h3{font-size:1.1rem;font-weight:700;margin:2rem 0 .75rem;color:var(--text-primary);scroll-margin-top:90px}p{font-size:1.02rem;line-height:1.78;color:var(--text-body);margin:0 0 1rem;text-wrap:pretty}strong{color:var(--text-primary);font-weight:800}a{color:var(--accent-hover);text-decoration:none}a:hover{text-decoration:underline}.code-shell{position:relative;margin:1.5rem 0;border:1px solid var(--code-border);border-radius:.95rem;background:var(--code-bg);overflow:hidden}.code-language{position:absolute;top:.55rem;left:.75rem;z-index:1;color:var(--text-dim);font-family:Fira Code,ui-monospace,monospace;font-size:.68rem;font-weight:700;letter-spacing:.1em;text-transform:uppercase}.copy-code{position:absolute;top:.45rem;right:.55rem;z-index:2;min-height:32px;padding:.35rem .65rem;border:1px solid rgba(0,212,255,.22);border-radius:.5rem;background:#0d2137eb;color:var(--accent-hover);cursor:pointer;font-family:Fira Code,ui-monospace,monospace;font-size:.72rem;font-weight:700}.copy-code:hover,.copy-code.copied{background:#00d4ff1f}pre:not(.astro-code),pre.astro-code{background:var(--code-bg)!important;border:0;border-radius:0;padding:3rem 1.25rem 1.2rem;overflow-x:auto;margin:0}pre:not(.astro-code)>code,pre.astro-code>code{background:transparent;padding:0;border-radius:0;color:inherit;font-size:.88rem;line-height:1.65}:not(pre)>code{background:#091426d9;color:var(--code-text);border:1px solid rgba(30,144,255,.12);border-radius:.35rem;padding:.12rem .38rem;font-size:.86em;font-family:Fira Code,ui-monospace,monospace}table{width:100%;border-collapse:collapse;border-radius:.85rem;overflow:hidden;margin:1.5rem 0;font-size:.93rem;border:1px solid var(--border)}th,td{padding:.7rem 1rem;text-align:left}th{background:var(--sidebar-bg);color:var(--text-primary);font-weight:700;border-bottom:1px solid var(--border)}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{margin:1.5rem 0;padding:1rem 1.25rem;background:var(--panel-bg);border:1px solid rgba(30,144,255,.16);box-shadow:inset 3px 0 0 var(--accent-hover);border-radius:.85rem;color:var(--text-muted)}blockquote p{margin:0}hr{border:none;border-top:1px solid var(--border);margin:2.5rem 0}ul,ol{padding-left:1.5rem;margin:1rem 0}li{margin-bottom:.5rem;color:var(--text-body);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{display:none;position:sticky;top:0;background:#0a1628f0;backdrop-filter:blur(14px);border-bottom:1px solid var(--border);padding:max(.9rem,env(safe-area-inset-top)) 1rem .9rem;z-index:90;align-items:center;gap:1rem}.menu-toggle{width:44px;height:44px;background:#0d2137db;border:1px solid var(--border);border-radius:.75rem;color:var(--text-primary);cursor:pointer;padding:0;display:inline-flex;align-items:center;justify-content:center;flex-direction:column;gap:4px}.menu-toggle span{display:block;width:20px;height:2px;background:currentcolor;border-radius:2px}.overlay{display:none;position:fixed;inset:0;background:#0a1628ad;backdrop-filter:blur(3px);z-index:95}@media(max-width:1280px){.content-wrapper{grid-template-columns:minmax(0,980px)}.local-toc{display:none}}@media(max-width:900px){.proof-console{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:768px){body{display:block}.sidebar{transform:translate(-100%);width:min(86vw,var(--sidebar-width))}.sidebar.open{transform:translate(0)}.content-wrapper{margin-left:0;width:100%;display:block;padding:1rem}.content{padding:1.2rem;border-radius:1rem}.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{display:block;overflow-x:auto;white-space:nowrap}}