:root{--paper:#f3ecdd;--paper-raised:#faf5e9;--ink:#2b2318;--ink-muted:#6e604c;--rule:#d9cdb4;--signal:#7d2f26;--signal-soft:#ead8c8;--noise:#a5967a;--font-sans:var(--font-eb-garamond),"EB Garamond","Times New Roman",serif;--font-body:var(--font-eb-garamond),"EB Garamond","Times New Roman",serif;--font-fell:var(--font-fell-face),"IM Fell English",Georgia,serif;--font-mono:var(--font-ibm-plex-mono),ui-monospace,monospace;--fs-h1:clamp(2.2rem,5vw,3.5rem);--fs-h2:1.75rem;--fs-h3:1.25rem;--fs-body:1.125rem;--fs-small:0.8125rem;--rail-w:16rem;--toc-w:15rem;--content-max:44rem;--gutter:2rem;--radius:0;--transition:200ms cubic-bezier(0.2,0.7,0.2,1)}*{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(--font-body);font-size:var(--fs-body);line-height:1.7;font-variant-numeric:oldstyle-nums proportional-nums;font-feature-settings:"liga","dlig","onum","pnum",oldstyle-nums proportional-nums;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}::selection{background:var(--signal);color:var(--paper)}a{color:var(--signal);text-decoration:none}a:hover{text-decoration:underline;text-underline-offset:3px}h1,h2,h3,h4{font-family:var(--font-sans);font-weight:700;line-height:1.2;letter-spacing:0;color:var(--ink)}h1{font-size:var(--fs-h1);font-style:italic}h1,h2{font-weight:400}h2{font-size:var(--fs-h2);margin:2.5em 0 .6em}h3{font-size:var(--fs-h3);margin:2em 0 .5em;font-weight:700}p{margin:0 0 1.2em}code,kbd,pre,samp{font-family:var(--font-mono)}.shell{display:grid;grid-template-columns:var(--rail-w) minmax(0,1fr);min-height:100vh}.shell__main{display:grid;grid-template-columns:minmax(0,1fr) var(--toc-w);align-items:start}.main-col{padding:3rem var(--gutter) 4rem}.footer-cell,.main-col{grid-column:1;width:100%;max-width:var(--content-max);margin:0 auto}.footer-cell{padding:0 var(--gutter) 3rem}.eyebrow{font-family:var(--font-sans);font-size:var(--fs-small);font-weight:400;letter-spacing:.18em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted)}h2.eyebrow{margin:0 0 1rem;font-style:normal;font-size:var(--fs-small);font-weight:400}.left-rail{position:-webkit-sticky;position:sticky;top:0;align-self:start;height:100vh;padding:2rem 1.5rem;display:flex;flex-direction:column;gap:2rem;border-right:1px solid var(--rule)}.left-rail__monogram{font-family:var(--font-fell);font-size:1.65rem;font-style:italic;font-weight:400;color:var(--ink);letter-spacing:0}.left-rail__nav{display:flex;flex-direction:column;gap:.1rem}.left-rail__nav a{color:var(--ink-muted);font-family:var(--font-sans);font-size:.95rem;border-left:none;padding:.3rem 0;display:inline-flex;align-items:baseline;gap:.45rem}.left-rail__nav a:hover{color:var(--ink);text-decoration:none}.left-rail__nav a.active{color:var(--signal)}.left-rail__nav a.active:before{content:"❦";font-family:var(--font-fell);font-style:italic;font-size:.85em;color:var(--signal)}.right-rail{grid-column:2;align-self:stretch;position:-webkit-sticky;position:sticky;top:0;max-height:100vh;padding:3rem 1.5rem;overflow-y:auto}.toc{font-family:var(--font-sans);font-size:.85rem}.toc__title{font-size:var(--fs-small);letter-spacing:.18em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted);margin:0 0 .75rem}.toc ul{list-style:none;padding:0;margin:0}.toc li{margin:.3rem 0}.toc a{color:var(--ink-muted);line-height:1.4;display:block}.toc a:hover{color:var(--ink);text-decoration:none}.toc a.active{color:var(--signal)}.toc__sub{padding-left:1rem}.progress{position:fixed;top:0;left:0;height:1px;width:100%;background:var(--ink);transform:scaleX(0);transform-origin:left;z-index:50}.entropy-divider{display:flex;align-items:center;justify-content:center;gap:.85rem;height:auto;margin:3rem auto;max-width:22rem;background:none;opacity:1;color:var(--signal);font-family:var(--font-fell);font-style:italic;font-size:1.1rem;line-height:1}.entropy-divider:after,.entropy-divider:before{content:"";flex:1 1;height:5px;border-top:1px solid var(--rule);border-bottom:1px solid var(--rule)}.hero{margin:2rem 0 3.5rem;text-align:center}.hero__title{font-family:var(--font-sans);font-weight:400;font-style:italic;font-size:clamp(2.4rem,7vw,4.4rem);line-height:1.15;letter-spacing:0;margin:0 auto .25rem;max-width:16ch}.hero__accent,.hero__ornament{color:var(--signal)}.hero__ornament{font-family:var(--font-fell);font-style:italic;font-size:1.35rem;margin:1.15rem 0 1.25rem;line-height:1}.hero__dek{font-size:1.15rem;font-style:italic;color:var(--ink-muted);max-width:36rem;margin:0 auto 2rem}.hero__dek p{margin:0 0 .65rem}.hero__dek footer{margin:0}.hero__dek cite{font-style:normal;font-size:var(--fs-small);letter-spacing:.12em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted)}.hero .entropy-divider{margin:2.25rem auto 0}.article-header{margin-bottom:2.75rem;text-align:center}.article-header h1{margin:.5rem auto .75rem;max-width:22ch}.article-header__dek{font-size:1.15rem;font-style:italic;color:var(--ink-muted);margin:0 auto 1.1rem;max-width:36rem}.article-meta{display:flex;flex-wrap:wrap;gap:.6rem .85rem;align-items:center;justify-content:center;font-size:var(--fs-small);font-feature-settings:"smcp";font-variant:small-caps;letter-spacing:.08em}.article-meta,.tag{font-family:var(--font-sans);color:var(--ink-muted)}.tag{font-size:.78rem;font-feature-settings:"smcp";font-variant:small-caps;letter-spacing:.06em;padding:.12rem .5rem}.lang-switch,.tag{border:1px solid var(--rule);border-radius:0}.lang-switch{display:inline-flex;gap:0;overflow:hidden;font-family:var(--font-sans);font-size:.8rem;line-height:1;white-space:nowrap}.lang-switch a,.lang-switch span{display:inline-flex;align-items:center;justify-content:center;min-width:2.5rem;padding:.4rem .95rem;color:var(--ink-muted)}.lang-switch a:hover{text-decoration:none;color:var(--ink)}.lang-switch .active{background:var(--signal);color:var(--paper)}.lang-switch a.active:hover{color:var(--paper)}.lang-switch .disabled{opacity:.4;cursor:not-allowed}.prose{color:var(--ink)}.prose ol,.prose p,.prose ul{max-width:38rem}.prose ol,.prose ul{padding-left:1.4rem}.prose li{margin:.3rem 0}.prose>p:first-of-type:first-letter{float:left;font-family:var(--font-body);font-style:normal;font-weight:400;font-size:3.35em;line-height:.78;padding:.08em .14em 0 0;color:var(--signal)}.prose h2{font-feature-settings:"smcp";font-variant:small-caps;letter-spacing:.08em;font-weight:400;font-style:normal;padding-bottom:.35em;border-bottom:1px solid var(--rule)}.prose blockquote{margin:1.5rem 0;padding:.35rem 0 .35rem 1.2rem;border-left:1px solid var(--signal);color:var(--ink-muted);font-style:italic}.prose img{max-width:100%;border-radius:0}.prose a{text-decoration:underline;text-underline-offset:3px}.prose table{border-collapse:collapse;width:auto;margin:1.6rem 0;font-size:.92rem;font-feature-settings:"tnum";font-variant-numeric:tabular-nums;max-width:100%;border-top:2px solid var(--ink);border-bottom:2px solid var(--ink)}.prose td,.prose th{border:none;border-bottom:1px solid var(--rule);padding:.45rem .85rem .45rem 0;text-align:left}.prose th{font-family:var(--font-sans);font-weight:700;font-feature-settings:"smcp";font-variant:small-caps;letter-spacing:.04em;border-bottom:1px solid var(--ink)}.prose tbody tr:nth-child(2n),.prose th{background:none}.prose tbody tr:last-child td{border-bottom:none}.prose td[style*="text-align:right"],.prose th[style*="text-align:right"]{font-family:var(--font-mono);white-space:nowrap}@media (max-width:600px){.prose table{display:block;overflow-x:auto}}.prose h2 .anchor,.prose h3 .anchor{opacity:0;margin-left:.5rem;color:var(--noise);text-decoration:none;font-size:.85em}.prose h2:hover .anchor,.prose h3:hover .anchor{opacity:1}.prose :not(pre)>code{font-size:.88em;padding:.1em .35em;border-radius:0}.prose :not(pre)>code,.prose pre{background:var(--paper-raised);color:var(--ink)}.prose pre{position:relative;border:1px solid var(--rule);border-radius:0;padding:1.1rem 1.25rem;overflow-x:auto;font-size:.85rem;line-height:1.6;margin:1.5rem 0}.prose pre code{font-family:var(--font-mono);background:none;padding:0;color:inherit}.prose pre [data-line]{display:block}.code-copy{position:absolute;top:.5rem;right:.5rem;border:1px solid var(--rule);background:var(--paper);color:var(--ink-muted);font-family:var(--font-mono);font-size:.7rem;padding:.25rem .5rem;border-radius:0;cursor:pointer;opacity:0;transition:opacity var(--transition)}.prose pre:hover .code-copy{opacity:1}.code-copy:hover{background:var(--signal-soft);color:var(--ink)}.katex-display{margin:1.6em 0;overflow-x:auto;overflow-y:hidden}.katex{font-size:1.05em}.callout{margin:1.8rem 0;padding:1rem 1.25rem;border:1px solid var(--rule);background:var(--paper-raised);border-radius:0}.callout__label{font-family:var(--font-sans);font-size:var(--fs-small);letter-spacing:.16em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted);margin-bottom:.4rem}.callout--theorem{border-color:var(--signal)}.callout--theorem .callout__label{color:var(--signal)}.callout--definition{border-color:var(--ink)}.callout--definition .callout__label{color:var(--ink)}.callout--lemma,.callout--note{border-color:var(--noise)}.callout__body p:last-child{margin-bottom:0}.callout__body p{max-width:38rem}.lightbox{position:fixed;inset:0;z-index:100;background:rgba(43,35,24,.88);display:flex;align-items:center;justify-content:center;padding:2rem;cursor:zoom-out;animation:lightbox-in .16s ease}.lightbox__img{max-width:92vw;max-height:86vh;object-fit:contain;border-radius:0;box-shadow:0 12px 40px rgba(43,35,24,.45)}.lightbox__caption{bottom:1.5rem;left:0;right:0;text-align:center;color:var(--paper);font-family:var(--font-sans);font-size:.85rem;padding:0 1.5rem}.lightbox__caption,.lightbox__hint{position:absolute;pointer-events:none}.lightbox__hint{top:1rem;right:1.25rem;color:var(--paper-raised);font-family:var(--font-mono);font-size:.78rem}@keyframes lightbox-in{0%{opacity:0}to{opacity:1}}.plate-hatch-defs{position:absolute;width:0;height:0;overflow:hidden}.mermaid-wrap{display:flex;justify-content:center;margin:1.8rem 0;background:var(--paper);border:1px solid var(--ink);box-shadow:inset 0 0 0 3px var(--paper),inset 0 0 0 4px var(--rule);border-radius:0;padding:1.5rem 1.35rem;overflow-x:auto}.mermaid-wrap svg{max-width:100%;height:auto}.lightbox__diagram svg .node .label-container,.lightbox__diagram svg .node circle,.lightbox__diagram svg .node ellipse,.lightbox__diagram svg .node polygon,.lightbox__diagram svg .node rect.basic,.mermaid-wrap svg .node .label-container,.mermaid-wrap svg .node circle,.mermaid-wrap svg .node ellipse,.mermaid-wrap svg .node polygon,.mermaid-wrap svg .node rect.basic{fill:url(#vintage-plate-hatch)!important;stroke:var(--ink)!important;stroke-width:1.2px!important}.lightbox__diagram svg .node .label-container,.lightbox__diagram svg .node rect,.mermaid-wrap svg .node .label-container,.mermaid-wrap svg .node rect{rx:0;ry:0}.lightbox__diagram svg .label rect,.lightbox__diagram svg .node .label rect,.mermaid-wrap svg .label rect,.mermaid-wrap svg .node .label rect{fill:none!important;stroke:none!important}.lightbox__diagram svg .cluster rect,.mermaid-wrap svg .cluster rect{fill:var(--paper)!important;stroke:var(--ink)!important}.lightbox__diagram svg .edgePath .path,.lightbox__diagram svg .flowchart-link,.lightbox__diagram svg path.flowchart-link,.mermaid-wrap svg .edgePath .path,.mermaid-wrap svg .flowchart-link,.mermaid-wrap svg path.flowchart-link{stroke:var(--ink)!important;stroke-width:1.1px!important;fill:none!important}.lightbox__diagram svg .arrowheadPath,.lightbox__diagram svg marker path,.mermaid-wrap svg .arrowheadPath,.mermaid-wrap svg marker path{fill:var(--ink)!important;stroke:var(--ink)!important}.mermaid-wrap svg .edgeLabel rect,.mermaid-wrap svg .labelBkg{fill:var(--paper)!important;stroke:none!important}.mermaid-wrap .edgeLabel,.mermaid-wrap .label,.mermaid-wrap .nodeLabel,.mermaid-wrap foreignObject,.mermaid-wrap foreignObject div,.mermaid-wrap foreignObject span,.mermaid-wrap text{font-family:var(--font-body)!important;font-size:.95rem;color:var(--ink)!important;fill:var(--ink)}.mermaid-wrap .edgeLabel,.mermaid-wrap .labelBkg{background-color:var(--paper)!important}.mermaid-wrap--zoomable{cursor:zoom-in}.mermaid-wrap--zoomable:focus-visible{outline:2px solid var(--signal);outline-offset:2px}.lightbox__diagram{max-width:94vw;max-height:88vh;overflow:auto;background:var(--paper-raised);border:1px solid var(--rule);border-radius:0;padding:1.75rem 2rem;box-shadow:0 12px 40px rgba(43,35,24,.45);cursor:default}.lightbox__diagram,.lightbox__diagram-inner{display:flex;align-items:center;justify-content:center}.lightbox__diagram-inner svg{display:block;max-width:min(1100px,90vw);max-height:80vh}.commonplace{list-style:none;padding:0;margin:2rem 0 0}.commonplace>li+li{margin-top:2.75rem;padding-top:2.5rem;position:relative}.commonplace>li+li:before{content:"⁂";position:absolute;top:0;left:50%;transform:translate(-50%,-.55em);font-family:var(--font-fell);font-style:italic;color:var(--signal);font-size:1.05rem;line-height:1;background:var(--paper);padding:0 .45rem}.commonplace__item{margin:0}.commonplace__quote{padding:0;border:none;font-style:italic;font-size:1.2rem;line-height:1.55;color:var(--ink);text-align:center;max-width:36rem;margin:0 auto}.commonplace__quote p:last-child{margin-bottom:0}.commonplace__cite{margin:.9rem 0 0;text-align:center;font-size:var(--fs-small);letter-spacing:.12em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted)}.commonplace__cite a{color:inherit}.commonplace__cite a:hover{color:var(--signal);text-decoration:none}.quote-page{text-align:center}.quote-page__body{margin:1.5rem auto 0;padding:0;border:none;max-width:36rem;font-style:italic;font-size:1.35rem;line-height:1.55;color:var(--ink)}.quote-page__body p:last-child{margin-bottom:0}.quote-page__cite{margin:1rem 0 0;font-size:var(--fs-small);letter-spacing:.12em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted)}.quote-page__meta{display:flex;justify-content:center;margin-top:1.25rem}.quote-index__header h1{margin-bottom:.25rem}.post-list{list-style:none;padding:0;margin:0}.post-list li{padding:.7rem 0 .85rem;border-top:none;border-bottom:none}.post-list a{color:var(--ink)}.post-list a:hover{text-decoration:none;color:var(--signal)}.post-list__row{display:flex;align-items:flex-end;gap:.45rem;color:inherit}.post-list h3{margin:0;font-size:1.08rem;font-weight:400;font-style:italic;flex:0 1 auto;max-width:calc(100% - 12rem)}.post-list__leader{flex:1 1 1.5rem;min-width:1.25rem;height:.85em;background-image:radial-gradient(circle,var(--ink-muted) .85px,transparent .95px);background-size:6px 6px;background-repeat:repeat-x;background-position:left 72%;opacity:.55}.post-list__meta{flex:0 0 auto;font-family:var(--font-sans);font-size:var(--fs-small);font-feature-settings:"smcp";font-variant:small-caps;letter-spacing:.06em;color:var(--ink-muted);margin:0;white-space:nowrap}.post-list__dek{font-style:italic;color:var(--ink-muted);margin:.2rem 0 0;max-width:38rem}.site-footer{border-top:1px solid var(--rule);padding:2rem 0;font-family:var(--font-sans);font-size:var(--fs-small);color:var(--ink-muted);display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:1rem}.site-footer__mark{font-family:var(--font-fell);font-style:italic;color:var(--signal);font-size:1.1rem;line-height:1}.topbar{display:none}.topbar__brand{font-family:var(--font-fell);font-style:italic;font-weight:400}a:focus-visible,button:focus-visible{outline:2px solid var(--signal);outline-offset:2px;border-radius:2px}@media (max-width:1180px){.right-rail{display:none}.shell__main{grid-template-columns:minmax(0,1fr)}}@media (max-width:768px){.shell{grid-template-columns:minmax(0,1fr)}.left-rail{position:static;height:auto;border-right:none;border-bottom:1px solid var(--rule);flex-direction:row;align-items:center;justify-content:space-between;gap:1rem;padding:1rem 1.25rem}.left-rail__nav{flex-direction:row;flex-wrap:wrap;gap:.75rem}.left-rail__nav a{border-left:none;padding:0}.left-rail__nav a.active:before{content:none}.main-col{padding:2rem 1.25rem 3rem}.footer-cell{padding:0 1.25rem 2rem}.post-list h3{max-width:none}.post-list__row{flex-wrap:wrap}}.cv{max-width:46rem}.cv-header{display:flex;align-items:center;gap:1.5rem;flex-wrap:wrap}.cv-avatar{width:96px;height:96px;border-radius:999px;object-fit:cover;border:1px solid var(--rule);flex-shrink:0}.cv-header__info{min-width:0;flex:1 1 16rem}.cv-name{font-size:clamp(1.8rem,4vw,2.4rem);margin:0 0 .15rem;letter-spacing:0;font-style:italic;font-weight:400}.cv-title{margin:0 0 .6rem;font-size:1.05rem;font-style:italic}.cv-contact,.cv-title{color:var(--ink-muted)}.cv-contact{list-style:none;display:flex;flex-wrap:wrap;gap:.5rem 1rem;padding:0;margin:0;font-family:var(--font-sans);font-size:var(--fs-small)}.cv-contact li{display:inline-flex;align-items:center}.cv-contact li:after{content:"·";margin-left:1rem;color:var(--rule)}.cv-contact li:last-child:after{content:"";margin:0}.cv-print{margin-left:auto;font-family:var(--font-sans);font-size:var(--fs-small);color:var(--signal);background:var(--paper-raised);border:1px solid var(--rule);border-radius:0;padding:.35rem .9rem;cursor:pointer;align-self:flex-start}.cv-print:hover{background:var(--signal);color:var(--paper)}.cv-summary{max-width:38rem}.cv-section{display:grid;grid-template-columns:10rem 1fr;grid-gap:.25rem 1.5rem;gap:.25rem 1.5rem;margin:1.9rem 0;page-break-inside:avoid;break-inside:avoid}.cv-section__label{font-family:var(--font-sans);font-size:var(--fs-small);font-weight:400;letter-spacing:.18em;text-transform:uppercase;font-feature-settings:"smcp";font-variant:small-caps;color:var(--ink-muted);margin:.1rem 0 0}.cv-section__body{min-width:0}.cv-list{list-style:disc;padding-left:1.2rem;margin:0}.cv-list li{margin:.25rem 0}.cv-timeline{list-style:none;padding:0;margin:0}.cv-timeline__item{margin:.9rem 0}.cv-timeline__head{display:flex;justify-content:space-between;gap:1rem;align-items:baseline}.cv-timeline__title{font-family:var(--font-sans);font-weight:500;color:var(--ink)}.cv-timeline__date{font-family:var(--font-mono);font-size:.78rem;color:var(--ink-muted);white-space:nowrap}.cv-timeline__org{color:var(--ink-muted);font-size:.95rem;margin-top:.1rem}.cv-timeline__note{color:var(--ink-muted);font-size:.9rem;margin-top:.2rem;max-width:38rem}.cv-timeline__desc{margin:.3rem 0 0;max-width:38rem}.cv-skills{display:flex;flex-direction:column;gap:.6rem}.cv-skills__group{display:flex;gap:1rem;align-items:baseline;flex-wrap:wrap}.cv-skills__cat{font-family:var(--font-sans);font-size:var(--fs-small);color:var(--ink-muted);min-width:9rem}.cv-skills__items{font-family:var(--font-mono);font-size:.85rem;color:var(--ink)}.cv-projects{list-style:none;padding:0;margin:0}.cv-projects__item{margin:1rem 0}.cv-projects__name{font-family:var(--font-sans);font-weight:600}.cv-projects__desc{margin:.25rem 0 .4rem;max-width:38rem;color:var(--ink)}.cv-projects__tags{display:flex;flex-wrap:wrap;gap:.4rem}.cv-pubs{list-style:none;padding:0;margin:0}.cv-pubs li{margin:.5rem 0;max-width:38rem}.cv-pubs__venue{color:var(--ink-muted)}.cv-langs{list-style:none;padding:0;margin:0;display:flex;flex-direction:column;gap:.4rem}.cv-langs li{display:flex;gap:1rem}.cv-langs__name{font-family:var(--font-sans);min-width:8rem}.cv-footnote,.cv-langs__level{color:var(--ink-muted)}.cv-footnote{margin-top:2.5rem;font-size:var(--fs-small)}@media (max-width:600px){.cv-section{grid-template-columns:1fr;gap:.1rem}.cv-skills__cat{min-width:0}}@media print{.cv-print,.lang-switch,.left-rail,.right-rail,.site-footer{display:none!important}.shell,.shell__main{grid-template-columns:1fr}.shell__main{display:block}.footer-cell,.main-col{max-width:none;width:100%;margin:0;padding:0}body{background:var(--paper)}*{-webkit-print-color-adjust:exact;print-color-adjust:exact}a{color:inherit;text-decoration:none}.cv-projects__item,.cv-section,.cv-timeline__item{page-break-inside:avoid;break-inside:avoid}.entropy-divider{opacity:1}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:after,:before{animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}}