header[data-astro-cid-3ef6ksr2]{position:sticky;top:0;z-index:100;background:#111112e6;backdrop-filter:blur(12px);-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--border)}nav[data-astro-cid-3ef6ksr2]{max-width:740px;margin:0 auto;padding:0 1.5rem;display:flex;align-items:center;height:58px;gap:2rem}.brand[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;gap:.6rem;text-decoration:none;margin-right:auto}.brand-aq[data-astro-cid-3ef6ksr2]{font-family:var(--font-mono);font-size:.75rem;font-weight:500;letter-spacing:.1em;color:#ff0;background:#ffff0014;border:1px solid rgba(255,255,0,.3);padding:.2em .5em;border-radius:2px}.brand-name[data-astro-cid-3ef6ksr2]{font-family:var(--font-display);font-weight:500;font-size:1.1rem;color:var(--text);letter-spacing:.01em}.brand[data-astro-cid-3ef6ksr2]:hover .brand-name[data-astro-cid-3ef6ksr2]{color:var(--accent)}ul[data-astro-cid-3ef6ksr2]{list-style:none;margin:0;padding:0;display:flex;gap:.25rem}.nav-link[data-astro-cid-3ef6ksr2]{font-family:var(--font-mono);font-size:.78rem;letter-spacing:.05em;text-decoration:none;color:var(--text-muted);padding:.4em .75em;border-radius:3px;transition:color .15s,background .15s}.nav-link[data-astro-cid-3ef6ksr2]:hover,.nav-link[data-astro-cid-3ef6ksr2].active{color:var(--text);background:var(--surface);text-decoration:none}.nav-link[data-astro-cid-3ef6ksr2].active{color:var(--accent)}footer[data-astro-cid-sz7xmlte]{background:var(--bg-outer);border-top:1px solid var(--border);padding:4rem 1.5rem 1.5rem}.inner[data-astro-cid-sz7xmlte]{max-width:740px;margin:0 auto;display:flex;justify-content:space-between;color:var(--text-muted);font-size:.85rem}.footer-links[data-astro-cid-sz7xmlte]{display:flex;align-items:center;gap:.5rem}.sep[data-astro-cid-sz7xmlte]{color:var(--border-light)}a[data-astro-cid-sz7xmlte]{color:var(--text-muted);text-decoration:none}a[data-astro-cid-sz7xmlte]:hover{color:var(--text)}:root{--bg: #09090d;--bg-outer: #111112;--surface: #12151f;--border: #1d2235;--border-light: #282e48;--text: #dce1ed;--text-muted: #4e5872;--text-soft: #8590aa;--accent: #87cefa;--accent-dim: rgba(135,206,250,.12);--link: #87cefa;--font-serif: "Source Serif 4", Georgia, serif;--font-display: "Cormorant", Georgia, serif;--font-mono: "JetBrains Mono", "Fira Code", monospace}*,*:before,*:after{box-sizing:border-box}html{font-size:18px;-webkit-font-smoothing:antialiased}body{margin:0;font-family:var(--font-serif);font-weight:300;color:var(--text);line-height:1.75;background-color:var(--bg-outer);background-image:linear-gradient(to right,var(--bg-outer) 0,var(--bg-outer) calc(50% - 400px),var(--bg) calc(50% - 400px),var(--bg) calc(50% + 400px),var(--bg-outer) calc(50% + 400px),var(--bg-outer) 100%)}a{color:var(--link);text-decoration:none}a:hover{text-decoration:underline;text-decoration-color:var(--accent)}img{max-width:100%;height:auto}.prose{max-width:700px;font-size:1.05rem}.prose p{margin:0 0 1.4em}.prose h2{font-family:var(--font-display);font-weight:600;font-size:1.85rem;letter-spacing:-.01em;color:var(--text);margin:2.8em 0 .6em;padding-top:.4em;border-top:1px solid var(--border)}.prose h3{font-family:var(--font-display);font-weight:600;font-size:1.35rem;color:var(--text);margin:2em 0 .5em}.prose strong{font-weight:500;color:var(--text)}.prose em{font-style:italic}.prose a{color:var(--link)}.prose a:hover{color:var(--accent)}.prose .problem{font-family:var(--font-serif);font-size:1.1rem;font-weight:400;color:var(--text);background:var(--surface);border-left:3px solid var(--accent);border-radius:0 4px 4px 0;padding:1.25rem 1.5rem;margin:0 0 2em;line-height:1.75}.prose .problem:before{content:"Problem Statement";display:block;font-family:var(--font-mono);font-size:.7rem;letter-spacing:.1em;text-transform:uppercase;color:var(--accent);margin-bottom:.6em}.prose blockquote{margin:2em 0;padding:1rem 1.5rem;background:var(--surface);border-left:3px solid var(--accent);border-radius:0 4px 4px 0;color:var(--text-soft);font-style:italic;font-size:1.05rem}.prose blockquote p{margin:0}.prose code{font-family:var(--font-mono);font-size:.82em;background:var(--surface);border:1px solid var(--border);padding:.15em .45em;border-radius:3px;color:#b4c6e0}.prose pre{background:var(--surface);border:1px solid var(--border);border-radius:6px;padding:1.25rem 1.5rem;overflow-x:auto;margin:1.75em 0}.prose pre code{background:none;border:none;padding:0;font-size:.875rem;color:var(--text-soft)}.prose table{width:100%;border-collapse:collapse;margin:1.75em 0;font-size:.92rem}.prose th{font-family:var(--font-mono);font-size:.78rem;text-transform:uppercase;letter-spacing:.08em;color:var(--text-muted);border-bottom:1px solid var(--border-light);padding:.6em 1em;text-align:left;font-weight:500}.prose td{padding:.65em 1em;border-bottom:1px solid var(--border);color:var(--text-soft)}.prose tr:last-child td{border-bottom:none}.prose td:first-child,.prose th:first-child{padding-left:0}.prose .katex-display{overflow-x:auto;padding:.5em 0;margin:1.5em 0}.prose .katex{font-size:1.05em}.prose img{border-radius:6px;margin:1.5em 0;border:1px solid var(--border)}.prose hr{border:none;border-top:1px solid var(--border);margin:2.5em 0}.prose ul,.prose ol{padding-left:1.5em;margin:0 0 1.4em}.prose li{margin-bottom:.4em}