:root{color-scheme:dark;--bg:#090d10;--ink:#e7ece8;--muted:#939e9e;--accent:#c1ff64;--line:#293034;background:var(--bg);color:var(--ink);font-family:Arial,Helvetica,sans-serif}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0}a{color:inherit;text-decoration:none}a:focus-visible,summary:focus-visible,.math-display:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.skip{position:fixed;z-index:3;top:8px;left:8px;padding:12px;background:var(--accent);color:var(--bg);transform:translateY(-160%)}.skip:focus{transform:none}
.site-header,main,footer{max-width:1230px;margin:auto;padding-left:40px;padding-right:40px}.site-header{height:112px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}.brand{font-size:28px;font-weight:600;letter-spacing:-1.5px}.brand span{color:var(--accent)}.site-header>span,.eyebrow,.contents,footer,figcaption{font-family:'Courier New',monospace}.site-header>span,.eyebrow{font-size:10px;letter-spacing:1.5px;color:var(--muted)}
.post-heading{padding:72px 0 52px;margin-left:225px}.eyebrow{margin:0 0 25px}h1{font-size:clamp(42px,4.8vw,65px);font-weight:400;letter-spacing:-.055em;line-height:1.08;margin:0}h1 span{color:var(--accent)}.post-layout{display:grid;grid-template-columns:185px minmax(0,1fr);gap:40px;align-items:start}.contents{position:sticky;top:36px;font-size:11px;line-height:1.6;padding-top:6px}.contents summary{font-size:10px;letter-spacing:1.4px;cursor:pointer;color:var(--muted);padding-bottom:20px}.contents ol{list-style:none;margin:0;padding:0}.contents li{margin:0 0 17px}.contents a{display:flex;gap:12px;color:#aeb7b4}.contents a:hover,.contents a:focus-visible{color:var(--accent)}.contents a span{color:#65736c;font-size:10px;padding-top:1px}.cover{margin:0 0 52px}.cover img{display:block;width:100%;height:auto;max-height:470px;object-fit:contain;background:#101718}.cover figcaption{font-size:10px;line-height:1.6;color:var(--muted);margin-top:12px;text-align:right}.cover a:hover{color:var(--accent)}
.post-content{font-family:Georgia,'Times New Roman',serif;font-size:19px;line-height:1.8;overflow-wrap:break-word}.post-content p{margin:0 0 24px}.post-content a{color:var(--accent);text-decoration:underline;text-decoration-color:#6f8c46;text-underline-offset:4px}.post-content a:hover{text-decoration-color:var(--accent)}.post-content u{text-underline-offset:4px;text-decoration-color:#7f8f83}.post-content h2{font-family:Arial,Helvetica,sans-serif;font-weight:400;font-size:31px;line-height:1.3;letter-spacing:-.035em;margin:72px 0 28px;padding-top:24px;border-top:1px solid var(--line);scroll-margin-top:28px}.post-content blockquote{margin:32px 0;padding:20px 25px;border-left:2px solid #779a47;background:#111919;color:#cbd4cc;font-size:.93em}.post-content blockquote p:last-child{margin-bottom:0}.post-content>blockquote:first-child{margin-top:0}.post-content>blockquote:first-child>p:first-child>strong{font-family:'Courier New',monospace;font-size:11px;letter-spacing:2px;color:var(--accent)}.post-content img{display:block;max-width:100%;height:auto;margin:32px auto;background:white;border:12px solid white;border-radius:2px;box-sizing:content-box;max-width:calc(100% - 24px)}.post-content .small{font-size:.85em;color:#aeb9b2}.post-content .katex{font-size:1.08em;overflow-wrap:normal}.math-display{max-width:100%;overflow-x:auto;overflow-y:hidden;margin:28px 0 32px;padding:8px 3px;overscroll-behavior-x:contain}.math-display .katex-display{margin:0;text-align:left}.math-display .katex-display>.katex{display:block;text-align:left;min-width:max-content}.post-content hr{border:0;border-top:1px solid var(--line);margin:45px 0}footer{border-top:1px solid var(--line);display:flex;justify-content:space-between;margin-top:80px;padding-top:30px;padding-bottom:40px;color:var(--muted);font-size:11px;letter-spacing:1px}footer a:hover{color:var(--accent)}
@media(max-width:900px){.site-header,main,footer{padding-left:26px;padding-right:26px}.post-heading{margin-left:0;padding-top:52px}.post-layout{display:block}.contents{position:static;padding:0 0 30px;border-bottom:1px solid var(--line);margin-bottom:35px}.contents ol{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px 20px}.contents li{margin:0}.cover{margin-bottom:40px}.post-content{font-size:18px}.post-content h2{font-size:28px;margin-top:58px}}@media(max-width:540px){.site-header{height:86px}.site-header,main,footer{padding-left:22px;padding-right:22px}.site-header>span{font-size:8px;letter-spacing:1px}.brand{font-size:25px}.post-heading{padding:44px 0 36px}h1{font-size:40px}.contents ol{grid-template-columns:repeat(2,minmax(0,1fr));gap:13px 15px}.contents{font-size:10px}.contents a{gap:7px}.cover figcaption{font-size:9px}.post-content{font-size:17px;line-height:1.8}.post-content h2{font-size:26px}.post-content blockquote{padding:15px 16px}.post-content img{border-width:7px;max-width:calc(100% - 14px)}.post-content .katex{font-size:1em}footer{margin-top:55px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
.math-display{display:block}.post-content h3{font-family:Arial,Helvetica,sans-serif;font-size:24px;font-weight:400;line-height:1.35;letter-spacing:-.02em;margin:28px 0 18px}.post-content pre{max-width:100%;overflow:auto;padding:18px;background:#0a1012;border:1px solid var(--line);font:13px/1.7 'Courier New',monospace;white-space:pre;overscroll-behavior-x:contain}.post-content code{font-family:'Courier New',monospace}.post-content li{margin-bottom:8px}.post-content ul,.post-content ol{padding-left:26px}