:root{color-scheme:light;--bg: #fcfcfb;--fg: #242422;--muted: #686863;--surface: #f4f4f1;--line: #deded8;--accent: #315f8c}@media (prefers-color-scheme: dark){:root{color-scheme:dark;--bg: #171716;--fg: #deded9;--muted: #9a9a94;--surface: #242422;--line: #363633;--accent: #91b7dc}.figure__image--invert-dark{filter:invert(1) brightness(.87)}}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--fg);font:1rem/1.65 system-ui,sans-serif}button,input{font:inherit}img{max-width:100%}a{color:var(--accent)}a:hover{opacity:.75}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.icon{display:block;width:1em;height:1em;fill:none;stroke:currentColor;stroke-width:1.7;stroke-linecap:round;stroke-linejoin:round}.site-header{position:sticky;top:0;z-index:3;border-bottom:1px solid var(--line);background:var(--bg)}.site-header__inner{position:relative;display:flex;width:min(100%,70rem);height:3.25rem;align-items:center;gap:1rem;padding:0 1.25rem;margin:auto}.site-brand{margin-right:auto;color:var(--fg);font-weight:600;text-decoration:none}.site-navigation ul{display:flex;gap:1rem;padding:0;margin:0;list-style:none}.site-navigation a{color:var(--muted);font-size:.9rem;text-decoration:none}.site-navigation a[aria-current=page]{color:var(--fg);font-weight:600}.mobile-menu{display:none}.site-main{counter-reset:theorem}.theorem{counter-increment:theorem}.theorem .theorem-title::after{content:" " counter(theorem)}.content-container{display:flex;width:min(100%,46rem);min-height:calc(100vh - 3.25rem);padding:2rem 1.5rem 1rem;margin:auto;flex-direction:column}.page-context{margin-bottom:1.5rem;color:var(--muted);font-size:.8rem}.breadcrumb ol{display:flex;padding:0;margin:0;list-style:none}.breadcrumb li:last-child{color:var(--fg)}.breadcrumb li+li::before{margin:0 .4rem;content:"/"}.breadcrumb a{color:inherit;text-decoration:none}h1{margin:0 0 2rem;font-size:1.9rem}h2{margin-top:2.5rem;font-size:1.35rem}h3{margin-top:2rem;font-size:1.1rem}h1,h2,h3,h4{line-height:1.3;scroll-margin-top:4.25rem}.zola-anchor{margin-left:.3em;color:var(--muted);opacity:0;text-decoration:none}.zola-anchor::before{content:"#"}:hover>.zola-anchor,.zola-anchor:focus-visible{opacity:1}pre{overflow-x:auto}.MathJax{padding-top:.1em;overflow-x:auto;overflow-y:hidden}.MathJax:not([display=true]){display:inline-block;margin-block:-.4em;overflow:visible}.table-of-contents{padding-left:1rem;margin-bottom:2rem;color:var(--muted);font-size:.85rem}.table-of-contents ul{padding-left:1rem}.table-of-contents a{color:inherit;text-decoration:none}.about-portrait{float:right;width:7rem;height:7rem;margin:0 0 1rem 1rem;border-radius:50%;object-fit:cover}.figure{margin:2rem auto;text-align:center}.figure img{display:block;width:auto;height:auto;margin:0 auto}.figure figcaption{color:var(--muted);font-size:.85rem}.blockimg{max-width:100%;margin:1em auto;overflow-x:auto;overflow-y:hidden;text-align:center}.blockimg>svg{display:block;margin:0 auto}blockquote{padding-left:1rem;margin-left:0;border-left:2px solid var(--line)}summary{cursor:pointer}details.proof p:last-child::after{float:right;content:"☐"}.seminar-menu{padding-bottom:1rem;margin-bottom:2rem;border-bottom:1px solid var(--line);color:var(--muted);font-size:.9rem}.seminar-navigation{columns:2;padding-left:1.5rem}.seminar-navigation a[aria-current=page]{color:var(--fg);font-weight:600}.pdf-viewer{display:flex;flex-wrap:wrap;align-items:flex-end;gap:.75rem 1rem;margin:1.5rem 0}.pdf-viewer label{display:grid;gap:.2rem;color:var(--muted);font-size:.85rem}.pdf-viewer input{padding:.3rem .4rem}.pdf-viewer__key{width:6rem}.pdf-viewer__height{width:7rem}.pdf-viewer button{padding:.35rem .7rem;cursor:pointer}.pdf-viewer-frame{display:block;width:100%;margin-top:1rem;border:1px solid var(--line)}.post-card{padding-bottom:1.5rem;margin-bottom:1.5rem;border-bottom:1px solid var(--line)}.post-card h2{margin:0 0 .5rem;font-size:1.2rem}.post-card h2 a{color:var(--fg);text-decoration:none}.post-summary{margin:0;color:var(--muted)}.post-meta,.blogpost-taxonomy{margin-top:.7rem;color:var(--muted);font-size:.8rem}.post-meta__item+.post-meta__item::before{margin:0 .5rem;content:"·"}.post-meta a,.taxonomy-card{color:inherit}.blogpost--draft{padding:1rem;border:1px dashed var(--line)}.draft-notice{text-align:center}.blogpost-taxonomy{padding-top:1rem;margin-top:2rem;border-top:1px solid var(--line)}.blogpost-taxonomy p{margin:.25rem 0}.blogpost-taxonomy .tag-list{display:flex;flex-wrap:wrap;align-items:baseline;gap:0 .65rem}.taxonomy-label{margin-right:.75rem}.tag-list .taxonomy-label{margin-right:0}.taxonomy-groups{display:flex;flex-wrap:wrap;gap:.4rem 1rem}.taxonomy-groups+.taxonomy-groups{padding-top:1rem;margin-top:1rem;border-top:1px solid var(--line)}.taxonomy-card{font-size:.875rem;text-decoration:none}.taxonomy-count{color:var(--muted);font-size:.8em}.archive-list,.taxonomy-pages,.taxonomy-terms{padding:0;list-style:none}.archive-list__date{display:inline-block;width:4.5em;margin-right:1em;color:var(--muted);font-size:.85rem}.pagination{display:flex;align-items:center}.pagination__spacer{flex:1}.pagination__status{color:var(--muted);font-size:.8rem}.pagination a{padding:.5rem;color:var(--muted)}.not-found-art{overflow-x:auto;font-size:.85rem}.contact-links{display:flex;flex-wrap:wrap;gap:.75rem}.contact-links a{color:inherit}.site-footer{display:flex;justify-content:space-between;gap:1rem;padding-top:1rem;margin-top:auto;border-top:1px solid var(--line);color:var(--muted);font-size:.8rem}@media (max-width: 48rem){.desktop-navigation{display:none}.mobile-menu{display:block;color:var(--muted);font-size:.9rem}.mobile-menu__panel{position:absolute;top:3.25rem;right:0;left:0;padding:1rem 1.25rem;border-bottom:1px solid var(--line);background:var(--surface)}.mobile-menu .site-navigation ul{display:grid;gap:.5rem}.mobile-menu .contact-links{padding-top:.75rem;margin-top:.75rem;border-top:1px solid var(--line)}.seminar-navigation{columns:1}}@media (max-width: 35rem){.site-header__inner{padding:0 1rem}.content-container{padding:1.5rem 1rem 1rem}.about-portrait{width:5rem;height:5rem;margin-left:1rem}.pagination__status{display:none}.site-footer{flex-direction:column}}@media print{:root{color-scheme:light;--bg: #fff;--fg: #000;--muted: #444;--surface: #fff;--line: #aaa;--accent: #000}.site-header,.page-context,.giscus,.pdf-viewer,#pdf-viewer-output{display:none}.content-container{width:auto;padding:0}.figure__image--invert-dark{filter:none}h1,h2,h3,h4,details.proof>summary{break-after:avoid-page;page-break-after:avoid}details.proof>summary+*{break-before:avoid-page;page-break-before:avoid}p,li{orphans:3;widows:3}figure,blockquote.theorem,pre,table,tr,.blockimg,mjx-container[display=true]{break-inside:avoid-page;page-break-inside:avoid}}