:root{--bg:#12110f;--bg-elev:#1c1a17;--ink:#ece7de;--muted:#a39a8e;--line:#3d372f;--accent:#62c4b0;--accent-ink:#8fd9c8;--link:#86c0e8;--btn:#2d9a86;--btn-ink:#f4fffc;--shadow:0 10px 28px #00000052;--serif:"Source Serif 4", "Iowan Old Style", "Palatino Linotype", Palatino, serif;--sans:"Source Sans 3", "Segoe UI", system-ui, sans-serif;--mono:"IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;--measure:46rem;--wide:54rem}*,:before,:after{box-sizing:border-box}html{background:var(--bg);color:var(--ink);color-scheme:dark;font-family:var(--sans);scroll-behavior:smooth;font-size:18px;line-height:1.55}body{background:radial-gradient(1100px 420px at 8% -12%, #62c4b024, transparent 52%), radial-gradient(900px 380px at 100% 0%, #86c0e80f, transparent 46%), var(--bg);min-height:100vh;margin:0}::selection{background:color-mix(in srgb, var(--accent) 38%, transparent);color:var(--ink)}img{max-width:100%;height:auto}a{color:var(--link);text-underline-offset:.15em}a:hover{color:var(--accent-ink)}h1,h2,h3,h4{font-family:var(--serif);letter-spacing:-.015em;font-weight:650;line-height:1.2}h1{margin:0 0 .4em;font-size:clamp(1.8rem,3vw,2.35rem)}h2{border-bottom:1px solid var(--line);margin:2.2rem 0 .8rem;padding-bottom:.35rem;font-size:1.45rem}h3{margin:1.6rem 0 .5rem;font-size:1.15rem}p{margin:0 0 .9rem}.skip{background:var(--ink);color:var(--bg);z-index:10;padding:.5rem .8rem;position:absolute;top:0;left:-999px}.skip:focus{top:.5rem;left:.5rem}.wrap{width:min(var(--wide), calc(100% - 2rem));margin-inline:auto}.site-header{border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--bg) 78%, black);backdrop-filter:blur(12px);z-index:5;position:sticky;top:0}.site-header-inner{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:1rem;padding:.85rem 0 .75rem;display:flex}.brand{font-family:var(--serif);color:var(--ink);letter-spacing:-.02em;font-size:1.15rem;font-weight:650;text-decoration:none}.brand:hover,.brand span{color:var(--accent)}nav.main{flex-wrap:wrap;gap:.15rem 1rem;display:flex}nav.main a{color:var(--muted);font-size:.95rem;text-decoration:none}nav.main a[aria-current=page],nav.main a:hover{color:var(--ink);text-decoration:underline}main{padding:2rem 0 3.5rem}.site-footer{border-top:1px solid var(--line);color:var(--muted);padding:1.4rem 0 2rem;font-size:.9rem}.hero{grid-template-columns:11rem 1fr;align-items:start;gap:1.6rem 2rem;margin-bottom:.5rem;display:grid}@media (width<=720px){.hero{grid-template-columns:1fr}}.portrait{object-fit:cover;border:1px solid var(--line);width:100%;max-width:11rem;box-shadow:var(--shadow);background:var(--line);border-radius:2px}.kicker{letter-spacing:.12em;text-transform:uppercase;color:var(--accent);margin:0 0 .35rem;font-size:.82rem;font-weight:600}.motto{font-family:var(--serif);color:var(--muted);margin-bottom:.85rem;font-style:italic}.profile-links{flex-wrap:wrap;gap:.5rem;margin:1rem 0 0;padding:0;list-style:none;display:flex}.profile-links a{border:1px solid var(--line);background:var(--bg-elev);color:var(--ink);border-radius:999px;padding:.28rem .7rem;font-size:.92rem;text-decoration:none;display:inline-block}.profile-links a:hover{border-color:var(--accent);color:var(--accent-ink)}.pub-year{font-family:var(--serif);color:var(--accent-ink);border:none;margin:1.6rem 0 .6rem;padding:0;font-size:1.2rem}.pub-list{margin:0;padding:0;list-style:none}.pub{border-bottom:1px solid color-mix(in srgb, var(--line) 70%, transparent);grid-template-columns:auto 1fr;gap:.7rem .9rem;padding:.7rem 0;scroll-margin-top:4.5rem;display:grid}.pub-legend{color:var(--muted);flex-wrap:wrap;gap:.65rem 1.1rem;margin:-.2rem 0 1.1rem;padding:0;font-size:.82rem;display:flex}.pub-legend-item{align-items:center;gap:.35rem;display:inline-flex}.pub-icons{flex-wrap:wrap;align-self:start;gap:.28rem;min-width:2rem;max-width:4.6rem;padding-top:.12rem;display:flex}.icon-link{border:1px solid var(--line);background:var(--bg-elev);width:1.7rem;height:1.7rem;color:var(--ink);border-radius:5px;justify-content:center;align-items:center;padding:0;text-decoration:none;display:inline-flex}.icon-link svg{fill:none;stroke:currentColor;stroke-width:1.45px;stroke-linecap:round;stroke-linejoin:round;width:.95rem;height:.95rem}.icon-link .icon-fill{fill:currentColor;stroke:none}.icon-link--pdf{color:#e8a4a0}.icon-link--code{color:var(--accent)}.icon-link--slides{color:#e0c07a}.icon-link--video{color:var(--link)}.icon-link:hover{background:color-mix(in srgb, currentColor 16%, var(--bg-elev));border-color:currentColor}.pub-text{margin:0;font-size:.98rem}.pub-text .title{font-weight:600}.extras{margin-left:.35rem;font-size:.9em;display:inline}.card-grid{gap:1rem;display:grid}.card{background:var(--bg-elev);border:1px solid var(--line);box-shadow:var(--shadow);border-radius:6px;padding:1rem 1.1rem 1.05rem}.card h2,.card h3{border:none;margin-top:0;padding:0;font-size:1.15rem}.btn{background:var(--btn);color:var(--btn-ink);border-radius:4px;margin-top:.4rem;padding:.35rem .75rem;font-size:.92rem;text-decoration:none;display:inline-block}.btn:hover{background:var(--accent);color:#10211d}.btn-row{flex-wrap:wrap;gap:.5rem;display:flex}ul.plain{margin:0 0 1rem;padding-left:1.15rem}ul.plain li{margin-bottom:.45rem}.note-list a{font-weight:600}pre,code{font-family:var(--mono);font-size:.82rem}:not(pre)>code{background:var(--bg-elev);border:1px solid var(--line);border-radius:4px;padding:.05em .35em}pre{color:#e8e0d4;border:1px solid var(--line);background:#0d0c0b;border-radius:6px;padding:1rem 1.1rem;line-height:1.45;overflow:auto}table.key{border-collapse:collapse;margin:0 0 1rem}table.key td{font-family:var(--mono);padding:.15rem .8rem .15rem 0;font-size:.9rem}.figure{margin:1rem 0 1.4rem}.figure img{border:1px solid var(--line);background:#ece7de}.figure p{color:var(--muted);margin:.35rem 0 0;font-size:.88rem}.muted{color:var(--muted)}.erdos{color:var(--muted);margin-top:1.4rem;font-size:.92rem}