.post-masthead{border-bottom:1px solid var(--line);margin:32px 0 36px;padding-bottom:28px}.post-kicker-row{color:var(--mut);font-variant-numeric:tabular-nums;flex-wrap:wrap;align-items:center;gap:10px;margin-bottom:16px;font-size:13px;display:flex}.post-kicker-row .post-kicker{color:var(--accent);align-items:center;gap:8px;margin-bottom:0;font-weight:500;text-decoration:none;display:inline-flex}.post-kicker-row .d{border-radius:50%;width:6px;height:6px;display:inline-block}.post-kicker-sep{color:var(--line2)}.post-deck{font-family:var(--serif);color:var(--ink2);margin-top:16px;font-size:18px;line-height:1.75}.post-minimap{z-index:30;overscroll-behavior:contain;scrollbar-width:none;max-height:76vh;margin:-6px -4px;padding:6px 4px;position:fixed;top:50%;left:28px;overflow-y:auto;transform:translateY(-50%)}.post-minimap::-webkit-scrollbar{display:none}.post-minimap ol{margin:0;padding:0;list-style:none}.post-minimap li{justify-content:flex-start;align-items:center;height:18px;display:flex}.post-minimap a{align-items:center;gap:8px;height:100%;text-decoration:none;display:flex}.post-minimap .mm-bar{background:var(--line2);flex-shrink:0;width:18px;height:2px;transition:width .15s,background .15s;display:block}.post-minimap a.mm-sub .mm-bar{opacity:.55;width:10px}.post-minimap .mm-label{text-overflow:ellipsis;max-width:220px;color:var(--ink);white-space:nowrap;background:var(--card);border:1px solid var(--line);border-radius:99px;padding:3px 10px;font-size:12px;display:none;overflow:hidden;box-shadow:0 1px 4px #00000014}.post-minimap a:is(:hover,:focus-visible) .mm-bar,.post-minimap a.mm-active .mm-bar{background:var(--accent);width:30px}.post-minimap a:is(:hover,:focus-visible) .mm-label{display:inline-block}@media (width<=1100px){.post-minimap{display:none}}.article-body{color:var(--ink2);overflow-wrap:anywhere;font-size:17px;line-height:1.95}.article-body>*+*{margin-top:1.25em}.article-body :is(h1,h2,h3,h4,h5,h6){font-family:var(--serif);color:var(--ink);margin-top:2em;margin-bottom:.7em;scroll-margin-top:110px;line-height:1.5}.article-body h1{font-size:32px}.article-body h2{font-size:28px}.article-body h3{font-size:23px}.article-body :is(h4,h5,h6){font-size:19px}.article-body.has-duplicate-title>h1:first-child{display:none}.article-body.has-duplicate-title>h1:first-child+*{margin-top:0}.article-body p{margin-bottom:1em}.article-body :is(ul,ol){padding-left:1.6em}.article-body li+li{margin-top:.4em}.article-body li :is(ul,ol,p){margin-top:.5em;margin-bottom:.5em}.article-body a,.post-back{color:var(--accent);text-underline-offset:.2em}.article-body mark{background:var(--hl);color:inherit;border-radius:2px}.article-body blockquote{border-left:2px solid var(--accent);color:var(--mut);padding:.2em 0 .2em 1.2em}.article-body>blockquote:first-child,.article-body.has-duplicate-title>h1:first-child+blockquote{background:var(--card);border:1px solid var(--line);border-left:3.5px solid var(--accent);color:var(--ink2);border-radius:0 10px 10px 0;margin:1.5em 0 2em;padding:16px 22px;font-size:15.5px;line-height:1.85}.article-body blockquote>:last-child{margin-bottom:0}.article-body img{max-width:100%;height:auto;margin:1.8em auto;display:block}[data-theme=dark] .article-body img{filter:brightness(.85)}.article-body img+em{text-align:center;color:var(--mut);max-width:85%;margin:.6em auto 0;font-size:13px;font-style:normal;display:block}.article-body hr{border:0;border-top:1px solid var(--line);margin:2.5em 0}.article-body code{background:var(--card);border-radius:3px;padding:.12em .3em;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.87em}.article-body pre{background:var(--card);border:1px solid var(--line);white-space:pre;border-radius:8px;max-width:100%;padding:18px 22px;font-size:14px;line-height:1.7;overflow-x:auto}.article-body pre code{font-size:inherit;background:0 0;padding:0}.article-body .table-scroll{border:1px solid var(--line);border-radius:4px;max-width:100%;margin:1.8em 0;overflow-x:auto}.article-body table{border-collapse:collapse;width:100%;font-size:14px;line-height:1.7}.article-body :is(th,td){border-bottom:1px solid var(--line);text-align:left;vertical-align:top;min-width:100px;padding:11px 14px}.article-body th{color:var(--ink);background:var(--card);font-weight:600}.article-body tr:last-child td{border-bottom:0}.article-body .table-scroll:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.article-body .footnotes{border-top:1px solid var(--line);padding-top:20px;font-size:14px}.article-body .footnotes li:target,.article-body [data-footnote-ref]:target{background:var(--hl);border-radius:4px}.article-body .katex-display{max-width:100%;padding:4px 0;overflow:auto hidden}.post-back{margin-top:48px;font-size:14px;text-decoration:none;display:inline-block}.post-pager{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:14px;margin-top:64px;padding-top:28px;display:grid}.post-pager a{border:1px solid var(--line);background:var(--card);border-radius:10px;flex-direction:column;gap:4px;padding:14px 18px;text-decoration:none;transition:border-color .15s;display:flex}.post-pager a:hover{border-color:var(--line2)}.post-pager .pager-newer{text-align:right;grid-column:2}.post-pager .pager-label{color:var(--mut);font-size:12px}.post-pager .pager-title{font-family:var(--serif);color:var(--ink);font-size:15.5px;line-height:1.6}.post-pager+.post-back{margin-top:28px}.article-body img.zoomable{cursor:zoom-in}.article-body img.zoomable:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.lightbox{cursor:zoom-out;background:0 0;border:0;max-width:96vw;max-height:94vh;margin:auto;padding:0}.lightbox::backdrop{background:#000000d1}.lightbox img{object-fit:contain;border-radius:4px;width:auto;max-width:96vw;height:auto;max-height:94vh;display:block}@media (width<=720px){.post-masthead{margin:24px 0 28px;padding-bottom:22px}.post-deck{font-size:16px}.article-body{font-size:16px;line-height:1.9}.article-body h2{font-size:25px}.article-body h3{font-size:21px}.post-pager{grid-template-columns:1fr}.post-pager .pager-newer{grid-area:1}}@media (prefers-reduced-motion:reduce){body,.post-minimap .mm-bar{transition:none}}