:root{
  --paper:#FCFBF7;
  --panel:#F5F3EC;
  --ink:#182230;
  --muted:#5C6673;
  --line:#E3E0D5;
  --green:#25764A;
  --green-fill:#D9F0D2;
  --red:#B2433E;
  --red-fill:#F7D4D0;
  --maxw:1060px;
  --measure:72ch;
  --serif:"STIX Two Text",Georgia,serif;
  --sans:"Public Sans",system-ui,sans-serif;
  --mono:"IBM Plex Mono",ui-monospace,monospace;
}
[data-theme="dark"]{
  --paper:#1C2A33;
  --panel:#16222A;
  --ink:#EDF3EE;
  --muted:#9AABB2;
  --line:rgba(237,243,238,.16);
  --green:#9FD8A6;
  --green-fill:#24402D;
  --red:#EFA8A2;
  --red-fill:#4A2B28;
}
*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}
html{scroll-behavior:smooth;scroll-padding-top:72px}
body{background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:16.5px;line-height:1.65;-webkit-font-smoothing:antialiased;transition:background .2s,color .2s}
a{color:var(--green);text-decoration:none;border-bottom:1px solid transparent;transition:border-color .15s,color .15s}
a:hover{border-bottom-color:var(--green)}
a:focus-visible,button:focus-visible{outline:2px solid var(--red);outline-offset:2px}
.wrap{max-width:var(--maxw);margin:0 auto;padding:0 24px}
section{padding:72px 0;border-top:1px solid var(--line)}
.eyebrow{font-family:var(--mono);font-size:.72rem;letter-spacing:.14em;text-transform:uppercase;color:var(--muted)}
h2{font-family:var(--serif);font-weight:600;font-size:1.9rem;margin:0 0 1.6rem;display:flex;align-items:center;gap:.65rem}
h2 .spider{flex:none}
h3{font-family:var(--serif);font-weight:600;font-size:1.18rem;line-height:1.35}
p+p{margin-top:1em}
.muted{color:var(--muted)}

/* shared diagram classes — every SVG follows the theme */
.sp-w{stroke:var(--ink);stroke-width:1.8;fill:none}
.sp-g{fill:var(--green-fill);stroke:var(--green);stroke-width:1.8}
.sp-r{fill:var(--red-fill);stroke:var(--red);stroke-width:1.8}
.dv-wire{stroke:var(--ink);stroke-width:2.2;fill:none;stroke-linecap:round}
.dv-bg{fill:var(--panel)}
.dv-g{fill:var(--green-fill);stroke:var(--green);stroke-width:2}
.dv-r{fill:var(--red-fill);stroke:var(--red);stroke-width:2}
.dv-dot{fill:var(--ink)}
.dv-oplus{fill:var(--paper);stroke:var(--ink);stroke-width:2.2}
.dv-eq{stroke:var(--muted);stroke-width:2.4;stroke-linecap:round}
.ic-faint{stroke:var(--muted);opacity:.55;fill:none}
.ic-g{stroke:var(--green);fill:none}
.ic-rline{stroke:var(--red);fill:none}
.ic-rdot{fill:var(--red)}

/* nav */
nav{position:sticky;top:0;z-index:50;background:color-mix(in srgb,var(--paper) 92%,transparent);backdrop-filter:blur(8px);border-bottom:1px solid var(--line)}
.nav-inner{max-width:var(--maxw);margin:0 auto;padding:12px 24px;display:flex;align-items:center;gap:18px;flex-wrap:wrap}
.nav-name{font-family:var(--serif);font-weight:700;font-size:1.05rem;color:var(--ink);border:none;margin-right:auto}
.nav-links{display:flex;gap:16px;flex-wrap:wrap;align-items:center}
.nav-links a{font-family:var(--mono);font-size:.72rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}
.nav-links a:hover{color:var(--green)}
.theme-btn{background:none;border:1px solid var(--line);border-radius:999px;width:32px;height:32px;display:inline-flex;align-items:center;justify-content:center;color:var(--ink);cursor:pointer;font-size:.95rem;line-height:1}
.theme-btn:hover{border-color:var(--green);color:var(--green)}

