/* Shared stylesheet for every page of the site.
   Page-specific rules live at the bottom, scoped by the body class
   that each page carries (p-home, p-research, ...). */



  :root{
    --bg:#ffffff;--bg-2:#f8f9fa;--ink:#202124;--ink-soft:#3c4043;--muted:#5f6368;--faint:#80868b;
    --accent:#7c2b2b;--accent-2:#9c4a36;--accent-soft:rgba(124,43,43,.08);
    --line:#dadce0;--line-soft:#e8eaed;
    --sans:"Roboto",Arial,Helvetica,sans-serif;--maxw:1000px;
  }
  *{box-sizing:border-box;}
  html{scroll-behavior:smooth;scroll-padding-top:72px;background:var(--bg-2);}
  body{margin:0;background:transparent;color:var(--ink);font-family:var(--sans);font-size:16.5px;line-height:1.62;font-weight:400;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;}
  ::selection{background:var(--accent);color:#fff;}
  a{color:var(--accent);text-decoration:none;}
  a:hover{text-decoration:underline;}
  .wrap{max-width:var(--maxw);margin:0 auto;padding:0 24px;}

  nav{position:sticky;top:0;z-index:50;background:#fff;border-bottom:1px solid var(--line);}
  .nav-inner{max-width:var(--maxw);margin:0 auto;padding:13px 24px;display:flex;align-items:center;justify-content:space-between;gap:20px;position:relative;}
  .brand{font-weight:500;font-size:1.18rem;letter-spacing:.01em;color:var(--ink);}
  .brand:hover{text-decoration:none;}
  .brand span{color:var(--accent);}
  .nav-right{display:flex;align-items:center;gap:22px;}
  .nav-links{display:flex;gap:22px;list-style:none;margin:0;padding:0;}
  .nav-links a{font-size:.88rem;color:var(--ink-soft);position:relative;padding-bottom:3px;}
  .nav-links a:hover{color:var(--accent);text-decoration:none;}
  .nav-links a::after{content:"";position:absolute;left:0;bottom:0;width:0;height:2px;background:var(--accent);transition:width .22s ease;}
  .nav-links a:hover::after,.nav-links a.active::after{width:100%;}
  .lang-toggle{display:inline-flex;border:1px solid var(--line);border-radius:999px;overflow:hidden;font-size:.74rem;font-weight:500;}
  .lang-toggle button{background:none;border:none;padding:5px 12px;cursor:pointer;color:var(--muted);font:inherit;}
  .lang-toggle button.active{background:var(--accent);color:#fff;}
  .nav-toggle{display:none;background:none;border:1px solid var(--line);border-radius:4px;padding:7px 11px;font-size:.82rem;color:var(--ink);cursor:pointer;}

  header.hero{position:relative;background:transparent;border-bottom:1px solid var(--line);}
  .hero-bg{position:absolute;inset:0;opacity:.12;pointer-events:none;overflow:hidden;}
  .hero-bg svg{width:100%;height:100%;display:block;}
  .hero-bg circle{fill:var(--accent);}
  .hero .wrap{position:relative;padding:64px 24px 56px;}
  .eyebrow{font-size:.8rem;letter-spacing:.08em;text-transform:uppercase;color:var(--accent);font-weight:500;margin:0 0 14px;}
  h1{font-weight:700;font-size:clamp(2.1rem,5vw,3.1rem);line-height:1.1;letter-spacing:-.01em;margin:0 0 10px;color:var(--ink);}
  .role{font-weight:400;font-size:clamp(1.05rem,2.4vw,1.3rem);color:var(--muted);margin:0 0 24px;}
  .hero-lede{max-width:650px;font-size:1.06rem;color:var(--ink-soft);margin:0 0 28px;}
  .hero-actions{display:flex;flex-wrap:wrap;gap:12px;align-items:center;}
  .btn{font-size:.9rem;font-weight:500;padding:10px 20px;border:1px solid var(--accent);border-radius:6px;color:var(--accent);background:#fff;transition:background .2s,color .2s;}
  .btn:hover{background:var(--accent-soft);text-decoration:none;color:var(--accent);}
  .btn.primary{background:var(--accent);border-color:var(--accent);color:#fff;}
  .btn.primary:hover{background:var(--accent-2);border-color:var(--accent-2);color:#fff;}
  .hero-links{display:flex;flex-wrap:wrap;align-items:baseline;column-gap:9px;row-gap:2px;margin-top:22px;font-size:.85rem;}
  .hero-links a{color:var(--muted);}
  .hero-links a:hover{color:var(--accent);}
  .hero-links a:not(:last-child)::after{content:"·";display:inline-block;margin-left:9px;color:var(--line);}

  section{padding:56px 0;border-bottom:1px solid var(--line-soft);}
  section:last-of-type{border-bottom:none;}
  .sec-head{margin-bottom:28px;}
  .sec-num{display:none;}
  .sec-rule{display:none;}
  .sec-head h2{font-weight:500;font-size:clamp(1.5rem,3vw,2.05rem);letter-spacing:-.01em;margin:0;padding-bottom:10px;position:relative;color:var(--ink);}
  .sec-head h2::after{content:"";position:absolute;left:0;bottom:0;width:44px;height:3px;background:var(--accent);border-radius:2px;}

  p{margin:0 0 16px;}
  .lead{font-size:1.12rem;color:var(--ink-soft);}
  .cols{display:grid;grid-template-columns:1.45fr 1fr;gap:44px;}
  @media(max-width:780px){.cols{grid-template-columns:1fr;gap:28px;}}

  .factcard{background:#fff;border:1px solid var(--line);border-radius:10px;padding:22px 24px;box-shadow:0 1px 2px rgba(60,64,67,.06);}
  .factcard h3{font-size:.82rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);font-weight:600;margin:0 0 14px;}
  .factrow{display:flex;gap:14px;padding:9px 0;border-top:1px solid var(--line-soft);font-size:.95rem;}
  .factrow:first-of-type{border-top:none;}
  .factrow .k{font-size:.78rem;letter-spacing:.02em;text-transform:uppercase;color:var(--muted);font-weight:500;min-width:78px;padding-top:2px;}
  .factrow .v{color:var(--ink-soft);}

  .tags{display:flex;flex-wrap:wrap;gap:8px;margin:6px 0 0;padding:0;list-style:none;}
  .tags li{font-size:.82rem;color:var(--ink-soft);background:var(--bg-2);border:1px solid var(--line);padding:5px 12px;border-radius:999px;}

  .portrait{width:100%;max-width:230px;aspect-ratio:4/5;border:1px solid var(--line);border-radius:10px;overflow:hidden;margin:0 0 20px;background:var(--bg-2);display:flex;align-items:center;justify-content:center;}
  .portrait img{width:100%;height:100%;object-fit:cover;display:block;}
  .portrait .mono{font-weight:500;font-size:3rem;color:var(--accent);letter-spacing:.02em;}
  .hero-portrait{max-width:128px;aspect-ratio:1/1;border-radius:50%;margin:0 0 22px;}
  .hero-portrait .mono{font-size:2.4rem;}
  .hero-grid{display:grid;grid-template-columns:1.4fr minmax(280px,340px);gap:48px;align-items:start;}
  @media(max-width:820px){.hero-grid{grid-template-columns:1fr;gap:30px;}}
  .hero-main h1{margin-bottom:20px;}
  .glance-mini{padding:18px 20px;}
  .glance-mini h3{margin-bottom:10px;}
  .glance-mini .factrow{font-size:.85rem;padding:7px 0;}
  .glance-mini .factrow .k{min-width:60px;font-size:.7rem;padding-top:2px;}

  .micro-h{font-size:.8rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);font-weight:600;margin:30px 0 12px;}

  .timeline{margin:0;padding:0;list-style:none;}
  .tl{display:grid;grid-template-columns:120px 1fr;gap:20px;padding:9px 0;border-top:1px solid var(--line-soft);}
  .tl:first-child{border-top:none;}
  .tl .yr{font-size:.85rem;color:var(--accent);font-weight:500;padding-top:2px;}
  .tl .body strong{font-weight:500;font-size:1.02rem;color:var(--ink);}
  .tl .body .sub{display:block;color:var(--muted);font-size:.92rem;}
  .tl .body .note{display:block;color:var(--ink-soft);font-size:.92rem;}
  @media(max-width:560px){.tl{grid-template-columns:62px 1fr;gap:12px;}}

  .pub-group-label{font-size:.8rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);font-weight:600;margin:30px 0 12px;}
  .pub-group-label:first-of-type{margin-top:0;}
  ol.pubs{margin:0;padding:0;list-style:none;counter-reset:pub;}
  ol.pubs li{counter-increment:pub;position:relative;padding:10px 0 10px 42px;border-top:1px solid var(--line-soft);}
  ol.pubs li:first-child{border-top:none;}
  ol.pubs li::before{content:counter(pub);position:absolute;left:0;top:11px;font-size:.82rem;color:var(--faint);font-weight:500;}
  .pub-title{font-weight:500;font-size:1.02rem;color:var(--ink);}
  .pub-meta{display:block;color:var(--muted);font-size:.9rem;margin-top:2px;}
  .pub-links{margin-top:5px;font-size:.82rem;}
  .pub-links a{margin-right:14px;}
  .badge{display:inline-block;font-size:.66rem;letter-spacing:.04em;text-transform:uppercase;color:var(--accent);border:1px solid var(--accent);border-radius:999px;padding:1px 8px;margin-left:6px;vertical-align:1px;font-weight:500;}
  .archive-links{display:flex;flex-wrap:wrap;gap:10px;margin-top:24px;}
  .archive-links a{font-size:.85rem;border:1px solid var(--line);padding:9px 16px;border-radius:999px;color:var(--ink-soft);}
  .archive-links a:hover{border-color:var(--accent);color:var(--accent);text-decoration:none;}
  .fulllist{display:inline-flex;align-items:center;gap:8px;margin-top:22px;font-size:.9rem;font-weight:500;background:var(--accent);color:#fff;padding:11px 22px;border-radius:6px;}
  .fulllist:hover{background:var(--accent-2);color:#fff;text-decoration:none;}

  .feature{background:var(--bg-2);border:1px solid var(--line);border-left:4px solid var(--accent);border-radius:10px;padding:24px 26px;margin-bottom:28px;}
  .feature h3{font-weight:600;font-size:1.2rem;margin:0 0 8px;color:var(--ink);}
  .feature p{margin:0 0 8px;color:var(--ink-soft);font-size:1rem;}
  .feature p:last-child{margin:0;}
  .course-list{margin:0;padding:0;list-style:none;}
  .course-list li{display:grid;grid-template-columns:96px 1fr;gap:18px;padding:7px 0;border-top:1px solid var(--line-soft);font-size:.96rem;}
  .course-list li:first-child{border-top:none;}
  .course-list .term{font-size:.82rem;color:var(--muted);padding-top:2px;}
  .course-list .title-i{color:var(--ink-soft);}
  .course-list li a{justify-self:start;}
  .course-list.news li{grid-template-columns:46px 1fr;gap:12px;}

  ul.bullets{margin:14px 0 0;padding:0;list-style:none;}
  ul.bullets li{position:relative;padding:6px 0 6px 20px;font-size:1rem;color:var(--ink-soft);}
  ul.bullets li::before{content:"";position:absolute;left:2px;top:13px;width:6px;height:6px;background:var(--accent);border-radius:50%;}
  ul.bullets li strong{font-weight:600;color:var(--ink);}
  a.res-ref{display:block;width:fit-content;margin-top:3px;font-size:.8rem;color:var(--accent);}
  a.res-ref:hover{color:var(--accent-2);}
  .list-caption{font-size:.8rem;text-transform:uppercase;letter-spacing:.06em;color:var(--muted);font-weight:600;margin:0 0 12px;}

  .svc-grid{display:grid;grid-template-columns:1fr 1fr;gap:30px;}
  @media(max-width:780px){.svc-grid{grid-template-columns:1fr;}}
  .svc h3{font-size:.82rem;letter-spacing:.06em;text-transform:uppercase;color:var(--muted);font-weight:600;margin:0 0 12px;}
  .svc ul{margin:0;padding:0;list-style:none;}
  .svc li{padding:6px 0;border-top:1px solid var(--line-soft);font-size:.93rem;color:var(--ink-soft);}
  .svc li:first-child{border-top:none;}
  .refeed{font-size:.92rem;color:var(--muted);line-height:1.7;}

  #contact .cols{align-items:start;}
  .contact-big{font-weight:500;font-size:1.3rem;color:var(--ink);}
  .contact-big a{color:var(--accent);}

  footer{padding:30px 0;text-align:center;}
  footer .wrap{font-size:.82rem;color:var(--faint);}

  .reveal{opacity:0;transform:translateY(14px);transition:opacity .6s ease,transform .6s ease;}
  .reveal.in{opacity:1;transform:none;}
  @media(prefers-reduced-motion:reduce){.reveal{opacity:1;transform:none;transition:none;}html{scroll-behavior:auto;}}

  @media(max-width:900px){
    .nav-links{position:absolute;top:100%;right:0;left:0;flex-direction:column;gap:0;background:#fff;border-bottom:1px solid var(--line);max-height:0;overflow:hidden;transition:max-height .3s ease;}
    .nav-links.open{max-height:520px;}
    .nav-links li{border-top:1px solid var(--line-soft);}
    .nav-links a{display:block;padding:14px 24px;}
    .nav-links a::after{display:none;}
    .nav-toggle{display:block;}
  }

  @media(max-width:560px){
    .wrap{padding:0 16px;}
    .nav-inner{padding:13px 16px;}
    .hero .wrap{padding:44px 16px 40px;}
    .subhero .wrap{padding:34px 16px 30px;}
    section{padding:40px 0;}
    .block{padding:18px 16px;}
    .factcard{padding:18px 16px;}
    .feature{padding:18px 16px;}
    .course-list.news li{grid-template-columns:40px 1fr;gap:10px;}
  }

  .subhero .wrap{padding:46px 24px 40px;}
  .subhero h1{margin:0;}
  .subhero .intro{color:var(--ink-soft);max-width:660px;margin:12px 0 0;}

  .block{background:#fff;border:1px solid var(--line);border-radius:10px;padding:26px 30px;box-shadow:0 1px 2px rgba(60,64,67,.06);}
  .block + .block, section + section .block{margin-top:0;}
  .block .sec-head{margin-bottom:18px;}
  .page-bg{position:fixed;inset:0;z-index:-1;pointer-events:none;opacity:.12;overflow:hidden;}
  .page-bg svg{width:100%;height:100%;display:block;}
  .page-bg circle{fill:var(--accent);}
  .copy-email{margin-left:8px;font:inherit;font-size:.72rem;line-height:1;padding:3px 9px;border:1px solid var(--line);border-radius:999px;background:#fff;color:var(--muted);cursor:pointer;vertical-align:baseline;}
  .copy-email:hover{border-color:var(--accent);color:var(--accent);}
  .copy-email.copied{color:var(--accent);border-color:var(--accent);}


/* ---------- page-specific ---------- */

/* index.html */
   .p-home .btn{display:inline-flex;justify-content:center;align-items:center;text-align:center;font-size:.9rem;font-weight:500;padding:10px 20px;border:1px solid var(--accent);border-radius:6px;color:var(--accent);background:#fff;transition:background .2s,color .2s;}
   .p-home .hero-actions{display:flex;flex-wrap:wrap;gap:14px;align-items:center;justify-content:flex-start;}
   .p-home .hero-actions--primary{margin-top:6px;gap:14px;}
   .p-home .hero-actions--primary .btn{flex:0 0 auto;font-size:.95rem;font-weight:600;padding:9px 22px;border-width:2px;border-radius:999px;}
   .p-home .hero-actions--primary .btn:hover{background:var(--accent);color:#fff;}
   .p-home .hero-actions--secondary{display:flex;flex-wrap:wrap;gap:14px;margin-top:16px;margin-left:22px;justify-content:flex-start;}
   .p-home .hero-actions--secondary .btn{flex:0 0 auto;font-size:.76rem;padding:6px 16px;border-radius:999px;border-color:var(--line);color:var(--muted);}
   .p-home .hero-actions--secondary .btn:hover{background:#fff;border-color:var(--accent);color:var(--accent);}

/* publications.html */
   .p-pubs ol.pubs.desc-preprints{counter-reset:pub 4;}
   .p-pubs ol.pubs.desc-journals{counter-reset:pub 48;}
   .p-pubs ol.pubs.desc-theses{counter-reset:pub 4;}
   .p-pubs ol.pubs.desc-preprints li,.p-pubs ol.pubs.desc-journals li,.p-pubs ol.pubs.desc-theses li{counter-increment:pub -1;}

/* cv.html */
   .p-cv #cv .cols{display:block;}
   .p-cv #cv .reveal{margin-bottom:42px;}
   .p-cv #cv .micro-h{font-size:clamp(1.2rem,2vw,1.6rem);margin:36px 0 18px;}

/* lean.html */
   .p-lean .feature h3 a.repo{font-size:.82rem;font-weight:400;}
   /* size, colour and spacing of this row come from `.feature p`, which is
     more specific; only the link colour and the separator are set here */
   .p-lean .proj-links .sep{display:inline-block;margin:0 .8em;color:var(--line);}
   .p-lean .proj-links a{color:var(--accent);}
   .p-lean .proj-links a:hover{color:var(--accent-2);}
   /* page-specific: Lean identifiers, which no other page shows */
   .p-lean code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.86em;color:var(--ink-soft);background:var(--bg-2);border:1px solid var(--line-soft);border-radius:4px;padding:1px 5px;overflow-wrap:anywhere;}
   .p-lean .factrow .v code{display:inline-block;max-width:100%;margin:1px 0;}
   /* the intro sits in a card, so its band can be tighter than a normal section */
   .p-lean #lean{padding:34px 0;}
   .p-lean #projects{padding-top:40px;padding-bottom:32px;}
   .p-lean #projects .feature:last-child{margin-bottom:0;}
   .p-lean #registry{padding-top:36px;}
   .p-lean .lean-about{max-width:780px;margin:0 0 20px;}
   .p-lean #lean .lean-about{margin-bottom:0;}   /* stands alone, needs no gap below */
   /* the two section notes are annotations, smaller than the intro card */
   .p-lean #projects .lean-about,.p-lean #registry .lean-about{max-width:660px;padding:14px 18px;}
   .p-lean #projects .lean-about p,.p-lean #registry .lean-about p{font-size:.875rem;}
   /* one registered statement per block: the formula, then its Lean name */
   .p-lean .stmt{display:block;}
   .p-lean .stmt + .stmt{margin-top:6px;}
   .p-lean .stmt .f{font-size:.85em;margin-left:10px;white-space:nowrap;}
   .p-lean .stmt .f::before{content:"→";margin-right:7px;color:var(--faint);}
   .p-lean .lean-about p{font-size:.95rem;margin:0;}
   /* a result card is titled by its theorem, not by a small-caps label */
   .p-lean .factcard.result h3{font-size:1.1rem;font-weight:600;letter-spacing:0;text-transform:none;color:var(--ink);}

/* service.html */
   .p-service .svc-grid{display:grid;grid-template-columns:1fr 1fr;gap:50px;}