:root{--ink:#212529;--muted:#6c757d;--paper:#fff;--line:#dee2e6;--primary:#0d6efd}*{box-sizing:border-box}body{margin:0;background:#fff;color:var(--ink);font:16px/1.5 system-ui,-apple-system,"Segoe UI",Roboto,Arial,sans-serif}a{color:var(--primary);text-decoration:none}a:hover{text-decoration:underline}header{padding:16px 24px;background:#f8f9fa;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;gap:24px}.brand{color:var(--ink);font-size:20px;font-weight:600}.brand span{display:none}nav{display:flex;gap:24px}nav a{color:var(--muted);font-size:15px}nav a.active{color:var(--ink);font-weight:600}main{max-width:960px;margin:0 auto;padding:40px 24px 56px}h1,h2,h3{font-family:inherit;font-weight:500;line-height:1.25;color:var(--ink)}h1,.page-heading h1{font-size:32px;margin:0 0 16px}h2{font-size:24px;margin:0 0 16px}h3{font-size:19px;margin:0 0 8px}p{margin:0 0 16px}.eyebrow{font-size:14px;color:var(--muted);margin-bottom:8px}.hero{display:block;max-width:760px}.lead{font-size:16px;max-width:760px;color:var(--ink)}.button{display:inline-block;border:1px solid #6c757d;border-radius:4px;padding:7px 13px;margin:4px 8px 0 0;font:inherit;font-size:14px;color:#495057;background:#fff;cursor:pointer}.button:hover{background:#f1f3f5;text-decoration:none}.button.primary{background:var(--primary);border-color:var(--primary);color:#fff}.intro-meta{font-size:14px;color:var(--muted);margin-top:20px}.section{margin-top:32px;padding-top:24px;border-top:1px solid var(--line)}.section-head{display:flex;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:16px}.section-head h2{margin:0}.text-link{font-size:14px}.interests{display:block}.interest{margin-bottom:16px}.interest h3{display:inline;font-size:16px;font-weight:600}.interest p{display:inline;font-size:15px;margin-left:6px}.number{display:none}.subtle,.note{color:var(--muted)}.note{font-size:13px}.publication{display:grid;grid-template-columns:52px 1fr auto;gap:16px;padding:20px 0;border-bottom:1px solid var(--line)}.year{font-size:14px;color:var(--muted)}.publication p{font-size:14px;margin:4px 0}.tag{display:inline-block;align-self:start;background:#f1f3f5;color:#495057;border-radius:4px;padding:3px 7px;font-size:12px;white-space:nowrap}.links{display:flex;gap:16px;margin-top:10px;font-size:14px}.links button{border:0;padding:0;background:none;color:var(--primary);font:inherit;cursor:pointer}.links button:hover{text-decoration:underline}.page-heading{margin-bottom:24px}.toolbar{display:flex;gap:12px;margin-bottom:16px}input,select{font:inherit;font-size:15px;padding:8px 12px;border:1px solid #ced4da;border-radius:4px;background:#fff;color:var(--ink)}input{flex:1;min-width:0}input:focus,select:focus{border-color:#86b7fe;outline:3px solid #0d6efd30}.course{display:grid;grid-template-columns:130px 1fr;gap:24px;padding:24px 0;border-bottom:1px solid var(--line)}.course-code{font-size:14px;color:var(--muted)}.course h3{margin-top:8px}.resources{display:flex;gap:8px;flex-wrap:wrap}.resource{border:1px solid var(--line);border-radius:4px;padding:6px 10px;font-size:13px}.contact{display:grid;grid-template-columns:1fr 1fr;gap:40px}.contact-item{padding:0 0 16px;margin-bottom:16px;border-bottom:1px solid var(--line)}footer{max-width:912px;margin:auto;border-top:1px solid var(--line);padding:20px 0;font-size:13px;color:var(--muted)}footer span+span{display:none}dialog{border:1px solid var(--line);border-radius:6px;padding:24px;max-width:700px;width:90%}dialog pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:13px}dialog::backdrop{background:#0006}.empty{padding:24px 0;color:var(--muted)}:focus-visible{outline:3px solid #86b7fe;outline-offset:3px}@media(min-width:1100px){header{padding-left:calc((100% - 912px)/2);padding-right:calc((100% - 912px)/2)}}@media(max-width:600px){header{align-items:flex-start;flex-direction:column;gap:12px}nav{gap:20px;flex-wrap:wrap}main{padding-top:28px}h1,.page-heading h1{font-size:28px}.contact{grid-template-columns:1fr;gap:24px}.publication{grid-template-columns:40px 1fr;gap:12px}.publication>.tag{display:none}.course{grid-template-columns:1fr;gap:8px}.section-head{flex-wrap:wrap}.interest p{display:block;margin:4px 0 0}footer{margin:0 24px}}

.other-resources{margin-top:16px}.other-resources summary{cursor:pointer;color:var(--primary);font-size:14px}.other-resources ul{padding-left:20px;margin:10px 0}.other-resources li{margin:6px 0;font-size:14px}.other-resources p{margin-top:10px}

.current-teaching{border:1px solid var(--line);border-radius:4px;padding:20px;margin-bottom:24px;background:#f8f9fa}.current-teaching h2{margin-bottom:6px}.current-teaching ul{margin:12px 0 0;padding-left:20px}.current-teaching li{margin:8px 0}