@font-face{font-family:"Noto Serif SC";src:url(/fonts/noto-serif-sc.woff2) format("woff2");font-weight:200 900;font-style:normal;font-display:swap}@font-face{font-family:"Source Serif 4";src:url(/fonts/source-serif-4.woff2) format("woff2");font-weight:200 900;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Mono;src:url(/fonts/ibm-plex-mono-regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:MiSans;src:url(/fonts/MiSans-Light.woff2) format("woff2");font-weight:300;font-display:swap}@font-face{font-family:MiSans;src:url(/fonts/MiSans-Regular.woff2) format("woff2");font-weight:400;font-display:swap}@font-face{font-family:MiSans;src:url(/fonts/MiSans-Demibold.woff2) format("woff2");font-weight:600;font-display:swap}@font-face{font-family:MiSans;src:url(/fonts/MiSans-Bold.woff2) format("woff2");font-weight:700;font-display:swap}:root{--paper: #faf8f3;--paper-deep: #f1ece1;--ink: #191813;--ink-soft: #3f3b32;--muted: #79736a;--faint: #7b7468;--rule: #dcd5c7;--rule-strong: #b6ad9d;--accent: #7c2b22;--accent-soft: rgba(124, 43, 34, .07);--code-bg: #f1ece1;--figure-bg: #ffffff;--selection: rgba(124, 43, 34, .16);--serif: "Source Serif 4", "Noto Serif SC", "Songti SC", "Source Han Serif SC", Georgia, serif;--sans: "MiSans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono: "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;color-scheme:light}html[data-theme=dark]{--paper: #151410;--paper-deep: #1d1b16;--ink: #ece6d9;--ink-soft: #cec6b7;--muted: #9a9283;--faint: #8d8679;--rule: #302d26;--rule-strong: #4b463c;--accent: #d78d77;--accent-soft: rgba(215, 141, 119, .11);--code-bg: #1c1a16;--figure-bg: #f4efe4;--selection: rgba(215, 141, 119, .2);color-scheme:dark}*,*:before,*:after{box-sizing:border-box}html{scroll-behavior:smooth;-webkit-text-size-adjust:100%}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--serif);font-size:17px;line-height:1.85;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-feature-settings:"chws","palt";text-autospace:ideograph-alpha ideograph-numeric;line-break:strict;word-break:break-word;transition:background-color .22s ease,color .22s ease}.reading-progress{position:fixed;top:0;left:0;height:2px;background:var(--accent);width:0%;z-index:1000;pointer-events:none;transition:width 80ms cubic-bezier(.2,0,0,1),opacity .18s ease}::selection{background:var(--selection)}[hidden]{display:none!important}a{color:inherit;text-decoration:none;text-decoration-skip-ink:auto}button{font:inherit;color:inherit}:focus-visible{outline:1.5px solid var(--accent);outline-offset:3px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap;border:0}.wrap{max-width:1020px;margin:0 auto;padding:0 clamp(20px,4vw,44px);transition:max-width .22s ease}body[data-page=post] .wrap,.wrap:has(#postPage:not([hidden])){max-width:1280px}.skip-link{position:absolute;left:16px;top:-60px;z-index:99;padding:8px 12px;background:var(--ink);color:var(--paper);font:400 11px/1.4 var(--sans);letter-spacing:.1em;text-decoration:none;transition:top .14s ease}.skip-link:focus{top:12px}.site-head{border-bottom:1px solid var(--rule-strong);background:var(--paper);transition:border-color .22s ease,background-color .22s ease}.head-top{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:12px 16px;padding:18px 0 12px}.brand{display:flex;align-items:baseline;gap:16px;min-width:0;margin-right:auto;order:1;text-decoration:none;color:inherit}.brand-name{font-family:var(--serif);font-size:clamp(24px,3vw,29px);line-height:1;letter-spacing:.01em;white-space:nowrap}.brand-name em{font-style:italic;color:var(--accent)}.brand-sub{font:400 9.5px/1.4 var(--sans);letter-spacing:.22em;text-transform:uppercase;color:var(--muted);white-space:nowrap}.theme-switch{display:inline-flex;flex:none;order:3;gap:2px;padding:2px;border:1px solid var(--rule)}.theme-switch button{appearance:none;border:0;background:none;padding:5px 9px;font:400 10px/1.4 var(--sans);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);cursor:pointer;transition:background-color .14s ease,color .14s ease}.theme-switch button:hover{color:var(--ink)}.theme-switch button[aria-pressed=true]{background:var(--ink);color:var(--paper)}.head-search{display:flex;align-items:center;gap:8px;order:2;width:clamp(180px,22vw,260px);padding-bottom:5px;border-bottom:1px solid var(--rule-strong);transition:border-color .16s ease}.head-search:focus-within{border-bottom-color:var(--accent)}.head-search svg{width:14px;height:14px;flex:none;color:var(--muted)}.head-search input{flex:1;min-width:0;padding:0;border:0;outline:0;background:none;color:var(--ink);font-family:var(--serif);font-size:13.5px;line-height:1.5}.head-search input::placeholder{color:var(--faint)}.head-search input::-webkit-search-cancel-button{display:none}.search-clear{appearance:none;flex:none;border:0;background:none;padding:0;color:var(--muted);font:400 9px/1.4 var(--sans);letter-spacing:.1em;text-transform:uppercase;cursor:pointer}.search-clear:hover{color:var(--accent)}.site-nav{display:flex;align-items:center;gap:22px;padding-bottom:10px;overflow-x:auto;scrollbar-width:none}.site-nav::-webkit-scrollbar{display:none}.site-nav a{flex:none;padding:6px 0;border-bottom:1px solid transparent;color:var(--muted);font:400 10.5px/1.4 var(--sans);letter-spacing:.16em;text-transform:uppercase;text-decoration:none;white-space:nowrap;transition:color .14s ease,border-color .14s ease}.site-nav a:hover{color:var(--ink)}.site-nav a.is-active{color:var(--ink);border-bottom-color:var(--accent)}.site-nav .nav-sep{flex:none;width:1px;height:12px;background:var(--rule-strong)}.nav-admin{margin-left:4px;opacity:.82}.nav-admin:hover{opacity:1;color:var(--accent)}.nav-count{flex:none;margin-left:auto;color:var(--muted);font:400 9px/1.4 var(--sans);letter-spacing:.12em;text-transform:uppercase;white-space:nowrap}.listing-head{display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:end;gap:18px;padding:24px 0 0}#listingPage:not(.is-category) .listing-head,[data-page=categories] .listing-head{display:none}.kicker{margin:0 0 6px;font:400 8.5px/1.5 var(--sans);letter-spacing:.24em;text-transform:uppercase;color:var(--muted)}.listing-head h1{margin:0;font-size:clamp(21px,2.4vw,25px);line-height:1.25;letter-spacing:.01em;font-weight:400;text-wrap:balance}.listing-desc{max-width:64ch;margin:7px 0 0;font-size:12.5px;line-height:1.75;color:var(--muted)}.listing-meta{display:flex;flex-direction:column;align-items:flex-end;gap:6px;padding-bottom:2px;font:400 9px/1.7 var(--sans);letter-spacing:.14em;text-transform:uppercase;color:var(--muted);text-align:right}.listing-meta a{color:var(--ink-soft);text-decoration:none;border-bottom:1px solid var(--rule-strong);padding-bottom:2px;transition:color .14s ease,border-color .14s ease}.listing-meta a:hover{color:var(--accent);border-bottom-color:var(--accent)}.timeline{margin:18px 0 0}#listingPage.is-category .timeline{margin-top:14px;border-top:1px solid var(--rule-strong)}.year-group{display:grid;grid-template-columns:76px minmax(0,1fr);gap:22px;padding:18px 0 6px;border-bottom:1px solid var(--rule)}.year-group:last-child{border-bottom:0}.year-label{position:sticky;top:18px;align-self:start;margin:0;font-size:14px;line-height:1.3;font-weight:400;letter-spacing:.06em;color:var(--ink)}.year-label span{display:block;margin-top:3px;font:400 8px/1.5 var(--sans);letter-spacing:.18em;text-transform:uppercase;color:var(--muted)}.entries{list-style:none;margin:0;padding:0}.entries li+li{border-top:1px solid var(--rule)}.entry{display:grid;grid-template-columns:54px minmax(0,1fr);gap:0 12px;padding:8px 10px;margin:0 -10px;border-radius:2px;text-decoration:none;color:inherit;transition:background-color .14s ease,color .14s ease}.entry:hover{background-color:var(--accent-soft)}.entry time{padding-top:3px;font:400 9.5px/1.6 var(--mono);letter-spacing:.03em;color:var(--faint);transition:color .14s ease}.entry-body{min-width:0}.entry-title{display:block;font-family:var(--serif);font-size:14.5px;font-weight:400;line-height:1.55;letter-spacing:normal;color:var(--ink-soft);text-wrap:pretty;transition:color .14s ease}.entry:hover .entry-title{color:var(--accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:6px}.entry:hover time{color:var(--accent)}.entry-meta{display:flex;flex-wrap:wrap;gap:2px 10px;margin-top:2px;font:400 8.5px/1.6 var(--sans);letter-spacing:.11em;text-transform:uppercase;color:var(--muted)}.entry-meta .entry-cat{color:var(--ink-soft)}.entry-meta .entry-id{font-family:var(--mono);color:var(--faint)}.entry-tag{color:var(--muted)}.entry-abstract{display:none;max-width:66ch;margin-top:8px;font-size:13px;line-height:1.85;color:var(--muted)}.is-searching .entry-abstract{display:block}.is-searching .entry{padding:15px 0 17px}.empty-state{margin:44px 0 70px;padding:46px 20px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);text-align:center;color:var(--muted)}.empty-state p{margin:0 0 16px;font-size:18px;font-style:italic}.empty-state button{appearance:none;border:0;border-bottom:1px solid var(--accent);background:none;padding:0 0 3px;font:400 10px/1.5 var(--sans);letter-spacing:.18em;text-transform:uppercase;color:var(--accent);cursor:pointer}.category-archive{margin-top:18px}.cat-group{padding:16px 0 18px;border-bottom:1px solid var(--rule)}.cat-group:last-child{border-bottom:0}.cat-head{display:flex;align-items:baseline;gap:10px;margin:0 0 5px}.cat-head a{font-family:var(--sans);font-size:14px;font-weight:600;letter-spacing:.05em;color:var(--ink);text-decoration:none;border-bottom:1px solid transparent;padding-bottom:2px;transition:color .14s ease,border-color .14s ease}.cat-head a:hover{color:var(--accent);border-bottom-color:var(--accent)}.cat-count{font:400 9px/1.5 var(--sans);letter-spacing:.16em;text-transform:uppercase;color:var(--muted)}.cat-list{list-style:none;margin:0;padding:0}.cat-item{display:grid;grid-template-columns:84px minmax(0,1fr);gap:12px;align-items:baseline;padding:3px 0}.cat-item time{font:400 9.5px/1.6 var(--mono);letter-spacing:.02em;color:var(--faint)}.cat-item a{color:var(--ink-soft);text-decoration:none;font-size:14.5px;line-height:1.55;text-wrap:pretty;transition:color .14s ease}.cat-item a:hover{color:var(--accent);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:5px}.about{max-width:840px;padding:32px 0 72px}.about h1{margin:0 0 18px;font-size:clamp(26px,3.2vw,34px);line-height:1.35;letter-spacing:.005em;font-weight:400;text-wrap:balance}.about .lede{max-width:38em;margin:0 0 1.2em;font-size:16px;line-height:1.85;color:var(--ink-soft)}.about p{max-width:40em;margin:0 0 1em;font-size:14px;line-height:1.9;color:var(--muted)}.about-grid{display:grid;grid-template-columns:minmax(0,1fr) 232px;gap:44px;margin-top:28px;padding-top:24px;border-top:1px solid var(--rule-strong)}.about h2{margin:0 0 16px;padding-top:0;border-top:0;font-size:15px;line-height:1.5;font-weight:400;letter-spacing:.08em;color:var(--ink)}.about-grid h2:not(:first-child){margin-top:34px;padding-top:12px;border-top:1px solid var(--rule)}.topic-list,.principles{margin:0;padding:0;list-style:none}.topic-list li{border-bottom:1px solid var(--rule)}.topic-list a{display:flex;align-items:baseline;justify-content:space-between;gap:16px;padding:9px 0;color:var(--ink-soft);text-decoration:none;font-size:14.5px;transition:color .14s ease}.topic-list a:hover{color:var(--accent)}.topic-list .count{font:400 9px/1.5 var(--mono);letter-spacing:.08em;color:var(--faint)}.principles{counter-reset:principle}.principles li{counter-increment:principle;position:relative;padding:8px 0 8px 30px;border-bottom:1px solid var(--rule);font-size:14px;line-height:1.9;color:var(--muted)}.principles li:before{content:counter(principle,decimal-leading-zero);position:absolute;left:0;top:9px;font:400 9.5px/1.8 var(--mono);color:var(--accent)}.facts{align-self:start}.facts dl{margin:0;border-top:1px solid var(--rule-strong)}.facts dl div{display:grid;grid-template-columns:1fr auto;gap:14px;padding:7px 0;border-bottom:1px solid var(--rule);font:400 10px/1.6 var(--mono);letter-spacing:.04em}.facts dt{color:var(--muted)}.facts dd{margin:0;text-align:right;color:var(--ink-soft)}.facts .colophon{margin:24px 0 0;font-size:11px;line-height:1.9;color:var(--faint)}.post{padding:22px 0 80px}.back-row{margin:0 0 24px;font:400 10px/1.5 var(--sans);letter-spacing:.18em;text-transform:uppercase}.back-row a{color:var(--muted);text-decoration:none;border-bottom:1px solid var(--rule);padding-bottom:3px;transition:color .14s ease,border-color .14s ease}.back-row a:hover{color:var(--accent);border-bottom-color:var(--accent)}.paper-head{padding-bottom:30px;border-bottom:1px solid var(--rule-strong)}.paper-kicker{display:flex;flex-wrap:wrap;gap:8px 16px;margin:0 0 18px;font:400 9.5px/1.5 var(--sans);letter-spacing:.22em;text-transform:uppercase;color:var(--muted)}.paper-kicker .dot{color:var(--faint)}.paper-head h1{margin:0;font-family:var(--serif);font-size:clamp(28px,3.4vw,38px);font-weight:500;line-height:1.32;letter-spacing:-.015em;text-wrap:balance;color:var(--ink)}.byline{display:flex;flex-wrap:wrap;gap:8px 22px;align-items:baseline;margin-top:18px;font:400 11px/1.6 var(--sans);color:var(--muted)}.byline strong{font-weight:600;color:var(--ink);letter-spacing:.05em}.post-tags{display:flex;flex-wrap:wrap;gap:6px 8px;margin-top:16px}.post-tag{display:inline-flex;align-items:center;padding:3px 9px;font:400 10.5px/1.4 var(--mono);letter-spacing:.03em;color:var(--muted);background:var(--paper-deep);border:1px solid var(--rule);border-radius:3px;transition:color .14s ease,border-color .14s ease,background-color .14s ease}.post-tag:hover{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}.paper-layout{display:grid;grid-template-columns:minmax(140px,220px) minmax(auto,760px) minmax(180px,240px);justify-content:center;gap:0 44px;align-items:start;padding-top:12px}.paper-gutter-left{min-height:1px}.paper-center{min-width:0;max-width:760px;width:100%;margin:0 auto}.paper-head{padding-bottom:26px;margin-bottom:34px;border-bottom:1px solid var(--rule-strong)}.toc{position:sticky;top:28px;align-self:start;max-height:calc(100vh - 56px);overflow-y:auto;overscroll-behavior:contain;scrollbar-width:thin;scrollbar-color:var(--rule) transparent;padding-left:14px}.toc-inner{padding-right:4px}.toc-label{margin:0 0 14px;font:600 10px/1 var(--mono);letter-spacing:.22em;text-transform:uppercase;color:var(--muted);display:flex;align-items:center;gap:8px}.toc-label:after{content:"";flex:1;height:1px;background:var(--rule)}.toc ol{list-style:none;margin:0;padding:0;border-left:1px solid var(--rule);position:relative}.toc li{position:relative}.toc a{display:grid;grid-template-columns:22px 1fr;gap:8px;padding:7px 10px 7px 14px;color:var(--muted);text-decoration:none;font-family:var(--sans);font-size:13px;line-height:1.5;border-left:2px solid transparent;margin-left:-1px;border-radius:0 4px 4px 0;transition:color .14s ease,border-color .14s ease,background-color .14s ease}.toc a:hover{color:var(--ink);background:var(--accent-soft)}.toc a.is-current{color:var(--accent);border-left-color:var(--accent);background:var(--accent-soft);font-weight:600}.toc-num{font:400 10.5px/1.8 var(--mono);color:var(--faint)}.toc a.is-current .toc-num{color:var(--accent);font-weight:600}.article-body{min-width:0;font-size:16px;line-height:1.9;color:var(--ink-soft)}.article-body p{margin:0 0 1.4em;text-align:justify;text-justify:inter-ideograph;text-wrap:pretty}.article-body .lede{font-size:17px;line-height:1.85;color:var(--ink)}.article-body h1,.article-body h2,.article-body h3,.article-body h4,.article-body h5,.article-body h6{color:var(--ink);font-weight:400;letter-spacing:.01em;text-wrap:balance}.article-body h2{margin:2.6em 0 .9em;padding-top:.6em;border-top:1px solid var(--rule);font-size:21px;line-height:1.45;scroll-margin-top:36px}.article-body h2 .secnum{display:inline-block;min-width:2.4em;font:italic 400 12.5px/1 var(--serif);color:var(--accent);letter-spacing:.08em;vertical-align:2px}.article-body h3{margin:1.8em 0 .6em;font-size:17.5px;font-weight:600;line-height:1.5;scroll-margin-top:32px}.article-body h4{margin:1.5em 0 .5em;font-size:16px;font-weight:600}.article-body strong{font-weight:600;color:var(--ink)}.article-body em{font-style:italic;color:var(--ink)}.article-body a{color:var(--ink);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:4px;text-decoration-skip-ink:auto;transition:color .14s ease,text-decoration-color .14s ease}.article-body a:hover{color:var(--accent);text-decoration-color:var(--accent)}.article-body ul,.article-body ol{margin:0 0 1.5em;padding-left:1.4em}.article-body li{margin-bottom:.45em}.article-body li::marker{color:var(--accent);font-size:.85em}.article-body blockquote{margin:2.2em 0;padding:8px 0 8px 22px;border-left:2.5px solid var(--accent);font-size:16.5px;font-style:italic;line-height:1.85;color:var(--ink);background:var(--accent-soft);border-radius:0 2px 2px 0}.article-body blockquote p{margin:0;text-align:left}.article-body hr{border:0;border-top:1px solid var(--rule);margin:2.5em 0}.formula,.katex-display{display:flex;flex-wrap:wrap;align-items:center;justify-content:center;gap:0 14px;max-width:100%;margin:2.1em 0;padding:18px 12px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);overflow-x:auto;font-size:18px;line-height:2.1;color:var(--ink);text-align:center}.formula--accent{font-size:21px}.katex{font-size:1.05em;color:var(--ink)}.article-body figure{margin:2.3em 0;padding:15px 0 13px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.article-body figure img,.article-body p>img{max-width:100%;height:auto;margin:1.5em auto;display:block;background:var(--figure-bg);border:1px solid var(--rule);filter:saturate(.88) contrast(1.02)}html[data-theme=dark] .article-body figure img,html[data-theme=dark] .article-body p>img{filter:brightness(.88) saturate(.78) contrast(1.04)}.article-body figcaption{margin-top:11px;font-size:12px;line-height:1.8;color:var(--muted);text-align:center}.figlabel{margin-right:8px;font:400 9px/1 var(--sans);letter-spacing:.22em;text-transform:uppercase;color:var(--accent)}.table-wrap{margin:2em 0;overflow-x:auto}.article-body table{width:100%;border-collapse:collapse;font-size:13.5px;line-height:1.7;border-top:1.5px solid var(--ink);border-bottom:1.5px solid var(--ink)}.article-body caption{caption-side:top;margin-bottom:9px;text-align:left;color:var(--muted);font-size:12px}.article-body thead th{padding:9px 12px;border-bottom:.75px solid var(--rule-strong);text-align:left;color:var(--ink);font:600 9.5px/1.6 var(--sans);letter-spacing:.14em;text-transform:uppercase}.article-body tbody td{padding:10px 12px;border-bottom:.5px solid var(--rule);vertical-align:top}.article-body tbody tr:last-child td{border-bottom:none}.fnref{font-size:.68em;vertical-align:super;line-height:0}.fnref a{color:var(--accent);text-decoration:none}.article-body .footnotes{margin-top:3em;padding-top:15px;border-top:1px solid var(--rule-strong);font-size:12.5px;line-height:1.85;color:var(--muted)}.article-body .footnotes h3{margin:0 0 7px;font:400 9px/1 var(--sans);letter-spacing:.26em;text-transform:uppercase;color:var(--faint)}.article-body .footnotes ol{margin:0;padding-left:1.2em}.article-body code:not(pre code){padding:2px 6px;background:var(--code-bg);border:1px solid var(--rule);font:400 13px/1.4 var(--mono);color:var(--ink);border-radius:2px}.reader-code-block{position:relative;margin:2.2em 0;border:1px solid var(--rule);background:var(--code-bg);border-radius:2px;box-shadow:0 1px 2px #00000005}.reader-code-toolbar{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:6px 14px;background:var(--paper-deep);border-bottom:1px solid var(--rule);font:400 9px/1.4 var(--sans);letter-spacing:.16em;text-transform:uppercase;color:var(--muted);border-radius:2px 2px 0 0}.reader-code-toolbar .code-lang{font-family:var(--sans);font-weight:500}.reader-copy-status{margin-left:auto;font-size:9px;letter-spacing:.08em;color:var(--accent);text-transform:none}.reader-code-toolbar button{appearance:none;border:1px solid var(--rule);background:var(--paper);padding:2.5px 8px;border-radius:2px;font:400 9px/1.4 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-soft);cursor:pointer;transition:color .14s ease,border-color .14s ease,background-color .14s ease}.reader-code-toolbar button:hover{color:var(--accent);border-color:var(--accent)}.reader-code-toolbar button.is-copied{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}.reader-code-toolbar button[aria-disabled=true]{opacity:.5;cursor:wait}.reader-code-block pre{margin:0;padding:18px 20px;overflow-x:auto;background:transparent;border:0;color:var(--ink);font:400 12.5px/1.8 var(--mono)}.reader-code-block pre:focus-visible{outline:1px solid var(--accent);outline-offset:-1px}.reader-copy-buffer{position:absolute;left:-9999px;opacity:0}.hljs{color:var(--ink);background:transparent}.hljs-keyword,.hljs-selector-tag,.hljs-subst{color:var(--accent);font-weight:500}.hljs-string,.hljs-title,.hljs-section,.hljs-attribute,.hljs-literal,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-addition{color:#2e6047}html[data-theme=dark] .hljs-string,html[data-theme=dark] .hljs-title,html[data-theme=dark] .hljs-section,html[data-theme=dark] .hljs-attribute,html[data-theme=dark] .hljs-literal,html[data-theme=dark] .hljs-template-tag,html[data-theme=dark] .hljs-template-variable,html[data-theme=dark] .hljs-type,html[data-theme=dark] .hljs-addition{color:#72ab89}.hljs-comment,.hljs-quote,.hljs-deletion,.hljs-meta{color:var(--faint);font-style:italic}.hljs-number,.hljs-regexp,.hljs-link{color:#8c501c}html[data-theme=dark] .hljs-number,html[data-theme=dark] .hljs-regexp,html[data-theme=dark] .hljs-link{color:#d6945c}.hljs-built_in,.hljs-bullet,.hljs-code,.hljs-emphasis{color:var(--ink-soft);font-weight:500}.post-nav{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:3.5em;padding-top:24px;border-top:1px solid var(--rule-strong)}.post-nav-item{display:flex;flex-direction:column;gap:4px;padding:12px 14px;border:1px solid var(--rule);text-decoration:none;transition:border-color .14s ease,background-color .14s ease}.post-nav-item.newer{text-align:right;align-items:flex-end}.post-nav-item:hover{border-color:var(--accent);background:var(--paper-deep)}.post-nav-item.disabled{visibility:hidden}.post-nav-dir{font:400 9px/1.4 var(--sans);letter-spacing:.16em;text-transform:uppercase;color:var(--muted)}.post-nav-title{font-family:var(--serif);font-size:14px;line-height:1.5;color:var(--ink);text-wrap:pretty}.post-nav-item:hover .post-nav-title{color:var(--accent)}.site-foot{max-width:1020px;margin:0 auto;padding:24px clamp(20px,4vw,44px) 54px;border-top:1px solid var(--rule-strong);display:flex;flex-wrap:wrap;justify-content:space-between;gap:14px;font:400 9.5px/1.8 var(--sans);letter-spacing:.15em;text-transform:uppercase;color:var(--muted)}.site-foot p{margin:0}.study-switcher{display:flex;flex-wrap:wrap;gap:8px 18px;align-items:baseline;font-family:var(--sans);font-size:9.5px;letter-spacing:.15em}.study-switcher a{text-decoration:none;border-bottom:1px solid var(--rule);padding-bottom:1px;transition:color .14s ease,border-color .14s ease}.study-switcher a:hover{color:var(--accent);border-bottom-color:var(--accent)}@media(max-width:1240px){.paper-layout{grid-template-columns:minmax(0,740px) minmax(180px,220px);justify-content:center;gap:0 36px}.paper-gutter-left{display:none}.paper-center{max-width:740px;margin:0}}@media(max-width:900px){.paper-layout{display:block}.paper-gutter-left{display:none}.paper-center{max-width:100%;margin:0 auto}.toc{position:static;margin:36px 0 24px;padding:16px 20px;background:var(--paper-deep);border:1px solid var(--rule);border-radius:4px;max-height:none}.toc ol{display:flex;flex-wrap:wrap;gap:6px 10px;border-left:0;border-top:0}.toc li{border-bottom:0}.toc a{grid-template-columns:auto;gap:0;font-size:12px;padding:5px 10px;border-left:0;margin-left:0;background:var(--paper-deep);border:1px solid var(--rule);border-radius:2px}.toc a.is-current{border-color:var(--accent);background:var(--accent-soft)}.toc-num{display:none}.about-grid{grid-template-columns:1fr;gap:36px}.facts{max-width:360px}}@media(max-width:720px){body{font-size:16px}.head-top{gap:10px 12px;padding:16px 0 10px}.theme-switch{order:2}.head-search{order:3;flex:1 0 100%;width:auto;margin-top:2px}.brand{gap:10px}.brand-sub{display:none}.brand-name{font-size:24px}.theme-switch button{padding:5px 7px;letter-spacing:.08em}.site-nav{flex-wrap:wrap;gap:2px 16px;padding-bottom:12px;overflow:visible}.site-nav .nav-sep{display:none}.site-nav a{font-size:10px;letter-spacing:.1em}.head-search input{font-size:13px}.nav-count{font-size:8.5px}.listing-head{grid-template-columns:1fr;gap:8px;padding-top:20px}.listing-meta{flex-direction:row;flex-wrap:wrap;align-items:baseline;gap:6px 14px;padding-bottom:0;text-align:left}.timeline{margin-top:6px}#listingPage.is-category .timeline{margin-top:10px}.year-group{grid-template-columns:1fr;gap:3px;padding:13px 0 4px}.year-label{position:static;font-size:13px;letter-spacing:.12em}.year-label span{display:inline;margin-left:8px}.entry{grid-template-columns:42px minmax(0,1fr);gap:0 8px;padding:7px 0 8px}.entry time{font-size:9px;padding-top:3px}.entry-title{font-size:14px;line-height:1.55}.entry-meta{font-size:8px;gap:2px 8px}.entry-abstract{font-size:12px;line-height:1.7}.category-archive{margin-top:10px}.cat-group{padding:13px 0 15px}.cat-item{grid-template-columns:72px minmax(0,1fr);gap:8px;padding:3px 0}.cat-item a{font-size:14px;line-height:1.55}.about{padding-top:32px}.about h1{font-size:clamp(24px,7vw,30px)}.about .lede{font-size:15px}.post{padding-top:24px}.paper-head h1{font-size:clamp(24px,7vw,30px)}.paper-layout{padding-top:12px}.article-body{font-size:15px}.article-body .lede{font-size:16px}.article-body h2{font-size:19px}.formula,.katex-display{font-size:15px;gap:6px 10px;padding:14px 6px}.post-nav{grid-template-columns:1fr;gap:12px}.post-nav-item.newer{text-align:left;align-items:flex-start}.site-foot{padding:20px 20px 44px;flex-direction:column}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}