.site-header{position:sticky;top:0;z-index:20;border-bottom:1px solid var(--line);background:var(--header-background);backdrop-filter:blur(16px)}.header-inner{display:flex;align-items:center;justify-content:space-between;min-height:96px;gap:32px}.wordmark{display:inline-flex;align-items:center;gap:13px;color:var(--ink);font-size:15px;font-weight:600;letter-spacing:-.025em;flex-shrink:0}.monogram{display:grid;place-items:center;width:42px;height:45px;color:var(--paper);background:var(--green);font-family:var(--serif);font-size:34px;font-style:italic;font-weight:400;padding-bottom:5px}.wordmark-detail{display:block;color:var(--muted);font-size:10px;letter-spacing:.025em;font-weight:400;margin-top:3px}.primary-navigation{display:flex;align-items:center;gap:23px;margin-left:auto}.primary-navigation>a{display:inline-flex;align-items:center;gap:4px;position:relative;color:var(--muted);font-size:13px;padding:12px 0}.primary-navigation>a svg{width:13px;height:13px}.primary-navigation>a:hover,.primary-navigation>a[aria-current=page]{color:var(--green)}.primary-navigation>a[aria-current=page]:after{content:"";position:absolute;left:0;right:0;bottom:5px;height:1px;background:currentColor}.primary-navigation>.nav-contact{color:var(--green);border:1px solid var(--line-strong);padding:10px 14px;gap:14px}.primary-navigation>.nav-contact:hover{background:var(--green);border-color:var(--green);color:var(--paper)}.menu-toggle{display:none}.header-controls{display:flex;align-items:center;gap:8px;flex-shrink:0}.theme-toggle{display:grid;place-items:center;width:44px;height:44px;color:var(--green);border:1px solid var(--line-strong);background:transparent;transition:background-color .16s}.theme-toggle:hover{background:var(--sage)}.theme-icon-light,[data-theme=dark] .theme-icon-dark{display:none}[data-theme=dark] .theme-icon-light{display:block}@media (max-width: 960px){.header-inner{min-height:78px;gap:16px}.menu-toggle{display:grid;place-items:center;background:transparent;border:1px solid var(--line-strong);width:44px;height:44px;color:var(--ink)}.primary-navigation{display:none;position:absolute;top:100%;left:0;right:0;padding:16px var(--gutter) 24px;background:var(--paper);border-bottom:1px solid var(--line-strong);box-shadow:0 16px 20px #1e30240d}.primary-navigation.is-open{display:flex;flex-direction:column;align-items:stretch;gap:3px}.primary-navigation>a{min-height:44px;font-size:16px;padding:10px 0}.primary-navigation>a[aria-current=page]:after{display:none}.primary-navigation>.nav-contact{margin-top:10px;justify-content:space-between;padding-inline:15px}}@font-face{font-family:Geist;src:url(/assets/Geist-Regular-b497f5ad.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Geist;src:url(/assets/Geist-SemiBold-45ab21f6.woff2) format("woff2");font-weight:600 800;font-style:normal;font-display:swap}:root{--paper: #f9f8f4;--ink: #242b25;--muted: #666d64;--green: #244e40;--green-hover: #163c2e;--sage: #e9ede5;--line: #dedfd6;--line-strong: #bdc5b7;--header-background: rgb(249 248 244 / 94%);--footer-background: #f0f1ea;--surface-text: #51624c;--surface-muted: #5b6b54;--surface-line: #c4cebb;--surface-hover: #d8e1d2;--graph-line: #b6c2b0;--graph-node: #96a58d;--figure-grid: #83977930;--selection-background: #d6e1cd;--selection-text: #173a2b;--serif: "Iowan Old Style", "Palatino Linotype", "Book Antiqua", Palatino, Georgia, serif;--mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;--gutter: clamp(22px, 5vw, 72px);color-scheme:light;font-family:Geist,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-synthesis:none;font-size:16px;color:var(--ink);background:var(--paper);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}:root[data-theme=dark]{--paper: #16161d;--ink: #eceaf1;--muted: #aba8b8;--green: #a59bf4;--green-hover: #c2baff;--sage: #22222e;--line: #33323f;--line-strong: #514d64;--header-background: rgb(22 22 29 / 94%);--footer-background: #1b1b24;--surface-text: #c1bbd5;--surface-muted: #b0a9c4;--surface-line: #494356;--surface-hover: #333044;--graph-line: #514b65;--graph-node: #8b7fa8;--figure-grid: #aa9cef24;--selection-background: #474067;--selection-text: #f5f1ff;color-scheme:dark}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:125px}body{margin:0;line-height:1.7}::selection{background:var(--selection-background);color:var(--selection-text)}a{color:var(--green);text-decoration:none;text-underline-offset:4px;transition:color .16s,background-color .16s,border-color .16s}a:hover{color:var(--green-hover)}button,input{font:inherit}button{cursor:pointer}button:disabled{cursor:default}button,a,summary{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--green);outline-offset:5px}img,svg{max-width:100%}svg{flex-shrink:0;vertical-align:middle}h1,h2,h3,h4,p{margin:0}h1,h2,h3,h4{font-weight:400}h1,h2{font-family:var(--serif);letter-spacing:-.055em;line-height:1.08}h1{font-size:clamp(58px,7.2vw,94px)}h2{font-size:clamp(34px,4vw,47px)}h3{font-size:22px;letter-spacing:-.035em;line-height:1.35}p+p{margin-top:18px}strong{font-weight:600}code{font-family:var(--mono);font-size:.85em;background:var(--sage);padding:2px 5px}.container{width:min(100% - var(--gutter) * 2,1180px);margin-inline:auto}.accent{color:var(--green)}.muted{color:var(--muted)}.eyebrow{font-family:var(--mono);font-size:10px;line-height:1.6;font-weight:400;letter-spacing:.14em;text-transform:uppercase}.section-number{color:var(--green);margin-right:15px}.text-link{display:inline-flex;align-items:center;gap:10px;font-size:13px;font-weight:600}.text-link svg{width:17px;transition:transform .16s}.text-link:hover svg{transform:translate(3px)}.button{display:inline-flex;align-items:center;justify-content:center;gap:25px;padding:13px 21px;min-height:48px;font-size:13px;line-height:1.5;border:1px solid var(--green);background:var(--green);color:var(--paper);transition:background-color .16s,transform .16s}.button:hover{background:var(--green-hover);color:var(--paper);transform:translateY(-2px)}.button.secondary{background:transparent;color:var(--green);border-color:var(--line-strong)}.button.secondary:hover{background:var(--sage)}.skip-link{position:fixed;left:20px;top:-100px;z-index:100;background:var(--green);color:var(--paper);padding:12px 20px}.skip-link:focus{top:15px}.visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap;border:0}.prose a,.news-copy a{text-decoration:underline;text-decoration-color:var(--line-strong)}.prose a:hover,.news-copy a:hover{text-decoration-color:currentColor}.hero{display:grid;grid-template-columns:1.25fr 1fr;align-items:center;gap:70px;padding-block:88px 80px}.hero-copy{animation:enter .6s ease-out both}.hero .eyebrow{display:flex;align-items:center;gap:10px;margin-bottom:27px;color:var(--green)}.status-dot{width:6px;height:6px;border-radius:50%;background:var(--green);box-shadow:0 0 0 4px var(--sage)}.hero h1{white-space:nowrap;margin-left:-4px}.hero-description{font-size:clamp(19px,2vw,23px);line-height:1.6;letter-spacing:-.035em;margin-top:29px;max-width:520px}.hero-affiliation{color:var(--muted);font-size:13px;line-height:1.8;margin-top:23px}.hero-affiliation a{color:var(--ink);text-decoration:underline;text-decoration-color:var(--line-strong)}.hero-actions{display:flex;flex-wrap:wrap;align-items:center;gap:27px;margin-top:31px}.research-areas{display:flex;flex-wrap:wrap;align-items:center;gap:14px 30px;border-block:1px solid var(--line);padding-block:22px}.research-areas .eyebrow{margin-right:auto;color:var(--muted);font-size:9px}.research-areas>span:not(.eyebrow){font-size:12px;display:inline-flex;align-items:center;gap:11px}.area-symbol{color:var(--green);font-family:var(--serif);font-size:23px;line-height:1}.fixed-point{margin:0;background-color:var(--sage);background-image:radial-gradient(var(--figure-grid) .8px,transparent .8px);background-size:18px 18px;padding:25px 27px 20px;color:var(--green);position:relative;animation:enter .75s 80ms ease-out both}.figure-top{display:flex;justify-content:space-between;gap:10px}.figure-top .eyebrow{margin:0;font-size:9px;gap:0}.figure-index{font-family:var(--mono);font-size:10px;color:var(--muted)}.lattice{display:block;width:100%;height:auto;margin-block:8px 2px;overflow:visible}.lattice-edge{stroke:var(--graph-line);stroke-width:1.2;transition:stroke .25s}.lattice-edge.visited{stroke:var(--green);stroke-width:2}.lattice-node{fill:var(--sage);stroke:var(--graph-node);stroke-width:1.5;transition:fill .25s,stroke .25s}.lattice-node.visited{fill:var(--green);stroke:var(--green)}.lattice-halo{fill:none;stroke:var(--green);stroke-width:1;opacity:.3}.lattice-label{font-family:var(--mono);font-size:12px;fill:var(--surface-muted);text-anchor:middle}.lattice-label.visited{fill:var(--green)}.figure-equation{font-family:var(--serif);font-size:32px;letter-spacing:-.03em;text-align:center;font-style:italic;line-height:1.25}.figure-caption{text-align:center;font-size:11px;color:var(--surface-muted);margin-top:7px}.figure-controls{display:flex;align-items:center;justify-content:space-between;border-top:1px solid var(--surface-line);padding-top:14px;margin-top:22px;gap:10px}.figure-state{font-family:var(--mono);font-size:10px}.figure-button{display:flex;align-items:center;gap:8px;border:0;padding:8px 10px;margin-right:-10px;color:var(--green);background:transparent;font-size:11px}.figure-button:hover{background:var(--surface-hover)}.figure-button svg{width:15px;height:15px}.fixed-point-explorations{min-width:0}.figure-panel[hidden]{display:none}.figure-selector{display:flex;border:1px solid var(--line);border-top:0;padding:5px;gap:5px}.figure-selector button{display:inline-flex;align-items:center;justify-content:center;gap:12px;flex:1;border:0;background:transparent;color:var(--muted);padding:10px;min-height:44px;font-size:11px;transition:background-color .16s,color .16s}.figure-selector button span{font-family:var(--mono);font-size:9px;opacity:.75}.figure-selector button:hover{background:var(--sage)}.figure-selector button[aria-pressed=true]{color:var(--green);background:var(--sage)}.datalog-figure{display:flex;flex-direction:column;min-height:465px}.datalog-program{margin-top:25px}.datalog-label{font-family:var(--mono);font-size:9px;letter-spacing:.08em;text-transform:uppercase;color:var(--surface-muted)}.datalog-program pre{margin:11px 0 0;font-family:var(--mono);font-size:clamp(9px,.85vw,11px);line-height:1.8;white-space:pre-wrap;overflow-wrap:anywhere}.datalog-program code{background:none;padding:0;font-size:inherit}.datalog-rule{color:var(--surface-text);transition:color .2s}.datalog-rule.rule-active{color:var(--green);text-decoration:underline;text-decoration-color:var(--graph-node);text-underline-offset:4px}.datalog-results{margin-top:22px;border-top:1px solid var(--surface-line);padding-top:15px}.datalog-results-heading{display:flex;align-items:baseline;justify-content:space-between;gap:15px}.datalog-count{color:var(--surface-muted);font-family:var(--mono);font-size:9px}.datalog-fact-area{min-height:106px;padding-top:13px}.datalog-empty{font-family:var(--serif);font-size:36px;color:var(--surface-muted);text-align:center;padding-top:8px}.datalog-facts{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:7px;list-style:none;padding:0;margin:0}.datalog-fact{border:1px solid var(--surface-line);color:var(--surface-muted);padding:4px 3px;text-align:center}.datalog-fact code{background:none;font-size:clamp(9px,.85vw,11px);padding:0;white-space:nowrap}.datalog-fact.is-new{border-color:var(--green);background:var(--surface-hover);color:var(--green)}.datalog-legend{color:var(--surface-muted);font-size:9px;display:flex;align-items:center;gap:7px;margin-top:10px}.datalog-legend>span{display:inline-block;width:7px;height:7px;border:1px solid var(--green);background:var(--surface-hover)}.datalog-figure .figure-caption{margin-top:19px;font-size:10px;text-align:left}.datalog-controls{padding-top:13px;margin-top:auto;gap:8px}.datalog-status{display:flex;flex-direction:column;gap:4px}.datalog-explanation{color:var(--surface-muted);font-size:10px;line-height:1.5}.datalog-controls .figure-button{flex-shrink:0}.home-section{padding-block:69px;border-bottom:1px solid var(--line)}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:24px;margin-bottom:34px}.section-heading .eyebrow{margin-bottom:13px;color:var(--muted)}.section-heading>.text-link{margin-bottom:5px}.publication{display:grid;grid-template-columns:130px minmax(0,1fr);gap:28px;padding:32px 0;border-top:1px solid var(--line);scroll-margin-top:125px}.publication-meta{padding-top:4px}.venue{display:inline-block;color:var(--green);font-family:var(--mono);font-size:11px;letter-spacing:.025em}.publication-year{display:block;font-family:var(--serif);font-size:27px;line-height:1.4;color:var(--muted);margin-top:5px}.publication h3{max-width:800px;font-size:21px}.publication h3 a{color:var(--ink)}.publication h3 a:hover{color:var(--green);text-decoration:underline;text-decoration-thickness:1px}.publication-authors{font-size:12px;color:var(--muted);margin-top:10px}.publication-summary{color:var(--muted);font-size:14px;line-height:1.8;margin-top:14px;max-width:760px}.publication-links{display:flex;flex-wrap:wrap;gap:8px 22px;margin-top:19px}.publication-links a{display:inline-flex;align-items:center;gap:6px;font-size:11px;font-weight:600;padding-block:4px}.publication-links svg{width:13px;height:13px}.publication-links a:hover{text-decoration:underline}.paper-details{margin-top:20px;font-size:13px}.paper-details summary{color:var(--green);cursor:pointer;width:fit-content;padding-block:5px}.paper-details p{margin-top:12px;color:var(--muted);line-height:1.9;max-width:780px}.tags{display:flex;flex-wrap:wrap;gap:7px;margin-top:18px}.tag{padding:3px 9px;background:var(--sage);color:var(--surface-text);font-family:var(--mono);font-size:9px;line-height:1.8}.home-split{display:grid;grid-template-columns:1.05fr 1fr;gap:80px;padding-block:70px 80px}.home-split .section-heading{margin-bottom:29px}.home-split h2{font-size:38px}.news-item{display:grid;grid-template-columns:100px minmax(0,1fr);gap:20px;padding-block:22px;border-top:1px solid var(--line)}.news-date{font-family:var(--mono);color:var(--muted);font-size:10px;white-space:nowrap;padding-top:4px}.news-copy{font-size:13px;line-height:1.8}.home-news .news-item{grid-template-columns:75px minmax(0,1fr);gap:17px;padding-block:18px}.home-news .text-link{margin-top:20px}.teaching-preview{padding:30px;background:var(--sage)}.teaching-preview .eyebrow{color:var(--green);margin-bottom:18px}.teaching-preview h3{font-family:var(--serif);font-size:34px;letter-spacing:-.045em;line-height:1.15;max-width:300px}.teaching-preview>p:not(.eyebrow){font-size:13px;color:var(--muted);margin-top:17px}.mini-course{display:flex;align-items:baseline;gap:16px;border-top:1px solid var(--surface-line);font-size:12px;padding-block:13px;color:var(--ink)}.mini-course:first-of-type{margin-top:25px}.mini-course span{font-family:var(--mono);font-size:9px;color:var(--surface-muted)}.teaching-preview .text-link{margin-top:17px}.personal-note{display:flex;gap:16px;font-size:11px;color:var(--muted);margin-top:21px;padding-inline:2px}.personal-note span:first-child{color:var(--green);font-size:16px}.page-heading{padding-block:77px 49px}.page-heading .eyebrow{color:var(--muted);margin-bottom:24px}.page-heading h1{font-size:clamp(55px,6.5vw,80px)}.page-intro{font-size:17px;line-height:1.8;max-width:690px;color:var(--muted);margin-top:25px;letter-spacing:-.015em}.page-intro a{text-decoration:underline;text-decoration-color:var(--line-strong)}.page-content{padding-bottom:80px}.research-context{display:grid;grid-template-columns:repeat(3,1fr);gap:30px;padding-block:28px 36px;border-top:1px solid var(--line)}.research-context h2{font-family:Geist,sans-serif;font-size:15px;letter-spacing:-.025em;line-height:1.5;margin-bottom:10px}.research-context p{font-size:13px;color:var(--muted);line-height:1.8}.filter-bar{display:flex;flex-wrap:wrap;align-items:center;gap:7px;padding-block:19px;border-top:1px solid var(--line)}.filter-button{border:1px solid transparent;background:transparent;color:var(--muted);padding:9px 16px;font-size:12px;min-height:42px}.filter-button:hover{background:var(--sage);color:var(--green)}.filter-button[aria-pressed=true]{background:var(--green);color:var(--paper)}.filter-count{margin-left:auto;color:var(--muted);font-family:var(--mono);font-size:10px}.research-list .publication{padding-block:34px}.callout{border-left:2px solid var(--green);background:var(--sage);padding:22px 25px;font-size:14px;margin-block:6px 42px;color:var(--green)}.callout p+p{font-size:12px;margin-top:8px}.subsection-heading{display:flex;align-items:baseline;justify-content:space-between;gap:20px;margin-block:40px 26px}.subsection-heading h2{font-size:34px}.subsection-heading>p{font-size:11px;color:var(--muted)}.course-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:22px}.course{border:1px solid var(--line);padding:28px;display:flex;flex-direction:column}.course-top{display:flex;justify-content:space-between;gap:15px;margin-bottom:19px}.course-code{font-family:var(--mono);font-size:12px;color:var(--green)}.course-category{font-family:var(--mono);font-size:9px;color:var(--muted);text-transform:uppercase;letter-spacing:.06em}.course h3{font-family:var(--serif);font-size:30px;line-height:1.2;letter-spacing:-.04em}.course-description{color:var(--muted);font-size:13px;line-height:1.9;margin-top:16px}.course .tags{margin-top:auto;padding-top:20px}.course .text-link{margin-top:20px;font-size:12px}.course details{margin-top:20px;padding-top:15px;border-top:1px solid var(--line);font-size:11px}.course summary{cursor:pointer;color:var(--muted);padding-block:5px}.course details p{color:var(--muted);margin-top:10px;font-size:11px}.past-course{display:grid;grid-template-columns:130px minmax(0,1fr);gap:24px;padding-block:26px;border-top:1px solid var(--line)}.past-course h3{font-size:18px}.past-course p{font-size:13px;color:var(--muted);margin-top:9px}.past-course .course-semesters{font-size:11px}.cv-actions{display:flex;gap:14px;margin-top:25px}.cv-section{display:grid;grid-template-columns:220px minmax(0,1fr);gap:40px;padding-block:36px;border-top:1px solid var(--line)}.cv-section>h2{font-size:32px}.cv-entry+.cv-entry{border-top:1px solid var(--line);margin-top:25px;padding-top:25px}.cv-entry-heading{display:flex;align-items:baseline;justify-content:space-between;gap:20px}.cv-entry h3{font-size:16px;font-weight:600}.cv-date{font-family:var(--mono);color:var(--muted);font-size:10px;flex-shrink:0}.cv-place{font-size:12px;color:var(--green);margin-top:5px}.cv-description{font-size:13px;color:var(--muted);margin-top:8px}.cv-skills{display:grid;grid-template-columns:1fr 1fr;gap:25px}.cv-skills h3{font-size:14px;font-weight:600}.cv-skills p{font-size:13px;color:var(--muted);margin-top:8px}.archive-year{display:grid;grid-template-columns:160px minmax(0,1fr);gap:40px;padding-block:18px 35px}.archive-year h2{font-size:40px;border-top:1px solid var(--line);padding-top:18px}.resource-list{border-top:1px solid var(--line)}.resource{display:grid;grid-template-columns:60px minmax(0,1fr) 30px;gap:25px;padding:32px 0;border-bottom:1px solid var(--line)}.resource .eyebrow{color:var(--muted);padding-top:5px}.resource h2{font-size:31px}.resource p{font-size:14px;color:var(--muted);margin-top:12px;max-width:700px}.resource>svg{margin-top:7px;transition:transform .16s}.resource:hover>svg{transform:translate(3px,-3px)}.not-found{padding-block:95px 110px}.not-found .eyebrow{margin-bottom:20px;color:var(--green)}.not-found p{margin-block:25px;color:var(--muted)}.site-footer{background:var(--footer-background);border-top:1px solid var(--line)}.footer-top{display:flex;justify-content:space-between;gap:40px;padding-block:52px 41px}.footer-top .eyebrow{color:var(--muted);font-size:9px;margin-bottom:12px}.footer-email{display:inline-flex;align-items:baseline;gap:30px;font-family:var(--serif);font-size:50px;line-height:1.2;letter-spacing:-.05em}.footer-email svg{width:28px;height:28px}.footer-address{margin-top:21px;color:var(--muted);font-size:11px;line-height:1.9}.footer-links{display:grid;align-content:center;min-width:170px;gap:9px}.footer-links a{display:flex;align-items:center;justify-content:space-between;font-size:12px;min-height:30px}.footer-links svg{width:14px;height:14px}.footer-bottom{display:flex;justify-content:space-between;flex-wrap:wrap;align-items:center;gap:15px;padding-block:21px;border-top:1px solid var(--surface-line);color:var(--muted);font-size:10px}.footer-aside{display:inline-flex;align-items:center;gap:9px}.footer-aside svg{color:var(--green)}.footer-bottom a{color:var(--muted)}@keyframes enter{0%{opacity:0;transform:translateY(12px)}to{opacity:1;transform:translateY(0)}}@media (min-width: 1500px){.hero{padding-block:105px 95px}}@media (max-width: 1050px){.hero{gap:35px;padding-block:65px}.hero h1{font-size:70px}.hero-description{font-size:20px}.home-split{gap:40px}.research-areas{gap:13px 22px}.research-areas .eyebrow{width:100%}.cv-section{grid-template-columns:175px minmax(0,1fr);gap:30px}}@media (max-width: 800px){.hero{grid-template-columns:1fr;gap:40px;padding-block:52px 42px}.hero h1{font-size:clamp(58px,10vw,86px)}.hero-description{max-width:540px}.fixed-point-explorations{width:100%;max-width:500px;justify-self:center}.datalog-program pre,.datalog-fact code{font-size:11px}.lattice{max-height:280px}.home-section{padding-block:45px}.home-split{grid-template-columns:1fr;padding-block:45px 50px;gap:42px}.publication{grid-template-columns:100px minmax(0,1fr);gap:22px}.research-context{grid-template-columns:1fr;gap:24px}.research-context h2{margin-bottom:5px}.page-heading{padding-block:48px 35px}.page-intro{font-size:16px}.cv-section{grid-template-columns:1fr;gap:25px}.archive-year{grid-template-columns:1fr;gap:20px}.archive-year h2{border:0;padding-top:0}.footer-aside{order:3;width:100%}}@media (max-width: 550px){.hero h1{font-size:clamp(49px,11.5vw,64px)}.hero .eyebrow{font-size:9px;margin-bottom:22px}.hero-description{font-size:19px;margin-top:22px}.hero-affiliation{font-size:12px}.hero-actions{gap:22px}.fixed-point{padding-inline:20px}.datalog-program pre,.datalog-fact code{font-size:clamp(9px,2.6vw,11px)}.research-areas>span:not(.eyebrow){font-size:11px}.section-heading{align-items:start;flex-direction:column;gap:18px;margin-bottom:25px}.section-heading .eyebrow{margin-bottom:10px}.publication{grid-template-columns:1fr;gap:15px;padding-block:26px}.publication-meta{display:flex;align-items:baseline;gap:13px;padding:0}.publication-year{display:inline;font-family:var(--mono);font-size:10px;margin:0}.publication h3{font-size:20px}.publication-summary{font-size:13px}.teaching-preview{padding:25px}.page-content{padding-bottom:48px}.filter-button{padding-inline:12px}.filter-count{width:100%;margin-top:5px}.course-grid{grid-template-columns:1fr}.course{padding:24px}.subsection-heading{align-items:start;flex-direction:column;gap:10px}.past-course{grid-template-columns:1fr;gap:10px}.cv-entry-heading{flex-direction:column;gap:5px}.cv-skills{grid-template-columns:1fr}.cv-actions{flex-wrap:wrap}.news-item{grid-template-columns:72px minmax(0,1fr);gap:15px}.resource{grid-template-columns:minmax(0,1fr) 24px;gap:16px}.resource .eyebrow{grid-column:1 / -1}.resource h2{font-size:28px}.footer-top{flex-direction:column;gap:30px;padding-block:38px}.footer-links{grid-template-columns:1fr 1fr;column-gap:35px}}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important}}@media print{:root,:root[data-theme=dark]{font-size:11px;--paper: white;--ink: black;--muted: #444;--green: #222;--sage: #f0f0f0;--line: #ddd;color-scheme:light}.site-header,.site-footer,.skip-link,.cv-actions{display:none}.container{width:100%}.page-heading{padding:0 0 25px}.page-heading h1{font-size:42px}.page-intro{font-size:12px;max-width:none}.cv-section{grid-template-columns:130px minmax(0,1fr);padding-block:20px;gap:20px}.cv-section>h2{font-size:24px}.cv-entry{break-inside:avoid}.cv-entry h3{font-size:12px}.cv-description,.cv-skills p{font-size:11px}.cv-entry-heading{flex-direction:row}.cv-skills{grid-template-columns:1fr 1fr}.page-content{padding:0}a{color:inherit}}