:root{--paper:#edeae4;--ink:#1c1a17;--moss:#3f4a42;--muted:#625e56;--line:#cec9c0;--serif:"Spectral",Georgia,serif;--display:"Fraunces",Georgia,serif;--sans:"Instrument Sans",Arial,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:2rem}body{background:var(--paper);color:var(--ink);margin:0;font-family:var(--serif);font-size:18px;line-height:1.65}a{color:var(--moss);text-underline-offset:.22em;text-decoration-thickness:1px}a:hover{text-decoration-color:var(--ink);color:var(--ink)}a:focus-visible,summary:focus-visible{outline:2px solid var(--moss);outline-offset:5px}p{margin:0 0 1.1em}h1,h2,h3{font-family:var(--display);font-weight:400;line-height:1.2}h1{font-size:clamp(2.4rem,5vw,3.6rem);letter-spacing:-.035em;margin:0 0 1rem}h2{font-size:1.8rem}h3{font-size:1.45rem}::selection{background:#d3dccf}.shell{max-width:960px;padding:0 40px;margin:auto}.site-header{display:flex;align-items:baseline;justify-content:space-between;padding:48px 0 25px;border-bottom:1px solid var(--line);gap:24px}.wordmark{font:400 29px var(--display);color:var(--ink);text-decoration:none;letter-spacing:-.7px}.name-period{color:var(--moss)}nav{display:flex;gap:28px;font:14px var(--sans)}nav a{text-decoration:none;padding:5px 0}nav a[aria-current]{border-bottom:1px solid var(--moss)}.hero{display:grid;grid-template-columns:1fr 185px;gap:55px;align-items:center;padding:68px 0 58px}.hero h1{max-width:570px}.hero p{max-width:560px;font-size:20px;line-height:1.6}.portrait{width:100%;height:246px;object-fit:cover;object-position:center;border-radius:2px}.eyebrow,.section-label{font:500 12px var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}.eyebrow{margin-bottom:22px}.intro-links{display:flex;gap:24px;font:14px var(--sans);margin-top:25px}.section-heading{display:flex;align-items:baseline;justify-content:space-between;border-bottom:1px solid var(--ink);padding-bottom:12px;margin-top:24px;gap:20px}.section-heading h2{font:500 12px var(--sans);letter-spacing:.12em;text-transform:uppercase;margin:0}.section-heading a{font:13px var(--sans)}.feature{display:grid;grid-template-columns:145px 1fr;gap:28px;padding:28px 0 33px;border-bottom:1px solid var(--line)}.meta{font:13px/1.7 var(--sans);color:var(--muted)}.feature .meta{padding-top:5px}.feature h3{font-size:1.85rem;margin:0 0 12px;max-width:560px}.feature h3 a,.note-row h3 a{color:var(--ink);text-decoration:none}.feature h3 a:hover,.note-row h3 a:hover{text-decoration:underline}.feature p{color:var(--muted);margin:0 0 16px}.text-link{font:14px var(--sans)}.note-row{padding:24px 0;border-bottom:1px solid var(--line);display:grid;grid-template-columns:145px 1fr;gap:28px}.note-row h3{margin:0 0 8px;font-size:1.4rem}.note-row p{font-size:17px;color:var(--muted);margin:0;line-height:1.55}.note-row .meta{padding-top:3px}.aside-note{padding:28px 0 0;color:var(--muted);font-size:17px}.site-footer{margin-top:70px;padding:22px 0 32px;border-top:1px solid var(--line);font:13px var(--sans);color:var(--muted);display:flex;justify-content:space-between;gap:22px}.site-footer div{display:flex;gap:23px}.page-intro{padding:60px 0 30px;max-width:670px}.page-intro p{font-size:20px;color:var(--muted)}.collection{margin:26px 0 45px}.collection h2{font-size:1.65rem;margin:0;padding:0 0 14px;border-bottom:1px solid var(--ink)}.collection .note-row{grid-template-columns:110px 1fr;gap:20px}.prose{max-width:690px}.prose h2{margin:42px 0 18px;font-size:1.65rem}.prose h3{font-size:1.25rem;margin-bottom:8px}.prose .meta{margin-bottom:14px}.research-title{font-size:2.25rem;margin:10px 0 20px}.about-grid{display:grid;grid-template-columns:1fr 200px;gap:55px}.about-grid .portrait{height:270px}.experience{padding:20px 0;border-bottom:1px solid var(--line)}.experience h3{margin:0 0 5px}.experience p{margin-bottom:0}.skip{position:fixed;top:-100px;left:16px;padding:10px 18px;background:var(--paper);z-index:10}.skip:focus{top:8px}.reading-shell{max-width:1030px}.article-top{padding:40px 0 0;font:14px var(--sans)}.article-summary{padding:22px 25px;border-left:2px solid var(--moss);background:#e5e2db;margin:28px 0 35px}.article-summary p{margin:0 0 9px}.article-summary p:last-child{margin:0}.article-summary .meta{font-size:14px}.related{border-top:1px solid var(--line);margin-top:38px;padding-top:25px}.related h2{font-size:1.4rem}.related ul{padding-left:22px}.reading-content{max-width:760px;margin:auto;padding-top:30px;overflow-wrap:break-word}.reading-content h1{font-size:clamp(2rem,4vw,2.8rem);text-align:left;line-height:1.2}.reading-content h2{font-size:1.6rem;margin:2.5rem 0 1rem}.reading-content h3{font-size:1.25rem;margin:1.7rem 0 .7rem}.reading-content .ltx_titlepage{text-align:left;margin-bottom:20px}.reading-content .ltx_author,.reading-content .ltx_date{font:14px/1.7 var(--sans);color:var(--muted);margin:3px 0}.reading-content p{text-align:left;hyphens:none}.reading-content .ltx_note{font-size:16px;color:var(--muted);line-height:1.6}.reading-content .ltx_page,.reading-content .ltx_document,.reading-content article{padding:0;margin:0;max-width:none;background:none;border:0;box-shadow:none}.reading-content .ltx_toc,.reading-content nav:not([aria-label]){display:block;background:#e5e2db;padding:20px 25px;margin:28px 0;font:15px/1.8 var(--sans)}.reading-content .ltx_toc h2{font:500 15px var(--sans);margin:0 0 12px}.reading-content .ltx_toc ol{list-style:none;padding-left:0;margin:0}.reading-content .ltx_toc ol ol{padding-left:22px}.reading-content .num,.reading-content .ltx_tag{margin-right:.5em}.reading-content .ltx_theorem{margin:1.3rem 0}.reading-content .ltx_theorem .ltx_title{font-weight:600}.reading-content .ltx_proof{margin:1rem 0}.reading-content .ltx_proof>.ltx_title{font-style:italic}.reading-content .qed{float:right}.reading-content .ltx_derivation{padding-left:18px;border-left:2px solid var(--line)}.reading-content mjx-container[display=true]{display:block;overflow-x:auto;overflow-y:hidden;padding:14px 0;max-width:100%;text-align:center}.reading-content mjx-container:not([display=true]){display:inline-block;position:relative}.reading-content mjx-assistive-mml{position:absolute!important;width:1px!important;height:1px!important;overflow:hidden!important;clip:rect(1px,1px,1px,1px)!important;padding:0!important}.reading-content mjx-container>svg{overflow:visible}.reading-content mjx-container[jax=SVG] path,.reading-content mjx-container[jax=SVG] use{stroke-width:3}.reading-content .math-display{overflow-x:auto}.reading-content footer{font-size:14px;color:var(--muted);margin-top:40px}.reading-content table{display:block;max-width:100%;overflow-x:auto}.reading-content .ltx_equation{overflow-x:auto}.reading-content hr{border:0;border-top:1px solid var(--line)}@media(max-width:640px){.shell{padding:0 22px}.site-header{padding-top:28px;gap:15px}nav{gap:18px;font-size:14px}.wordmark{font-size:26px}.hero{padding:42px 0 32px;gap:24px;grid-template-columns:1fr 96px;align-items:start}.hero h1{font-size:2.4rem}.hero p{font-size:18px;grid-column:1/-1}.hero .portrait{height:136px;margin-top:36px}.hero-copy{display:contents}.hero-copy .eyebrow{grid-column:1/-1;margin-bottom:0}.hero-copy h1{grid-column:1;grid-row:2;margin:0}.hero>.portrait{grid-column:2;grid-row:2;margin:0}.hero-copy p{margin:0}.hero-copy .intro-links{grid-column:1/-1;margin:0}.feature,.note-row,.collection .note-row{grid-template-columns:1fr;gap:8px}.feature h3{font-size:1.65rem}.note-row .meta{display:flex;gap:12px}.page-intro{padding:42px 0 18px}.page-intro p{font-size:18px}.about-grid{grid-template-columns:1fr}.about-grid .portrait{width:160px;height:215px;grid-row:1}.site-footer{margin-top:48px}.reading-content{padding-top:22px;font-size:17px}.reading-content .ltx_toc{padding:16px}.article-summary{padding:17px}.eyebrow{font-size:12px}.research-title{font-size:1.9rem}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{body{background:#fff;color:#000;font-size:11pt}.site-header,.site-footer,.article-top,.related,.skip{display:none}.shell{max-width:none;padding:0}.reading-content{max-width:none}.reading-content math[display=block],.reading-content mjx-container[display=true]{overflow:visible}.article-summary{background:none}.reading-content h2{break-after:avoid}}.article-heading{padding:15px 0 0}.article-heading h1{margin-bottom:14px}.article-subtitle{font-size:23px;color:var(--muted);line-height:1.4}.contents{margin:20px 0 35px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:14px 0;font:15px/1.75 var(--sans)}.contents summary{cursor:pointer;font-weight:500}.contents ol{list-style:none;padding:10px 0 5px;margin:0}.contents li{padding:3px 0}.contents li.sub{padding-left:22px;font-size:14px}.contents a{text-decoration:none}.contents a:hover{text-decoration:underline}.reading-content .secnum{margin-right:.5em}.reading-content .head,.reading-content .thm-title{font-weight:600}.reading-content .thm,.reading-content .proof{margin:22px 0}.reading-content .eq{display:flex;align-items:center;gap:15px;max-width:100%;margin:18px 0}.reading-content .mathwrap,.reading-content .eqn-body{min-width:0;flex:1;overflow-x:auto}.reading-content .eqno,.reading-content .eqn-number,.reading-content .ltx_eqn_tag{font-size:14px;flex-shrink:0;color:var(--muted)}.reading-content .notice,.reading-content .provenance,.reading-content .abstract,.reading-content .ltx_abstract{font-size:16px;color:var(--muted)}.reading-content .abstract h2{font-size:1.2rem;margin-top:1rem}.reading-content .ltx_abstract h6{font:500 14px var(--sans);margin:0 0 8px}.reading-content .ltx_title:empty,.reading-content .titlepage:empty{display:none}.reading-content math{font-family:"STIX Two Math","Cambria Math","Latin Modern Math",math;font-style:normal}.reading-content math:not([display=block]){line-height:normal}.reading-content .eqn{display:block;max-width:100%;overflow-x:auto;overflow-y:hidden;margin:1.15rem 0;padding:.4rem 0}.reading-content .eqn>math{width:fit-content;margin-inline:auto}.reading-content .ltx_eq{display:flex;justify-content:safe center;max-width:100%;overflow-x:auto;overflow-y:hidden;margin:1.05em 0;padding:.4em 0}.reading-content .eq .math{flex:1 1 auto;min-width:0;overflow-x:auto;overflow-y:hidden;text-align:center}.reading-content .eq .tag{flex:0 0 auto;font-size:.9em}.reading-content .ltx_theorem_thm p,.reading-content .ltx_theorem_thm ol,.reading-content .ltx_theorem_thm ul{font-style:italic}.reading-content .ltx_theorem .ltx_title{font-style:normal}.reading-content .ltx_derivation>.ltx_title,.reading-content .ltx_derivation p>.ltx_title{font-weight:600}.reading-content .thm.italic .body{font-style:italic}.reading-content .theorem{margin:1.2rem 0;padding:.8rem 1rem;border-left:2px solid var(--line)}.reading-content .thmhead{font-weight:600;margin-right:.4em}.reading-content .proofhead{font-style:italic;margin-right:.4em}.reading-content ol.steps{padding-left:1.5rem}.reading-content ol.steps>li{margin:.8rem 0}.reading-content .statement{margin:1.5rem 0;padding:1rem 1.15rem;border:0;border-left:2px solid var(--moss);background:#3f4a4209;font-style:normal;line-height:1.65}.reading-content .statement p,.reading-content .statement ol,.reading-content .statement ul,.reading-content .statement .body,.reading-content .statement .ltx_body,.reading-content .statement.thm.italic .body{font-style:normal}.reading-content .statement :is(.ltx_title,.head,.thmhead),.reading-content .statement :is(.ltx_title,.head,.thmhead) .name{font-family:var(--serif);font-size:1em;font-weight:600;font-style:normal;line-height:inherit;margin-right:.3em}.reading-content .statement p:last-child{margin-bottom:0}.reading-content .proof-block{margin:1.25rem 0 1.75rem;padding:0;border:0;background:none;font-style:normal}.reading-content .proof-block :is(.ltx_title,.head,.proofhead){font-family:var(--serif);font-size:1em;font-weight:400;font-style:italic;margin-right:.3em}.reading-content .proof-block:after{content:"";display:block;clear:both}.reading-content .derivation-block{margin:1.5rem 0;padding:.2rem 0 .2rem 1.15rem;border-left:2px solid var(--line);background:none}.reading-content .derivation-block :is(.ltx_title,.head){font-family:var(--serif);font-size:1em;font-weight:600;font-style:normal;margin-right:.3em}.reading-content .statement>.body,.reading-content .statement>.head{display:block}.reading-content .statement>.head{margin-bottom:.4rem}.collection-intro{font-size:17px;color:var(--muted);max-width:680px;margin:20px 0 2px}.intro-links,.profile-links{flex-wrap:wrap;row-gap:12px}.profile-links{display:flex;gap:24px;font:15px var(--sans)}.resource-pending{color:var(--muted);font:14px var(--sans)}.resource-pending>span{font-size:13px}.elsewhere{margin-top:42px}.course h2{margin-top:12px}.site-footer{flex-wrap:wrap}.site-footer div{flex-wrap:wrap;row-gap:12px}@media(prefers-reduced-motion:no-preference){.page-enter>.hero,.page-enter>.page-intro{animation:page-arrive .45s ease-out both}.site-header nav a{transition:color .18s ease,border-color .18s ease}.feature h3 a,.note-row h3 a{transition:color .18s ease,text-decoration-color .18s ease}.feature h3 a:hover,.note-row h3 a:hover{color:var(--moss)}@keyframes page-arrive{0%{opacity:.35;transform:translateY(6px)}to{opacity:1;transform:translateY(0)}}}@media(max-width:640px){.site-header{flex-wrap:wrap}.site-header nav{width:100%;gap:0;justify-content:space-between;font-size:13px}.reading-content .statement{padding:.8rem .85rem}.reading-content .derivation-block{padding-left:.85rem}}@media print{.reading-content .statement{background:none;break-inside:auto}}.essay{max-width:700px;margin:0 auto}.essay-header{padding:58px 0 30px;border-bottom:1px solid var(--line);margin-bottom:34px}.essay-header h1{font-size:clamp(2.1rem,4.8vw,3.2rem);line-height:1.16;margin:25px 0 18px}.essay-subtitle{font-size:23px;line-height:1.45;margin:0 0 22px}.essay-content{font-size:20px;line-height:1.75}.essay-content p{margin:0 0 1.25em}.essay-content blockquote{margin:1.7em 0;padding-left:1.3em;border-left:2px solid var(--line)}.essay-content blockquote p{margin:0}.essay-content li{margin-bottom:.8em}.essay-end{border-top:1px solid var(--line);padding-top:24px;margin-top:44px;font-size:16px}.feature h2{font-size:26px;line-height:1.3;margin:0 0 10px}.assistantship{border-top:1px solid var(--line);padding-top:24px;max-width:720px}.assistantship h2{font-size:27px;line-height:1.35;margin:10px 0 0}.assistantship .meta{margin:0}@media(max-width:640px){.hero-copy h1,.hero>.portrait{grid-row:1}.essay-header{padding-top:38px}.essay-content{font-size:19px}.essay-subtitle{font-size:21px}.feature h2{font-size:24px}}