/* hero */
header.hero{padding:80px 0 64px}
h1{font-family:var(--serif);font-weight:700;font-size:clamp(2.5rem,5.5vw,3.6rem);line-height:1.08;margin:.5rem 0 1rem}
.hero-tag{font-family:var(--serif);font-style:italic;font-size:1.3rem;color:var(--ink)}
.hero-sub{margin-top:1rem;color:var(--muted);max-width:var(--measure)}
.hero-cta{margin-top:1.6rem;display:flex;gap:14px;flex-wrap:wrap}
.btn{display:inline-block;font-family:var(--mono);font-size:.78rem;letter-spacing:.08em;text-transform:uppercase;padding:.65em 1.15em;border:1.5px solid var(--ink);border-radius:999px;color:var(--ink)}
.btn:hover{background:var(--ink);color:var(--paper);border-bottom-color:transparent}
.btn.green{border-color:var(--green);color:var(--green)}
.btn.green:hover{background:var(--green);color:var(--paper)}
.derivation{margin-top:3.2rem}
.derivation-scroll{overflow-x:auto;padding-bottom:6px}
.derivation svg{display:block;min-width:940px;width:100%;height:auto}
.derivation figcaption{font-family:var(--mono);font-size:.72rem;color:var(--muted);margin-top:.6rem;letter-spacing:.06em}

/* about / path */
.two-col{display:grid;grid-template-columns:1.25fr 1fr;gap:56px}
.two-col>div>p,#teaching p{max-width:var(--measure)}

/* justified prose: flush left AND right on the long-form paragraphs */
.hero-sub,.research-lede,.earlier,.fits-cap,.two-col>div>p,#teaching p,#contact>.wrap>div>p{
  text-align:justify;
  text-align-last:left;
  -webkit-hyphens:auto;hyphens:auto;
  hyphenate-limit-chars:7 4 3;
}
@media (max-width:640px){
  /* narrow columns justify badly — fall back to ragged right */
  .hero-sub,.research-lede,.earlier,.fits-cap,.two-col>div>p,#teaching p,#contact>.wrap>div>p{text-align:left;hyphens:manual}
}
.path{position:relative;display:flex;flex-direction:column;gap:18px}
.path::before{content:"";position:absolute;left:5px;top:8px;bottom:8px;width:2px;background:var(--line)}
.path-item{position:relative;padding-left:26px}
.path-item::before{content:"";position:absolute;left:0;top:2px;width:12px;height:12px;border-radius:50%;background:var(--green-fill);border:2px solid var(--green)}
.path-item.alt::before{background:var(--red-fill);border-color:var(--red)}
.path-date{font-family:var(--mono);font-size:.72rem;color:var(--muted);letter-spacing:.06em;display:block;line-height:16px}
.path-item strong{display:block;font-weight:600}
.path-item span{color:var(--muted);font-size:.92rem}

/* news */
.news{list-style:none;display:flex;flex-direction:column}
.news li{display:grid;grid-template-columns:110px 1fr;gap:18px;padding:14px 0;border-bottom:1px dashed var(--line)}
.news time{font-family:var(--mono);font-size:.78rem;color:var(--red);letter-spacing:.04em;padding-top:.15em}

/* research */
.research-lede{font-size:1.12rem;max-width:var(--measure)}
.themes{margin-top:2.2rem;display:grid;grid-template-columns:repeat(2,1fr);gap:22px}
.theme{background:var(--panel);border:1px solid var(--line);border-radius:14px;padding:26px 26px 24px;display:flex;flex-direction:column;gap:.7rem}
.theme .icon{height:56px;display:flex;align-items:center}
.theme p{font-size:.95rem;color:var(--muted)}
.theme .q{font-family:var(--serif);font-style:italic;color:var(--ink);font-size:1rem}
.earlier{margin-top:1.6rem;font-size:.95rem;color:var(--muted);max-width:var(--measure)}

