:root,html[data-theme=day]{color-scheme:light;--paper: #ffffff;--ink: #000000;--ink-soft: #444444;--rule: #000000;--rule-soft: #cccccc;--link: #000000;--accent: #000000;--abstract-bg: transparent;--toggle-bg: #ffffff;--shadow: transparent}html[data-theme=night]{color-scheme:dark;--paper: #000000;--ink: #ffffff;--ink-soft: #bbbbbb;--rule: #ffffff;--rule-soft: #333333;--link: #ffffff;--accent: #ffffff;--abstract-bg: transparent;--toggle-bg: #000000;--shadow: transparent}@media(prefers-color-scheme:dark){:root:not([data-theme]){color-scheme:dark;--paper: #000000;--ink: #ffffff;--ink-soft: #bbbbbb;--rule: #ffffff;--rule-soft: #333333;--link: #ffffff;--accent: #ffffff;--abstract-bg: transparent;--toggle-bg: #000000}}*{box-sizing:border-box}html{font-size:18px}body{margin:0;min-height:100vh;background:var(--paper);color:var(--ink);font-family:"Computer Modern Serif","CMU Serif",Latin Modern Roman,Times New Roman,Times,serif;line-height:1.55;text-rendering:optimizeLegibility}body,.wrap,.site-header,.theme-toggle{transition:background-color .16s ease,color .16s ease,border-color .16s ease}@media(prefers-reduced-motion:reduce){body,.wrap,.site-header,.theme-toggle{transition:none}}a{color:var(--link);text-decoration-thickness:.5px;text-underline-offset:.16em}a:hover{text-decoration:none}.wrap{width:min(40.5rem,calc(100% - 2.4rem));margin:0 auto;padding:1.6rem 0 3.5rem}.site-header{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.28rem 0 .35rem;border-top:2.2px solid var(--rule);border-bottom:.7px solid var(--rule)}.wordmark-lockup{display:flex;align-items:center;gap:.5rem}.wordmark{color:var(--ink);font-size:.95rem;font-style:normal;text-decoration:none}.wordmark:hover{text-decoration:underline;text-decoration-thickness:.5px}.header-tools{display:flex;align-items:center;gap:.95rem}.nav{display:flex;gap:.95rem;font-size:.88rem}.nav a{color:var(--ink);text-decoration:none}.nav a:hover,.nav a[aria-current=page]{text-decoration:underline;text-decoration-thickness:.5px;text-underline-offset:.16em}.theme-toggle{margin:0;padding:0;border:0;background:transparent;color:var(--ink);font-family:inherit;font-size:1.05rem;line-height:1;letter-spacing:0;cursor:pointer}.theme-toggle:hover,.theme-toggle:focus-visible{opacity:.7;text-decoration:none;outline:none}.masthead{padding:2.4rem 0 1.8rem;text-align:center}.journal-name{margin:0 0 .85rem;font-size:.78rem;font-variant:small-caps;letter-spacing:.22em}.masthead h1{margin:0;font-size:2.15rem;font-weight:400;line-height:1.2}.author{margin:.85rem 0 0;font-size:1.05rem}.meta-line{margin:.2rem 0 0;color:var(--ink-soft);font-size:.95rem;font-style:italic}.abstract{width:min(32rem,100%);margin:0 auto 2.1rem;text-align:justify;hyphens:auto}.abstract-label{display:block;margin-bottom:.45rem;font-variant:small-caps;letter-spacing:.14em;text-align:center}.abstract p{margin:0;font-size:.96rem}.abstract p+p{margin-top:.7rem}s,del{text-decoration-line:line-through;text-decoration-thickness:1px}.section-label{margin:0 0 .7rem;font-variant:small-caps;letter-spacing:.16em;text-align:center}.toc{list-style:none;margin:0;padding:0}.toc li{margin:0}.toc a{display:grid;grid-template-columns:1.7em 1fr auto;align-items:baseline;column-gap:.55rem;padding:.28rem 0;color:inherit;text-decoration:none}.toc-num{font-variant-numeric:tabular-nums;text-align:right}.toc-date{color:var(--ink-soft);font-size:.95rem;font-style:italic;white-space:nowrap}.toc a:hover .toc-title{text-decoration:underline;text-decoration-thickness:.5px;text-underline-offset:.16em}.page-title,.article-header h1{margin:0;font-size:1.85rem;font-weight:400;line-height:1.25;text-align:center}.article-header,.page-head{padding:2.15rem 0 1.35rem;text-align:center}.portrait-link{display:block;flex:0 0 auto;line-height:0}.portrait{display:block;width:1.55rem;height:1.55rem;border:0;border-radius:50%;object-fit:cover;object-position:center 38%}.portrait-view{position:fixed;inset:0;z-index:20;display:flex;align-items:center;justify-content:center;padding:1.5rem;background:#000000c7;cursor:pointer}.portrait-view[hidden]{display:none}.portrait-view img{max-width:min(28rem,92vw);max-height:88vh;border:.7px solid #fff}.post-meta{margin:.45rem 0 0;color:var(--ink-soft);font-size:.95rem;font-style:italic}.prose{text-align:justify;hyphens:auto}.prose>*:first-child{margin-top:0}.prose p{margin:0 0 .15rem;text-indent:1.35em}.prose p:first-of-type,.prose h2+p,.prose h3+p{text-indent:0}.prose h2,.prose h3{margin:1.55rem 0 .55rem;font-size:1.15rem;font-weight:700;text-align:left}.prose h3{font-size:1.05rem;font-style:italic;font-weight:400}.prose strong{font-weight:700}.prose em{font-style:italic}.prose blockquote{margin:1.1rem 1.6rem;color:var(--ink-soft);font-style:italic}.prose code{font-family:Computer Modern Typewriter,CMU Typewriter Text,ui-monospace,monospace}.katex,.katex-display{color:var(--ink)}.prose :not(pre)>code{font-size:.92em}.prose pre{overflow-x:auto;padding:.85rem 1rem;border:.7px solid var(--rule-soft);font-size:.88rem;text-align:left}.prose ul,.prose ol{margin:.65rem 0 .85rem 1.35rem;padding:0;text-align:left}.prose li{margin:.18rem 0}.prose li p{text-indent:0}.prose hr{border:0;border-top:.7px solid var(--rule-soft);margin:1.55rem 0}.prose table{width:100%;border-collapse:collapse;margin:.95rem 0 1.1rem;font-size:.9rem;text-align:left}.prose th,.prose td{border-bottom:.7px solid var(--rule-soft);padding:.32rem .55rem .32rem 0;vertical-align:top}.prose th{font-weight:700}.prose p:has(>img),.prose p:has(>a>img){text-indent:0;margin:1.25rem -.4rem}.prose img{display:block;width:100%;height:auto;border:.7px solid var(--rule-soft);background:#f2f2f2}@media(min-width:860px){.prose p:has(>img),.prose p:has(>a>img){width:calc(100% + 5.4rem);margin-left:-2.7rem}}.prose .katex-display{margin:1rem 0;overflow-x:auto;overflow-y:hidden}.site-footer{margin-top:2.6rem;padding-top:1.15rem;border-top:.7px solid var(--rule);color:var(--ink-soft);font-size:.88rem;font-style:italic;text-align:center}.term-art{margin:0 auto;text-align:center}.term-prompt{margin:0;color:var(--ink);font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Monaco,Consolas,Courier New,monospace;font-size:.72rem;font-style:normal;font-weight:400;letter-spacing:0}.term-pixel{display:block;margin:.7rem auto 0;width:128px;height:80px;overflow:hidden;image-rendering:pixelated;image-rendering:crisp-edges;user-select:none}html[data-theme=night] .term-pixel{filter:invert(1)}.footer-copy{margin:.95rem 0 0}.footer-links{margin-left:.85rem}.footer-links a{font-style:normal}.footer-links a+a{margin-left:.75rem}@media(max-width:640px){html{font-size:17px}.wrap{width:min(40.5rem,calc(100% - 1.5rem))}.masthead h1,.page-title,.article-header h1{font-size:1.55rem}.prose,.abstract{text-align:start;hyphens:manual}.toc a{grid-template-columns:1.5em 1fr}.toc-date{grid-column:2}}