:root{--bg:#0d1117;--bg-sidebar:#161b22;--fg:#c9d1d9;--fg-muted:#8b949e;--accent:#58a6ff;--accent-hover:#79b8ff;--border:#30363d;--code-bg:#1f2428;--success:#3fb950}*{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;line-height:1.6}body{background:var(--bg);color:var(--fg);grid-template-columns:260px 1fr;min-height:100vh;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Helvetica,Arial,sans-serif;display:grid}.sidebar{background:var(--bg-sidebar);border-right:1px solid var(--border);flex-direction:column;height:100vh;padding:2rem 1.5rem;display:flex;position:sticky;top:0;overflow-y:auto}.sidebar header{margin-bottom:2rem}.sidebar .logo{color:var(--accent);align-items:center;gap:.5rem;font-size:1.5rem;font-weight:700;text-decoration:none;display:flex}.sidebar .logo-img{width:32px;height:32px}.sidebar .tagline{color:var(--fg-muted);margin-top:.25rem;font-size:.875rem;display:block}.sidebar nav{flex-direction:column;gap:.25rem;display:flex}.sidebar nav a{color:var(--fg);border-radius:6px;padding:.5rem .75rem;text-decoration:none;transition:background .15s,color .15s}.sidebar nav a:hover{background:var(--border)}.sidebar nav a.active{background:var(--accent);color:var(--bg)}.sidebar-footer{border-top:1px solid var(--border);color:var(--fg-muted);flex-direction:column;gap:.25rem;margin-top:auto;padding-top:1rem;font-size:.75rem;display:flex}.sidebar-footer a{color:var(--fg-muted)}.sidebar-footer a:hover{color:var(--accent)}main{max-width:900px;padding:3rem 4rem}h1{color:var(--fg);margin-bottom:1rem;font-size:2.25rem}h2{border-bottom:1px solid var(--border);margin:2rem 0 1rem;padding-bottom:.5rem;font-size:1.5rem}h3{margin:1.5rem 0 .75rem;font-size:1.25rem}p{margin-bottom:1rem}.lead{color:var(--fg-muted);margin-bottom:2rem;font-size:1.125rem}a{color:var(--accent)}a:hover{color:var(--accent-hover)}.katex-display{margin:1rem 0;overflow-x:auto}.hide-tail svg{max-width:100%!important}code{background:var(--code-bg);border-radius:4px;padding:.2em .4em;font-family:ui-monospace,Cascadia Code,Source Code Pro,Menlo,monospace;font-size:.875em}pre{background:var(--code-bg);border:1px solid var(--border);border-radius:8px;margin:1rem 0;padding:1rem;overflow-x:auto}pre code{background:0 0;padding:0}.hl-keyword{color:#ff79c6}.hl-string,.hl-string-special{color:#f1fa8c}.hl-string-escape{color:#ffb86c}.hl-string-special-path,.hl-string-special-uri{color:#8be9fd;text-decoration:underline}.hl-function,.hl-function-builtin{color:#50fa7b}.hl-comment{color:#6272a4;font-style:italic}.hl-number,.hl-constant,.hl-constant-builtin{color:#bd93f9}.hl-operator{color:#ff79c6}.hl-punctuation,.hl-punctuation-bracket,.hl-punctuation-delimiter{color:var(--fg-muted)}.hl-punctuation-special{color:#ff79c6}.hl-type,.hl-type-builtin{color:#8be9fd}.hl-variable{color:var(--fg)}.hl-variable-builtin{color:#ffb86c}.hl-variable-parameter{color:#ffb86c;font-style:italic}.hl-property,.hl-attribute{color:#8be9fd}.hl-constructor{color:#50fa7b}.hl-tag{color:#ff79c6}.hl-embedded,.hl-escape{color:#ffb86c}.hl-text-title{color:#ff79c6;font-weight:700}.hl-text-literal{color:#8be9fd}.hl-text-uri{color:#8be9fd;text-decoration:underline}.hl-text-reference{color:#bd93f9}.section-nav{flex-direction:column;gap:.75rem;margin-top:1.5rem;display:flex}.section-link{background:var(--bg-sidebar);border:1px solid var(--border);border-radius:8px;padding:1rem;text-decoration:none;transition:border-color .15s;display:block}.section-link:hover{border-color:var(--accent)}.section-link strong{color:var(--fg);margin-bottom:.25rem;display:block}.section-link span{color:var(--fg-muted);font-size:.875rem}ul,ol{margin:1rem 0;padding-left:1.5rem}li{margin-bottom:.5rem}table{border-collapse:collapse;width:100%;margin:1rem 0}th,td{text-align:left;border:1px solid var(--border);padding:.75rem}th{background:var(--bg-sidebar)}@media (width<=768px){body{grid-template-columns:1fr}.sidebar{border-right:none;border-bottom:1px solid var(--border);height:auto;position:static}main{padding:2rem 1.5rem}}