/* subobjectives inside theme cards */
.subs{margin-top:.5rem;border-top:1px dashed var(--line);padding-top:.9rem;display:flex;flex-direction:column;gap:.55rem}
.sub{display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:.15rem .65rem;align-items:baseline;font-size:.9rem;line-height:1.45}
.sub .meta{text-align:right;white-space:nowrap}
@media (max-width:520px){
  .sub{grid-template-columns:auto minmax(0,1fr)}
  .sub .meta{grid-column:2;text-align:left;white-space:normal}
}
.sub .mk{flex:none;width:10px;height:10px;border-radius:50%;position:relative;top:1px}
.mk.done{background:var(--green-fill);border:2px solid var(--green)}
.mk.open{background:transparent;border:2px dashed var(--muted)}
.sub .t{color:var(--ink)}
.sub.is-open .t{color:var(--muted)}
.sub a{font-family:var(--mono);font-size:.7rem;letter-spacing:.03em;white-space:nowrap}
.sub .tag{font-family:var(--mono);font-size:.64rem;letter-spacing:.1em;text-transform:uppercase;color:var(--red)}

/* PROGRAMME_BLOCK_CSS */
.fits{margin-top:3.4rem}
.fits-title{font-family:var(--serif);font-weight:600;font-size:1.4rem;margin-bottom:.4rem}
.fits-sub{color:var(--muted);max-width:var(--measure);font-size:.98rem}
.fits-scroll{overflow-x:auto;margin-top:1.6rem}
.fits svg{display:block;min-width:700px;width:100%;max-width:820px;height:auto}
.dg-node{fill:var(--panel);stroke:var(--ink);stroke-width:1.5}
.dg-goal{fill:var(--green-fill);stroke:var(--green);stroke-width:2;stroke-dasharray:6 5}
.dg-txt{fill:var(--ink);font-family:var(--sans);font-size:13.5px;font-weight:600}
.dg-edge{stroke:var(--muted);stroke-width:1.8;fill:none}
.dg-arr{fill:var(--muted)}
.dg-lab{fill:var(--muted);font-family:var(--mono);font-size:10.5px;letter-spacing:.04em}
.fits-cap{margin-top:1.4rem;font-size:.97rem;color:var(--muted);max-width:var(--measure)}
.fits-cap strong{color:var(--ink)}

