.katex{font-size:1.05em}.katex-display{margin:32px 0;overflow-x:auto}.reading-preview{position:fixed;z-index:1000;width:min(350px,calc(100vw - 24px));max-height:min(320px,calc(100vh - 24px));overflow:auto;padding:19px 21px 17px;border:1px solid var(--border);border-top:2px solid var(--text-muted);background:var(--surface);color:var(--text);box-shadow:0 9px 28px rgb(0 0 0 / .16);text-align:left}.reading-preview[hidden]{display:none}.reading-preview-meta{margin-bottom:9px;color:var(--text-muted);font:9px/1.6 var(--font-mono);letter-spacing:.025em}.reading-preview-title{font:21px/1.25 var(--font-heading);margin-bottom:10px}.reading-preview p{margin:0;font:14px/1.65 var(--font-body);color:var(--text-muted)}.post-body.has-reading-notes{position:relative}.post-body .reading-note{position:relative;margin:-4px 0 22px;padding:10px 14px;border-left:1px solid var(--border);color:var(--text-muted);font:13px/1.65 var(--font-body)}.reading-note summary{cursor:pointer;color:var(--text-muted);font:12px/1.5 var(--font-mono);width:fit-content;padding:1px 5px;border:1px dotted var(--border);list-style:none}.reading-note summary::-webkit-details-marker{display:none}.post-body .reading-note>ol{list-style:none;padding:0;margin:10px 0 0}.post-body .reading-note li{margin:0}.post-body .reading-note p{margin:0 0 8px}.post-body .reading-note p:last-child{margin:0}.reading-note :is(img,pre){max-width:100%}.reading-note pre{overflow:auto}.reading-note a{overflow-wrap:anywhere}.footnote-ref{font-family:var(--font-mono);text-decoration:none;padding:0 2px}.footnote-ref:focus-visible,.reading-note summary:focus-visible{outline:1px solid var(--text-muted);outline-offset:3px}@media (min-width:1240px){.post-body .reading-note{position:absolute;left:calc(100% + 32px);width:192px;margin:0;padding:0 0 0 13px}.reading-note summary{list-style:none;pointer-events:none}.reading-note summary::-webkit-details-marker{display:none}.post-body .reading-note>ol{margin-top:7px}}.post-connections{margin-top:46px;padding-top:24px;border-top:1px solid var(--border);display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,270px),1fr));gap:28px 36px}.post-connection-group h2{margin:0 0 16px;color:var(--text-muted);font:11px/1.5 var(--font-mono);letter-spacing:.04em}.post-connection-group ul{list-style:none;padding:0;margin:0}.post-connection-group li+li{margin-top:18px}.post-connection-group a{display:inline;padding:0;border:0;background:none;font:18px/1.4 var(--font-heading);text-transform:none;text-decoration:underline;text-decoration-color:var(--border);text-underline-offset:4px}.post-connection-group a:hover{background:none;text-decoration-color:currentColor}.post-connection-group a:focus-visible{outline:1px solid var(--text-muted);outline-offset:4px}.post-connection-group p{color:var(--text-muted);font:13px/1.65 var(--font-body);margin:5px 0 0;overflow-wrap:anywhere}.post-connections+.post-footer-nav{margin-top:26px}.post-body .has-heading-anchor{position:relative;scroll-margin-top:28px}.post-body .heading-anchor{display:inline-flex;vertical-align:middle;align-items:center;justify-content:center;width:28px;height:28px;margin-left:5px;color:var(--text-muted);line-height:1;text-decoration:none;opacity:0}.has-heading-anchor:hover .heading-anchor,.has-heading-anchor:focus-within .heading-anchor{opacity:1}.heading-anchor:focus-visible{outline:1px solid var(--text-muted);outline-offset:2px}@media (hover:none){.post-body .heading-anchor{opacity:.65}}.heading-anchor span{display:inline-flex}.heading-anchor svg{width:15px;height:15px}.heading-anchor.is-copied{opacity:1}.heading-anchor.is-copied span{animation:heading-link-spin .55s cubic-bezier(.2,.7,.2,1)}@keyframes heading-link-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.heading-anchor.is-copied span{animation:none}}.reading-status{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}@media (max-width:760px){.post-footer-next .post-footer-title{margin-left:0}}.post-reading-layout{position:relative}.reading-contents-rail{margin:0 0 30px}.reading-contents{color:var(--text-muted);font:12px/1.6 var(--font-mono)}.reading-contents summary{cursor:pointer;width:fit-content;padding:7px 0}.reading-contents nav{display:block;margin:0;padding-top:8px;text-transform:none}.reading-contents ol{list-style:none;margin:0;padding:0}.reading-contents li{margin:0}.reading-contents a{display:block;padding:5px 0 5px 12px;border:0;border-left:1px solid var(--border);text-align:left;min-width:0;background:none;color:var(--text-muted);text-decoration:none;font:12px/1.55 var(--font-body)}.reading-contents .contents-subsection a{padding-left:24px;font-size:11px}.reading-contents a:hover,.reading-contents a[aria-current]{color:var(--text);border-left-color:var(--text-muted)}.reading-contents a:focus-visible{outline:1px solid var(--text-muted);outline-offset:2px}.search-section{color:var(--text-muted);font-size:.85em;font-weight:normal}@media (min-width:1240px){.reading-contents-rail{position:absolute;right:calc(100% + 36px);top:0;bottom:0;width:170px;margin:0}.reading-contents{position:sticky;top:30px;max-height:calc(100vh - 60px);overflow-y:auto;scrollbar-width:thin}}.post-body .footnote-ref.is-linked-note{color:var(--text);background:var(--accent-soft);border-radius:0;box-shadow:0 0 0 1px var(--border)}.post-body .reading-note.is-linked-note{border-left-color:var(--accent);background:linear-gradient(90deg,var(--accent-soft),transparent 82%)}.post-body .reading-note.is-linked-note::before{content:none}.reading-note.is-linked-note summary{color:var(--text);background:transparent;border-color:var(--accent)}.reading-contents a{position:relative;transition:color .16s ease,background-color .16s ease}.reading-contents a::before{content:"";position:absolute;left:-1px;top:0;bottom:0;width:2px;background:var(--accent);transform:scaleY(0);transform-origin:top;opacity:0}.reading-contents a[aria-current]{border-left-color:var(--border);background:var(--accent-soft)}.reading-contents a[aria-current]::before{transform:scaleY(var(--section-progress,.08));opacity:1}.reading-contents a:hover{background:var(--accent-soft);color:var(--text)}@media (prefers-reduced-motion:reduce){.reading-contents a{transition:none}}@media (max-width:1239px){.post-body .reading-note:not([open]){display:none}.post-body .reading-note[open]{margin:-4px 0 22px}}