:root{--bg:#f5f5f5;--surface:#fff;--text:#202124;--muted:#646970;--line:#e6e7e9;--accent:#426b5c;--code:#f0f1f3;--string:#805521;--radius:8px;color-scheme:light}
:root[data-theme=dark]{--bg:#1d1e20;--surface:#27282b;--text:#e5e5e7;--muted:#acadb3;--line:#3a3b3f;--accent:#a6c9b9;--code:#303136;--string:#d4b78f;color-scheme:dark}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:28px}body{margin:0;background:var(--bg);color:var(--text);font:16px/1.7 -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}button,input{font:inherit}a:focus-visible,button:focus-visible,summary:focus-visible,input:focus-visible{outline:2px solid var(--accent);outline-offset:5px}button{color:inherit}.site-header{max-width:1060px;margin:auto;padding:20px 30px}.site-header nav,.brand-group,.nav-links{display:flex;align-items:center}.site-header nav{justify-content:space-between;gap:24px}.brand{font-size:25px;font-weight:750;letter-spacing:-1px}.brand-dot{color:var(--accent)}.brand-group{gap:13px}.nav-divider{color:var(--muted)}#theme-toggle{border:0;background:transparent;display:grid;place-items:center;cursor:pointer;padding:7px}#theme-toggle svg{fill:none;stroke:currentColor;stroke-width:1.7}.nav-links{gap:25px;font-size:14px}.nav-links a[aria-current]{text-decoration:underline;text-underline-offset:7px}.main{max-width:760px;padding:30px 24px 0;margin:0 auto;min-height:65vh}.welcome{padding:34px 0 52px}.eyebrow{font-size:11px;letter-spacing:1.9px;font-weight:650;color:var(--accent);margin:0 0 14px}h1,h2,h3,h4{line-height:1.3;letter-spacing:-.025em}h1{font-size:36px;font-weight:740;margin:0 0 18px}.welcome h1{font-size:34px}.welcome>p:not(.eyebrow){color:var(--muted);font-size:16px;margin:0 0 10px}.welcome .welcome-detail{font-size:14px!important}.social-links{display:flex;gap:25px;margin-top:23px;font-size:13px;font-weight:600}.feed-label{display:flex;justify-content:space-between;font-size:11px;letter-spacing:1px;color:var(--muted);text-transform:uppercase;margin-bottom:15px}.post-card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:26px 27px;margin:0 0 22px;transition:border-color .15s}.post-card:hover{border-color:var(--muted)}.card-topics{display:flex;flex-wrap:wrap;gap:13px;color:var(--accent);font-size:11px;font-weight:650;letter-spacing:.6px;text-transform:uppercase;margin-bottom:11px}.post-card h2{font-size:24px;margin:0 0 11px}.post-card p{font-size:14px;line-height:1.65;color:var(--muted);margin:0 0 18px}.post-meta{display:flex;flex-wrap:wrap;gap:7px;font-size:11px;color:var(--muted);line-height:1.65}.pagination{display:flex;justify-content:space-between;gap:15px;font-size:13px;margin:40px 0}.pagination span{color:var(--muted)}.site-footer{max-width:760px;margin:72px auto 0;padding:25px 24px 35px;display:flex;justify-content:space-between;gap:15px;color:var(--muted);font-size:11px}.article-main{max-width:820px}.post-header{padding:20px 0 25px;border-bottom:1px solid var(--line);margin-bottom:26px}.breadcrumb{font-size:12px;color:var(--muted);display:inline-block;margin-bottom:35px}.post-header h1{font-size:39px}.post-description{font-size:17px;color:var(--muted);margin:0 0 20px}.revision-date{font-size:11px;color:var(--muted);margin:12px 0 0}.toc{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:15px 20px;margin:0 0 38px;font-size:14px}.toc summary{cursor:pointer;font-weight:650}.toc ul{list-style:none;padding:0;margin:12px 0 0;display:grid;grid-template-columns:1fr 1fr;gap:7px 20px}.toc a{font-size:12px;color:var(--muted)}.article-content{font-size:17px;line-height:1.85;overflow-wrap:break-word}.article-content h2{margin:52px 0 20px;font-size:27px}.article-content h3{margin:33px 0 13px;font-size:21px}.article-content h4{font-size:18px;margin:27px 0 12px}.article-content p{margin:0 0 22px}.article-content a{border-bottom:1px solid var(--muted)}.article-content .heading-link{border:0;font-size:.7em;opacity:0;margin-left:8px}.article-content h2:hover .heading-link,.heading-link:focus-visible{opacity:1}.article-content ul,.article-content ol{padding-left:24px;margin:0 0 23px}.article-content li{margin-bottom:7px}.article-content blockquote{margin:25px 0;padding:18px 23px;border-left:3px solid var(--accent);background:var(--surface);border-radius:0 6px 6px 0;font-size:15px}.article-content blockquote p:last-child{margin:0}.article-content img{max-width:100%;height:auto;display:block;margin:24px auto}.table-wrap{overflow:auto;margin:25px 0;max-width:100%;border:1px solid var(--line);border-radius:6px}.article-content table{width:100%;border-collapse:collapse;font-size:13px;line-height:1.65}.article-content th{background:var(--surface);text-align:left;font-weight:650}.article-content td,.article-content th{padding:11px 13px;border-bottom:1px solid var(--line);vertical-align:top;min-width:100px}.article-content tr:last-child td{border-bottom:0}.article-content code{font: .83em/1.65 ui-monospace,SFMono-Regular,Consolas,"Liberation Mono",monospace;background:var(--code);padding:2px 5px;border-radius:3px}.article-content pre{background:var(--code);padding:20px;overflow:auto;border-radius:6px;line-height:1.6;font-size:14px;max-width:100%}.article-content pre code{padding:0;background:transparent}.highlight{margin:24px 0}.highlight .k,.highlight .kd,.highlight .kn{color:var(--accent);font-weight:600}.highlight .s,.highlight .s1,.highlight .s2{color:var(--string)}.highlight .c,.highlight .c1{color:var(--muted)}mjx-container[jax=SVG][display=true]{display:block!important;overflow-x:auto;overflow-y:hidden;max-width:100%;padding:12px 3px;margin:26px 0!important;font-size:100%!important}mjx-container[jax=SVG]:not([display=true]){max-width:100%}mjx-container svg{max-width:none}mjx-container [data-mml-node=merror]{color:#b54747}.post-footer{margin-top:55px;border-top:1px solid var(--line);padding-top:23px;color:var(--muted);font-size:12px}.post-neighbors{display:grid;grid-template-columns:1fr 1fr;gap:30px;margin-top:25px}.post-neighbors a{color:var(--text);font-size:14px}.post-neighbors small{display:block;font-size:10px;color:var(--muted);margin-bottom:5px;text-transform:uppercase;letter-spacing:1px}.page-header{padding:40px 0 33px}.page-header p:not(.eyebrow){color:var(--muted)}.archive-year{margin:20px 0 45px}.archive-year h2{font-size:26px}.archive-year small{font-size:12px;color:var(--muted);font-weight:400;margin-left:7px}.archive-list,.topic-list{padding:0;list-style:none}.archive-list li{display:grid;grid-template-columns:60px 1fr;gap:18px;padding:12px 0;border-bottom:1px solid var(--line)}.archive-list time{font-size:12px;color:var(--muted);padding-top:3px}.archive-list a{font-size:16px;font-weight:550}.tag-cloud{display:flex;flex-wrap:wrap;gap:10px;margin:0 0 46px}.tag-cloud a{padding:7px 12px;border:1px solid var(--line);background:var(--surface);border-radius:5px;font-size:13px}.tag-cloud span{color:var(--muted);margin-left:6px;font-size:11px}.tag-section{margin:35px 0}.tag-section h2{font-size:21px}.topic-list li{padding:12px 0;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;gap:25px}.topic-list time{white-space:nowrap;color:var(--muted);font-size:11px;padding-top:4px}.search-label{display:block;font-size:12px;font-weight:600;margin-bottom:9px}.search-input{width:100%;padding:15px 18px;background:var(--surface);color:var(--text);border:1px solid var(--line);border-radius:6px;font-size:15px}.search-status{font-size:12px;color:var(--muted);margin:16px 0 26px}.skip-link{position:absolute;left:16px;top:-100px;background:var(--surface);padding:10px 20px;z-index:10}.skip-link:focus{top:10px}.back-top{position:fixed;right:24px;bottom:22px;border:1px solid var(--line);border-radius:50%;width:36px;height:36px;text-align:center;line-height:32px;background:var(--surface);font-size:20px;color:var(--muted)}
@media(max-width:650px){.site-header{padding:15px 20px}.site-header nav{flex-wrap:wrap;gap:13px}.brand{font-size:23px}.nav-links{gap:19px;width:100%;font-size:13px}.nav-divider{display:none}.main{padding:16px 20px 0}.welcome{padding:26px 0 38px}.welcome h1{font-size:29px}.post-card{padding:21px 20px}.post-card h2{font-size:21px}.post-header h1{font-size:31px}.post-description{font-size:16px}.article-content{font-size:16px;line-height:1.85}.article-content h2{font-size:24px}.article-content h3{font-size:20px}.toc ul{grid-template-columns:1fr}.article-content pre{padding:15px;font-size:12px}.post-neighbors{gap:18px}.site-footer{padding:20px;flex-direction:column;gap:5px;margin-top:48px}.topic-list li{flex-direction:column;gap:3px}.back-top{right:12px;bottom:12px;width:32px;height:32px;font-size:17px;line-height:29px}.article-content blockquote{padding:15px 18px}.post-meta{font-size:10px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}
@media print{.site-header,.site-footer,.back-top,.breadcrumb,.post-neighbors,#theme-toggle{display:none}.main{max-width:none;padding:0}.article-content{font-size:11pt}.toc{display:none}body{background:white;color:black}.article-content pre{white-space:pre-wrap}.table-wrap{overflow:visible}mjx-container[jax=SVG][display=true]{overflow:visible}.post-header h1{font-size:26pt}}
.probability-explorer{margin:32px 0;padding:24px;background:var(--surface);border:1px solid var(--line);border-radius:10px}.article-content .probability-explorer h3{margin-top:0}.probability-controls{display:grid;gap:13px;margin:20px 0}.probability-controls label{display:grid;grid-template-columns:140px 1fr;gap:18px;align-items:center;font-size:14px}.probability-controls input{width:100%;accent-color:var(--accent)}.probability-bars{display:flex;width:100%;height:22px;border-radius:4px;overflow:hidden;background:var(--line)}.probability-bars span:nth-child(1){background:#4d7666}.probability-bars span:nth-child(2){background:#9eb4a9}.probability-bars span:nth-child(3){background:#d9e0dc}.article-content .probability-result{font-size:14px;margin:18px 0 0;font-variant-numeric:tabular-nums}
@media(max-width:650px){.probability-explorer{padding:18px}.probability-controls label{grid-template-columns:110px 1fr;gap:10px}}
