@font-face{font-family:Elegant Typewriter;src:url(/fonts/elegant-typewriter-light.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Elegant Typewriter;src:url(/fonts/elegant-typewriter-regular.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--page-gutter:1.25rem;--font-prose:"Elegant Typewriter", ui-monospace, "Courier New", monospace;--font-mono:ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace;--text:#f7ffe0;--text-muted:#b9c2a4;--background:#1a0f20;--surface:#271b2e;--border:#3d2f44;--accent:#dbffa3;--accent-hover:#f7ffe0;color-scheme:dark}.invert{filter:invert()}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-padding-top:1.5rem;font-size:clamp(1rem,.357vw + .679rem,1.25rem)}body{background:var(--background);color:var(--text);font-family:var(--font-prose);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;margin:0;font-size:1.125rem;line-height:1.65}h1,h2,h3,h4{text-wrap:balance;margin:2.5rem 0 .75rem;line-height:1.25}h1{margin-top:0;font-size:2rem;font-weight:400}h2{font-size:1.25rem}h3{font-size:1.1rem}p,ul,ol,blockquote,figure,table{margin:0 0 1.25rem}p{text-wrap:pretty}.page-prose,.prose p:not(.footnotes p),.entry__description,.news-text{text-align:justify;hyphens:auto;hyphenate-limit-chars:6 3 3}a{color:var(--accent);text-decoration:none}cite{font-style:normal}.article cite,.writing-list cite{font-style:italic}a:hover{color:var(--accent-hover)}:focus-visible{outline:3px solid var(--accent);outline-offset:2px}.skip-link{background:var(--background);color:var(--text);border:2px solid var(--accent);z-index:10;padding:.6rem 1rem;position:absolute;top:0;left:-9999px}.skip-link:focus{left:var(--page-gutter);top:var(--page-gutter)}.page{max-width:51.25rem;padding:0 var(--page-gutter);margin:0 auto}.site-header{padding:2rem 0 0}.site-header__bar{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 1.25rem;padding-bottom:1.5rem;display:flex}.site-header__name{color:var(--text);font-size:1.2rem}.site-nav ul{flex-wrap:wrap;gap:1rem;margin:0;padding:0;font-size:.95rem;list-style:none;display:flex}.site-nav a[aria-current]{font-weight:700}.site-nav a{color:var(--text-muted);padding:.25rem 0;display:inline-block}.site-nav a:hover,.site-nav a[aria-current]{color:var(--accent)}main{padding:3.75rem 0 4rem}.entry-list,.news-list,.supervision-list{margin:0;padding:0;list-style:none}.entry,.news-list li,.supervision-list li{border-bottom:1px solid var(--border)}.entry:last-child,.news-list li:last-child,.supervision-list li:last-child{border-bottom:0}.entry{padding:1.5rem 0}.news-list li,.supervision-list li{padding:.9rem 0}.entry__title{margin:0 0 .35rem;font-size:1.08rem;font-weight:700;line-height:1.35}.entry__meta{color:var(--text-muted);margin:0 0 .35rem;font-size:.9rem}.entry__description{margin:.45rem 0}.entry__authors{margin:0 0 .15rem;font-size:.9rem}.entry__related{color:var(--text-muted);border-left:2px solid var(--border);margin:.45rem 0 0;padding-left:1rem;font-size:.9rem}.news-list li{flex-wrap:wrap;gap:.25rem 1rem;display:flex}.news-date{color:var(--text-muted);flex:0 0 5.5rem;font-size:.9rem}.news-text{flex:18rem}.page-note{color:var(--text-muted);margin-top:1.5rem;font-size:.9rem}.supervision__topic{margin:0 0 .2rem;font-size:1.08rem}.home-intro{justify-content:space-between;align-items:center;gap:2rem;margin-bottom:2rem;display:flex}.home-intro h1{margin:.5rem 0}.portrait{object-fit:cover;border:1px solid var(--border);border-radius:50%;flex-shrink:0;width:150px;height:150px}.profile-links ul{flex-wrap:wrap;gap:.25rem .5rem;margin:1.5rem 0 0;padding:0;list-style:none;display:flex}.profile-links a{justify-content:center;align-items:center;width:44px;height:44px;display:inline-flex}.profile-links img,.profile-links svg{flex-shrink:0}.visually-hidden,.sr-only{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.section{margin-top:3rem}.section>h2{border-bottom:1px solid var(--border);margin-bottom:0;padding-bottom:.8rem;font-size:1.08rem;font-weight:400}@media (width<=540px){main{padding-top:2.5rem}.home-intro{gap:.75rem}.home-intro h1{font-size:1.6rem}.portrait{width:88px;height:88px}.site-header__bar{gap:1.15rem;padding-bottom:1.25rem}.site-nav ul{gap:.15rem 1.4rem}.site-nav a{padding:.45rem 0}}.article__header{margin-bottom:2rem}.article__meta{color:var(--text-muted);font-size:.9rem}.article__lede{color:var(--text-muted);margin:.5rem 0 0;font-size:1.2rem}.prose{overflow-wrap:break-word}.prose pre,.prose .math-block,.prose .overflow-x{max-width:100%;overflow-x:auto}.prose .math-block{margin:1.5rem 0;padding-bottom:.2rem}.prose pre{background:var(--surface);border:1px solid var(--border);border-radius:4px;padding:.9rem 1rem;font-size:.9rem;line-height:1.5}.prose code{font-family:var(--font-mono);font-size:.92em}.prose :not(pre)>code{background:var(--surface);border:1px solid var(--border);border-radius:3px;padding:.05em .3em}.prose img,.prose video{max-width:100%;height:auto}.prose figure{margin:2rem 0}.prose figcaption{color:var(--text-muted);margin-top:.5rem;font-size:.87rem}.prose table{border-collapse:collapse;width:100%;font-size:.95rem}.prose th,.prose td{border:1px solid var(--border);text-align:left;padding:.45rem .6rem}.prose blockquote{border-left:3px solid var(--border);color:var(--text-muted);margin-left:0;padding-left:1rem}.footnotes,.article__end{border-top:1px solid var(--border);margin-top:3rem;font-size:.95rem}.footnotes{padding-top:1rem}.footnotes li:target,.prose [data-footnote-ref]:target{background:var(--surface);box-shadow:0 0 0 .35rem var(--surface);border-radius:2px}.prose [data-footnote-ref],.prose [data-footnote-backref]{position:relative}.prose [data-footnote-ref]:after,.prose [data-footnote-backref]:after{content:"";position:absolute;inset:-.5rem -.4rem}.note-preview{z-index:5;background:var(--surface);border:1px solid var(--border);border-radius:4px;max-width:min(30rem,100vw - 1rem);padding:.7rem .9rem;font-size:.9rem;line-height:1.5;position:absolute;box-shadow:0 .4rem 1.2rem #00000073}.note-preview>:last-child{margin-bottom:0}.article__toc ul{padding-left:1.25rem}.article__toc ul ul{margin:.15rem 0 .35rem}@media (width>=88em){.article__toc{width:15rem;height:0;margin-left:-17rem;font-size:.85rem;line-height:1.45;position:sticky;top:2rem}.article__toc h2{font-size:inherit;color:var(--text-muted);margin:0 0 .6rem}.article__toc ul{margin:0;list-style:none}.article__toc>ul{max-height:calc(100vh - 6rem);padding:.2rem;overflow-y:auto}.article__toc li{margin:.2rem 0}.article__toc ul ul{padding-left:.9rem}.article__toc a{border-left:2px solid #0000;padding-left:.6rem;display:block}.article__toc a[aria-current]{color:var(--text);border-left-color:var(--accent)}.article__end .to-contents{display:none}}.article__end{flex-wrap:wrap;gap:.5rem 2rem;margin-bottom:0;padding-top:1.25rem;display:flex}.article__end a{padding:.3rem 0}.figure-wide{width:100%}@media (width>=1100px){.figure-wide{width:min(100vw - 3rem,62rem);margin-left:calc(50% + min(100vw - 3rem,62rem)/-2)}}@media print{:root{--text:#000;--text-muted:#444;--background:#fff;--surface:#eee;--border:#bbb;--accent:#000;--accent-hover:#000;color-scheme:light}.skip-link,.site-header,.article__end,.prose [data-footnote-backref]{display:none}main{padding:0}.invert{filter:none}h2,h3{break-after:avoid}p{orphans:3;widows:3}.prose pre,.prose figure,.prose blockquote{break-inside:avoid}.prose pre{print-color-adjust:exact}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}