@font-face{font-family:'Latin Modern Roman';src:url('/static/fonts/lmroman10-regular.otf') format('opentype');font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:'Latin Modern Roman';src:url('/static/fonts/lmroman12-regular.otf') format('opentype');font-weight:500;font-style:normal;font-display:swap}@font-face{font-family:'Latin Modern Roman';src:url('/static/fonts/lmroman17-regular.otf') format('opentype');font-weight:700;font-style:normal;font-display:swap}:root{font-family:'Latin Modern Roman','CMU Serif','Computer Modern','Times New Roman',serif;line-height:1.5;font-weight:400;color:#f5f5f5;background:#111}*,*::before,*::after{box-sizing:border-box}body{margin:0;min-height:100vh;color:#f5f5f5;background:#111}a{color:inherit}.top{position:sticky;top:0;z-index:50;border-bottom:1px solid #404040;background:#171717}.nav{max-width:48rem;width:100%;margin:0 auto;display:flex;align-items:center;justify-content:space-between;padding:.75rem 1rem}.brand{font-size:.875rem;line-height:1.25rem;font-weight:600;letter-spacing:.025em;color:#f5f5f5;text-decoration:none}.links{display:flex;align-items:center;gap:1rem;font-size:.875rem;line-height:1.25rem}.links a,.links button{text-decoration:underline;color:#e5e5e5;background:transparent;border:0;font:inherit;padding:0;cursor:pointer}.theme-button{display:inline-flex!important;height:2rem;width:2rem;align-items:center;justify-content:center;border:1px solid #525252!important;background:#262626!important;color:#f5f5f5!important;text-decoration:none!important}.theme-button svg{height:1rem;width:1rem}.wrap{max-width:48rem;margin:0 auto;padding:2rem 1rem}.admin-wrap{max-width:88rem}.mt-1{margin-top:.25rem}.mt-2{margin-top:.5rem}.mt-3{margin-top:.75rem}.mt-4{margin-top:1rem}.mt-6{margin-top:1.5rem}.mt-8{margin-top:2rem}.mt-12{margin-top:3rem}.mb-2{margin-bottom:.5rem}.pb-3{padding-bottom:.75rem}.pb-4{padding-bottom:1rem}.pt-6{padding-top:1.5rem}.p-2{padding:.5rem}.p-3{padding:.75rem}.p-4{padding:1rem}.px-2{padding-left:.5rem;padding-right:.5rem}.px-3{padding-left:.75rem;padding-right:.75rem}.px-4{padding-left:1rem;padding-right:1rem}.py-1{padding-top:.25rem;padding-bottom:.25rem}.py-2{padding-top:.5rem;padding-bottom:.5rem}.text-xs{font-size:.75rem;line-height:1rem}.text-sm{font-size:.875rem;line-height:1.25rem}.text-base{font-size:1rem;line-height:1.5rem}.text-2xl{font-size:1.5rem;line-height:2rem}.text-3xl{font-size:1.875rem;line-height:2.25rem}.text-4xl{font-size:2.25rem;line-height:2.5rem}.text-5xl{font-size:3rem;line-height:1}.font-medium{font-weight:500}.font-semibold{font-weight:600}.font-bold{font-weight:700}.leading-tight{line-height:1.25}.uppercase{text-transform:uppercase}.tracking-wide{letter-spacing:.025em}.underline{text-decoration:underline}.text-neutral-100{color:#f5f5f5}.text-neutral-200{color:#e5e5e5}.text-neutral-300{color:#d4d4d4}.text-neutral-400{color:#a3a3a3}.text-neutral-600{color:#525252}.border{border:1px solid #404040}.border-t{border-top:1px solid #404040}.border-b{border-bottom:1px solid #262626}.border-neutral-700{border-color:#404040}.border-neutral-800{border-color:#262626}.border-red-500{border-color:#ef4444}.text-red-300{color:#fca5a5}.text-emerald-300{color:#6ee7b7}.border-emerald-500{border-color:#10b981}.bg-transparent{background:transparent}.bg-neutral-900{background:#171717}.bg-neutral-800{background:#262626}.flex{display:flex}.inline-flex{display:inline-flex}.block{display:block}.hidden{display:none}.items-center{align-items:center}.items-start{align-items:flex-start}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.gap-2{gap:.5rem}.gap-4{gap:1rem}.flex-wrap{flex-wrap:wrap}.min-w-0{min-width:0}.flex-1{flex:1 1 0%}.shrink-0{flex-shrink:0}.h-24{height:6rem}.w-24{width:6rem}.w-full{width:100%}.overflow-hidden{overflow:hidden}.object-cover{object-fit:cover}.space-y-1>*+*{margin-top:.25rem}.space-y-2>*+*{margin-top:.5rem}.space-y-3>*+*{margin-top:.75rem}.space-y-4>*+*{margin-top:1rem}.space-y-6>*+*{margin-top:1.5rem}.grid{display:grid}.grid-cols-1{grid-template-columns:repeat(1,minmax(0,1fr))}.admin-grid{display:grid;grid-template-columns:1fr;gap:1rem}@media(min-width:768px){.admin-grid{grid-template-columns:1fr 1fr}}ul{padding-left:0}.post-list{list-style:none;margin:0;padding:0}.post-list li{padding-bottom:1rem;border-bottom:1px solid #262626}.post-thumb{display:block;height:6rem;width:6rem;flex-shrink:0;overflow:hidden}.post-thumb img{height:100%;width:100%;object-fit:cover}.tabbar{display:flex;flex-wrap:wrap;gap:.5rem;border-bottom:1px solid #404040;padding-bottom:.75rem}.tab-button{border:1px solid #525252;padding:.25rem .75rem;font-size:.875rem;line-height:1.25rem;text-transform:uppercase;letter-spacing:.025em;color:#e5e5e5;text-decoration:none;background:transparent}.tab-button.active{border-color:#e5e5e5;background:#f5f5f5;color:#171717}.post-content{font-size:1.08rem;line-height:1.75}.post-content p{margin:.9rem 0}.post-content h1,.post-content h2,.post-content h3,.post-content h4{margin:1.2rem 0 .6rem;line-height:1.3;font-weight:700}.post-content h1{font-size:clamp(2rem,3.6vw,2.65rem)}.post-content h2{font-size:clamp(1.55rem,2.8vw,2.05rem)}.post-content h3{font-size:clamp(1.3rem,2.1vw,1.65rem)}.post-content h4{font-size:clamp(1.15rem,1.7vw,1.35rem)}.post-content .math-latex-block{margin:1rem 0;overflow-x:auto}.post-content ul,.post-content ol{margin:.9rem 0;padding-left:1.35rem}.post-content ul{list-style-type:disc}.post-content ol{list-style-type:decimal}.post-content ol ol{list-style-type:lower-alpha}.post-content li{margin:.25rem 0}.post-content strong,.post-content b{font-weight:700}.post-content blockquote{margin:1.1rem 0;padding:.25rem 0 .25rem 1rem;border-left:4px solid #f87171}.post-content blockquote p{margin:.35rem 0}.post-content a{text-decoration:underline}.post-content img{display:block;max-width:100%;height:auto;margin:1rem 0}.comment-list{list-style:none;margin:1rem 0 0;padding:0}.comment-box{border:1px solid #404040;padding:.75rem}.whitespace-pre-wrap{white-space:pre-wrap}input,textarea,select{border:1px solid #525252;background:transparent;color:#f5f5f5;padding:.5rem .75rem;font:inherit;border-radius:0}textarea{width:100%}button,.button{border:1px solid #737373;background:transparent;color:#f5f5f5;padding:.5rem 1rem;font:inherit;text-decoration:none;cursor:pointer;border-radius:0}label{display:block}.form{margin-top:1rem}.form>*+*{margin-top:.75rem}.form label>*{margin-top:.25rem}.form input,.form textarea,.form select{width:100%}.editor{min-height:32rem}.error{border:1px solid #ef4444;color:#fca5a5;padding:.75rem;font-size:.875rem}.message{border:1px solid #10b981;color:#6ee7b7;padding:.75rem;font-size:.875rem}.admin-list{padding-left:1.25rem}.pill{font-size:.75rem;color:#a3a3a3}.cover{display:block;max-width:100%;height:auto;margin:1rem 0}.summary{color:#d4d4d4}.footer{display:none}@media(max-width:650px){.nav{align-items:flex-start;flex-direction:column}.links{flex-wrap:wrap}.wrap{padding-left:1rem;padding-right:1rem}}
html.light{color:#171717;background:#f7f5f0}html.light body{color:#171717;background:#f7f5f0}html.light .top{border-bottom-color:#d4d4d4;background:#f7f5f0}html.light .brand{color:#171717}html.light .links a,html.light .links button{color:#262626}html.light .theme-button{border-color:#a3a3a3!important;background:#fff!important;color:#171717!important}html.light .text-neutral-100,html.light .text-neutral-200,html.light .text-neutral-300{color:#404040}html.light .text-neutral-400,html.light .text-neutral-600{color:#525252}html.light .border,html.light .border-t,html.light .border-b,html.light .border-neutral-700,html.light .border-neutral-800{border-color:#d4d4d4}html.light .post-list li{border-bottom-color:#d4d4d4}html.light .tabbar{border-bottom-color:#a3a3a3}html.light .tab-button{border-color:#737373;color:#262626}html.light .tab-button.active{border-color:#171717;background:#171717;color:#f5f5f5}html.light input,html.light textarea,html.light select{border-color:#a3a3a3;color:#171717;background:#fff}html.light button,html.light .button{border-color:#737373;color:#171717}html.light .comment-box{border-color:#d4d4d4}html.light .post-content blockquote{border-left-color:#f87171}html.light .error{color:#b91c1c;border-color:#f87171}html.light .message{color:#047857;border-color:#10b981}
.theme-sun{display:none}html.light .theme-moon{display:none}html.light .theme-sun{display:block}
.post-content .restack-image{display:none!important}.post-content .image-link-expand{margin:.75rem 0 0;display:flex}.post-content .image-link-expand .pc-display-flex{display:flex;gap:0}.post-content .view-image{width:3rem;height:3rem;padding:0;display:inline-flex;align-items:center;justify-content:center;color:currentColor;background:transparent;border:1px solid #737373}.post-content .view-image svg{width:1.25rem;height:1.25rem}.image-overlay{position:fixed;inset:0;z-index:9999;display:none;align-items:center;justify-content:center;background:rgba(0,0,0,.88);padding:2rem}.image-overlay.open{display:flex}.image-overlay img{max-width:96vw;max-height:92vh;width:auto;height:auto;object-fit:contain;box-shadow:0 0 0 1px rgba(255,255,255,.15)}.image-overlay-close{position:fixed;top:1rem;right:1rem;width:2.75rem;height:2.75rem;padding:0;border:1px solid rgba(255,255,255,.45);background:rgba(0,0,0,.35);color:#fff;font-size:2rem;line-height:1}.image-overlay-open{overflow:hidden}html.light .image-overlay{background:rgba(0,0,0,.82)}html.light .post-content .view-image{border-color:#737373;color:#171717}
.image-overlay-close{display:flex;align-items:center;justify-content:center;position:fixed;font-size:0;line-height:0}.image-overlay-close::before,.image-overlay-close::after{content:"";position:absolute;left:50%;top:50%;width:1.9rem;height:2px;background:currentColor;transform-origin:center}.image-overlay-close::before{transform:translate(-50%,-50%) rotate(45deg)}.image-overlay-close::after{transform:translate(-50%,-50%) rotate(-45deg)}
.paywall-box{border-color:#f59e0b;background:rgba(245,158,11,.08);color:#fef3c7}.paywall-box input,.paywall-box select{margin-top:.25rem}.paywall-box .message,.paywall-box .error{display:block}html.light .paywall-box{border-color:#f59e0b;background:#fffbeb;color:#78350f}
.break-all{word-break:break-all}.font-mono{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono",monospace}
html.light .image-overlay-close{color:#fff;border-color:rgba(255,255,255,.5);background:rgba(0,0,0,.4)}