/* talks list */
#talklist .talk[hidden]{display:none}
/* the cut-off row: the clearest possible "there's more below" */
#talklist .talk.peek{max-height:2.1em;overflow:hidden;pointer-events:none;border-bottom:none;
  -webkit-mask-image:linear-gradient(to bottom,#000 15%,transparent 92%);
  mask-image:linear-gradient(to bottom,#000 15%,transparent 92%)}
.talk .novideo{color:var(--muted);opacity:.6;border-bottom:1px dotted var(--muted)}
.talk-more{margin-top:.4rem}
#tf-more{display:flex;width:100%;align-items:center;justify-content:center;gap:.6em;
  font-family:var(--mono);font-size:.74rem;letter-spacing:.1em;text-transform:uppercase;
  background:none;border:1px dashed var(--line);border-radius:10px;color:var(--muted);
  padding:.85em 1.2em;cursor:pointer;transition:all .15s}
#tf-more:hover{border-color:var(--green);color:var(--green);background:var(--panel)}
#tf-more .chev{transition:transform .18s}
#tf-more[aria-expanded="true"] .chev{transform:rotate(180deg)}

/* publication filter */
#pubfilter{margin-bottom:1.8rem}
.pf-row{display:flex;align-items:center;gap:14px;flex-wrap:wrap}
.pf-search{flex:1;min-width:240px;display:flex;align-items:center;gap:.55em;border-bottom:1.5px solid var(--line);padding:.35em .1em;color:var(--muted);transition:border-color .15s}
.pf-search:focus-within{border-bottom-color:var(--green);color:var(--green)}
.pf-search input{flex:1;-webkit-appearance:none;appearance:none;border:none;background:none;border-radius:0;box-shadow:none;font-family:var(--sans);font-size:1rem;color:var(--ink);padding:.15em 0;min-width:0}
.pf-search input::placeholder{color:var(--muted);opacity:.75}
.pf-search input:focus{outline:none}
.pf-search input::-webkit-search-decoration{-webkit-appearance:none}
.pf-search input::-webkit-search-cancel-button{-webkit-appearance:none;height:12px;width:12px;background:var(--muted);cursor:pointer;
  -webkit-mask:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12'><path d='M1 1 L11 11 M11 1 L1 11' stroke='black' stroke-width='2'/></svg>") center/contain no-repeat}
.pf-count{font-family:var(--mono);font-size:.72rem;color:var(--muted);letter-spacing:.04em;white-space:nowrap}
.pf-chips{display:flex;flex-wrap:wrap;gap:8px;margin-top:1rem}
.chip{font-family:var(--mono);font-size:.7rem;letter-spacing:.06em;padding:.4em .9em;border-radius:999px;border:1px solid var(--line);background:none;color:var(--muted);cursor:pointer;transition:all .15s}
.chip:hover{border-color:var(--green);color:var(--green)}
.chip[aria-pressed="true"]{background:var(--green-fill);border-color:var(--green);color:var(--green)}
.chip .n{opacity:.6;margin-left:.5em}
.pf-empty{margin-top:1.4rem;color:var(--muted);font-size:.95rem}
.pf-empty button{background:none;border:none;color:var(--green);font:inherit;cursor:pointer;border-bottom:1px solid var(--green);padding:0}
.pub{transition:opacity .18s}
.pub[hidden]{display:none}
mark{background:var(--green-fill);color:inherit;border-radius:2px;padding:0 .1em}

/* publications */
.pub-group{margin-bottom:2.2rem}
.pub{padding:18px 0;border-bottom:1px dashed var(--line)}
.pub h3{font-size:1.05rem}
.pub .authors{font-size:.9rem;color:var(--muted);margin-top:.15rem}
.pub .authors b{color:var(--ink);font-weight:600}
.pub .blurb{font-size:.93rem;margin-top:.4rem;max-width:var(--measure)}
.venue{font-family:var(--mono);font-size:.72rem;color:var(--red);letter-spacing:.05em}

/* talks */
.talk{display:grid;grid-template-columns:96px 1fr;gap:18px;padding:13px 0;border-bottom:1px dashed var(--line)}
.talk time{font-family:var(--mono);font-size:.76rem;color:var(--red);padding-top:.2em}
.talk .where{color:var(--muted);font-size:.92rem}

/* teaching */
.teach-grid{display:grid;grid-template-columns:1fr 1fr;gap:40px}
.students{list-style:none;display:flex;flex-direction:column;gap:8px}
.students li{padding-left:1.1em;position:relative;font-size:.97rem}
.students li::before{content:"";position:absolute;left:0;top:.55em;width:7px;height:7px;border-radius:50%;background:var(--green-fill);border:1.5px solid var(--green)}

/* contact */
.contact-grid{display:grid;grid-template-columns:1fr 1fr;gap:40px;align-items:start}
.contact-links{display:flex;gap:12px;flex-wrap:wrap;margin-top:1.2rem}
#email-btn{font-family:var(--mono);font-size:.9rem;background:none;border:1.5px dashed var(--green);border-radius:8px;color:var(--green);padding:.5em 1em;cursor:pointer}
.hero-top{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:46px;align-items:stretch}
.hero-photo{margin:0;height:100%;display:flex;position:relative}
.photo-credit{position:absolute;left:0;right:0;bottom:0;padding:1.4em .8em .55em;
  font-family:var(--mono);font-size:.56rem;letter-spacing:.05em;color:#fff;text-align:right;
  border-radius:0 0 16px 16px;pointer-events:none;
  background:linear-gradient(to top,rgba(0,0,0,.55),rgba(0,0,0,0))}
.hero-photo img{width:220px;height:100%;min-height:300px;object-fit:cover;object-position:center 28%;border-radius:16px;border:1px solid var(--line);display:block;background:var(--panel)}
footer{padding:34px 0 46px;color:var(--muted);font-size:.85rem;border-top:1px solid var(--line)}
footer .wrap{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap}

@media (max-width:820px){
  .hero-top{grid-template-columns:1fr;gap:28px;justify-items:start}
  .hero-photo{height:auto}
  .hero-photo img{width:150px;height:225px;min-height:0}
  .two-col,.teach-grid,.contact-grid{grid-template-columns:1fr}
  .themes{grid-template-columns:1fr}
  section{padding:56px 0}
}
@media (prefers-reduced-motion:reduce){
  html{scroll-behavior:auto}
  *{transition:none!important;animation:none!important}
}