@import url('https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;500;600;700&family=Manrope:wght@400;500;600;700;800&display=swap');

:root {
  --ink: #17142d;
  --ink-soft: #54516b;
  --night: #100c2b;
  --night-2: #181044;
  --violet: #7b50d8;
  --violet-light: #b58bef;
  --pink: #e8a5d2;
  --blue: #7db6ef;
  --paper: #fbf9ff;
  --paper-deep: #f0ecfb;
  --line: rgba(37, 28, 82, 0.14);
  --display: 'Manrope', 'Avenir Next', 'Segoe UI', sans-serif;
  --body: 'DM Sans', 'Segoe UI', sans-serif;
  --max: 1240px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { position: relative; margin: 0; color: var(--ink); background: var(--paper); font-family: var(--body); -webkit-font-smoothing: antialiased; }
a { color: inherit; text-decoration: none; }
button { font: inherit; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }
.page-shell { position: relative; z-index: 1; overflow: hidden; }

.site-header { position: fixed; top: 0; left: 0; right: 0; z-index: 20; display: flex; align-items: center; justify-content: space-between; max-width: 1240px; margin: 0 auto; padding: 24px 32px; color: #fff; transition: background .35s ease, padding .35s ease, box-shadow .35s ease; }
.site-header.is-scrolled { max-width: none; padding: 14px max(32px, calc((100vw - var(--max)) / 2 + 32px)); background: rgba(16, 12, 43, .9); box-shadow: 0 8px 28px rgba(5, 4, 18, .18); backdrop-filter: blur(16px); }
.brand { display: inline-flex; align-items: center; gap: 12px; }
.brand-mark { display: grid; place-items: center; width: 38px; height: 38px; border: 1px solid rgba(255,255,255,.45); border-radius: 50%; font: 700 15px/1 var(--display); letter-spacing: -.08em; }
.brand-mark span { color: var(--pink); }
.brand-copy { display: grid; gap: 2px; }
.brand-copy strong { font: 700 13px/1.2 var(--display); letter-spacing: .04em; }
.brand-copy small { color: rgba(255,255,255,.62); font-size: 10px; letter-spacing: .13em; text-transform: uppercase; }
.primary-nav { display: flex; align-items: center; gap: 32px; color: rgba(255,255,255,.72); font-size: 12px; letter-spacing: .03em; }
.primary-nav a { transition: color .2s ease; }
.primary-nav a:hover, .primary-nav a.active { color: #fff; }
.primary-nav .nav-cta { padding: 12px 16px; border: 1px solid rgba(255,255,255,.32); border-radius: 99px; color: #fff; }
.primary-nav .nav-cta span { margin-left: 8px; color: var(--pink); }
.menu-toggle { display: none; border: 0; background: transparent; color: #fff; }

.section-pad { padding: 128px max(32px, calc((100vw - var(--max)) / 2 + 32px)); }
.space-backdrop { position: fixed; z-index: 0; inset: 0; pointer-events: none; background: radial-gradient(circle at 75% 22%, rgba(124, 74, 213, .46), transparent 25%), radial-gradient(circle at 27% 68%, rgba(211, 108, 196, .22), transparent 29%), linear-gradient(140deg, #0c0921 0%, #17103d 52%, #100c2b 100%); isolation: isolate; }
.space-backdrop::before, .space-backdrop::after { position: absolute; inset: 0; z-index: -1; pointer-events: none; content: ''; }
.space-backdrop::before { opacity: .85; background-image: radial-gradient(circle, rgba(255,255,255,.85) 0 1px, transparent 1.2px), radial-gradient(circle, rgba(181,139,239,.75) 0 1px, transparent 1.2px); background-position: 4% 18%, 21% 68%; background-size: 180px 170px, 240px 230px; }
.space-backdrop::after { opacity: .4; background: radial-gradient(ellipse at 56% 52%, transparent 0 18%, rgba(132, 87, 225, .12) 34%, transparent 58%), radial-gradient(ellipse at 46% 22%, transparent 0 28%, rgba(232, 165, 210, .12) 42%, transparent 62%); filter: blur(18px); }
.hero { position: relative; min-height: 780px; padding-top: 210px; padding-bottom: 58px; color: #fff; background: transparent; isolation: isolate; }
.hero-copy { position: relative; z-index: 2; width: min(660px, 58%); }
.eyebrow { display: flex; align-items: center; gap: 10px; margin: 0 0 22px; color: rgba(255,255,255,.68); font-size: 10px; font-weight: 700; letter-spacing: .18em; text-transform: uppercase; }
.eyebrow-dark { color: #796c9f; }
.eyebrow-dot { width: 7px; height: 7px; border: 1px solid var(--pink); border-radius: 50%; box-shadow: 0 0 12px rgba(232,165,210,.9); }
h1, h2, h3, p { margin-top: 0; }
h1, h2 { font-family: var(--display); letter-spacing: -.055em; }
h1 { margin-bottom: 28px; font-size: clamp(48px, 6vw, 86px); font-weight: 700; line-height: .98; }
h1 em, h2 em { color: var(--pink); font-family: Georgia, serif; font-weight: 400; letter-spacing: -.06em; }
.hero-lede { max-width: 480px; margin-bottom: 36px; color: rgba(255,255,255,.72); font-size: 16px; line-height: 1.75; }
.hero-actions { display: flex; align-items: center; gap: 28px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 18px; padding: 15px 20px; border-radius: 99px; font-size: 12px; font-weight: 700; transition: transform .2s ease, box-shadow .2s ease, background .2s ease; }
.button:hover { transform: translateY(-2px); }
.button-primary { color: var(--ink); background: #fff; box-shadow: 0 10px 24px rgba(0,0,0,.18); }
.button-primary span, .button-light span { color: var(--violet); font-size: 16px; }
.text-link, .arrow-link { font-size: 12px; font-weight: 600; }
.text-link { color: rgba(255,255,255,.7); }
.text-link span, .arrow-link span { margin-left: 7px; color: var(--pink); font-size: 16px; }
.hero-visual { position: absolute; top: 155px; right: max(32px, calc((100vw - var(--max)) / 2 + 32px)); width: min(470px, 40vw); height: 470px; }
.portrait-placeholder { position: absolute; top: 80px; left: 85px; display: grid; place-items: center; width: 290px; height: 290px; border: 1px solid rgba(255,255,255,.18); border-radius: 50%; background: radial-gradient(circle at 45% 32%, rgba(232,165,210,.26), transparent 34%), linear-gradient(145deg, rgba(255,255,255,.16), rgba(120,80,215,.1)); box-shadow: inset 0 0 80px rgba(198,123,231,.12), 0 0 80px rgba(137,84,227,.2); }
.portrait-placeholder::before { position: absolute; inset: 28px; border: 1px solid rgba(255,255,255,.22); border-radius: 50%; content: ''; }
.portrait-initials { position: absolute; top: 73px; color: rgba(255,255,255,.88); font: 800 76px/1 var(--display); letter-spacing: -.12em; }
.portrait-label { position: absolute; bottom: 76px; color: rgba(255,255,255,.76); font-size: 10px; letter-spacing: .16em; line-height: 1.6; text-align: center; text-transform: uppercase; }
.portrait-label small { color: var(--pink); font-size: 9px; }
.portrait-orbit { position: absolute; border: 1px solid rgba(255,255,255,.18); border-radius: 50%; transform: rotate(-22deg); }
.orbit-one { inset: 6px 0; }
.orbit-two { inset: 42px -12px; transform: rotate(54deg); border-color: rgba(232,165,210,.32); }
.orbit-three { inset: 75px 28px; transform: rotate(-60deg); border-color: rgba(125,182,239,.3); }
.orbit-node { position: absolute; z-index: 4; display: block; width: 8px; height: 8px; border-radius: 50%; background: var(--pink); box-shadow: 0 0 20px 4px rgba(232,165,210,.28); cursor: pointer; transition: box-shadow .2s ease, filter .2s ease; }
.orbit-node::before { position: absolute; inset: -10px; content: ''; }
.node-a { top: 35px; left: 56px; color: var(--pink); animation: star-pulse-a 7s linear infinite; }.node-b { top: 105px; right: 10px; color: var(--blue); background: var(--blue); box-shadow: 0 0 20px 4px rgba(125,182,239,.22); animation: star-pulse-b 5s linear infinite; }.node-c { bottom: 34px; left: 75px; width: 5px; height: 5px; color: var(--violet-light); background: var(--violet-light); box-shadow: 0 0 16px 3px rgba(181,139,239,.22); animation: star-pulse-c 3s linear infinite; }
.orbit-node:hover, .orbit-node:focus-visible { animation: none; transform: none; filter: none; outline: none; }
.node-a:hover, .node-a:focus-visible { box-shadow: 0 0 6px 3px rgba(232,165,210,.95), 0 0 24px 10px rgba(232,165,210,.58), 0 0 54px 20px rgba(232,165,210,.24); }
.node-b:hover, .node-b:focus-visible { box-shadow: 0 0 6px 3px rgba(125,182,239,.95), 0 0 24px 10px rgba(125,182,239,.58), 0 0 54px 20px rgba(125,182,239,.24); }
.node-c:hover, .node-c:focus-visible { box-shadow: 0 0 5px 2px rgba(181,139,239,.95), 0 0 20px 8px rgba(181,139,239,.58), 0 0 48px 18px rgba(181,139,239,.24); }
.visual-caption { position: absolute; right: 16px; bottom: 16px; color: rgba(255,255,255,.58); font-size: 10px; letter-spacing: .1em; text-transform: uppercase; }.visual-caption span { display: inline-block; width: 5px; height: 5px; margin-right: 8px; border-radius: 50%; background: var(--pink); }
.hero-meta { position: absolute; right: max(32px, calc((100vw - var(--max)) / 2 + 32px)); bottom: 64px; left: max(32px, calc((100vw - var(--max)) / 2 + 32px)); display: grid; grid-template-columns: 1fr 1fr 1.3fr; gap: 34px; padding-top: 22px; border-top: 1px solid rgba(255,255,255,.18); }
.hero-meta div { display: grid; gap: 8px; }.meta-label { color: rgba(255,255,255,.44); font-size: 9px; letter-spacing: .16em; text-transform: uppercase; }.hero-meta strong { color: rgba(255,255,255,.9); font: 600 12px/1.35 var(--display); }

.light-section { background: var(--paper); }
.section-heading { max-width: 680px; }.section-heading h2, .contact h2 { margin-bottom: 0; color: var(--ink); font-size: clamp(42px, 5vw, 68px); line-height: .98; }.section-heading h2 em, .contact h2 em { color: var(--violet); }
.research { position: relative; }
.research-hero { display: grid; grid-template-columns: .9fr 1.1fr; align-items: center; gap: clamp(50px, 8vw, 120px); }.research-layout { display: grid; grid-template-columns: .9fr 1.1fr; gap: clamp(50px, 8vw, 120px); margin-top: 76px; }.research-intro { max-width: 410px; }.large-copy { color: var(--ink); font: 500 21px/1.45 var(--display); letter-spacing: -.025em; }.research-intro > p:not(.large-copy) { color: var(--ink-soft); font-size: 14px; line-height: 1.75; }.arrow-link { display: inline-block; margin-top: 20px; color: var(--violet); border-bottom: 1px solid rgba(123,80,216,.35); padding-bottom: 7px; }
.research-orbit-visual { position: relative; min-height: 340px; overflow: visible; }
.research-orbit { position: absolute; top: 50%; left: 50%; border: 1px solid rgba(123,80,216,.28); border-radius: 50%; transform: translate(-50%, -50%); }
.orbit-logic { width: 100%; height: 53%; transform: translate(-50%, -50%) rotate(-12deg); border-color: rgba(123,80,216,.34); }
.orbit-proof { width: 78%; height: 84%; transform: translate(-50%, -50%) rotate(38deg); border-color: rgba(232,165,210,.38); }
.orbit-kripke { width: 58%; height: 100%; transform: translate(-50%, -50%) rotate(-52deg); border-color: rgba(125,182,239,.4); }
.research-orbit-core { position: absolute; top: 50%; left: 50%; z-index: 2; display: grid; place-items: center; width: 128px; height: 128px; padding: 0 16px; border: 1px solid rgba(123,80,216,.28); border-radius: 50%; background: radial-gradient(circle at 45% 35%, rgba(181,139,239,.24), rgba(255,255,255,.72) 70%); box-shadow: 0 12px 42px rgba(123,80,216,.13); transform: translate(-50%, -50%); text-align: center; }
.research-orbit-core span { color: var(--ink-soft); font-size: 10px; letter-spacing: .17em; line-height: 1.4; text-transform: uppercase; }
.research-orbit-tag { --pill-width: 116px; --pill-height: 31px; --bubble-height: 96px; --bubble-width: 210px; position: absolute; z-index: 3; display: grid; box-sizing: border-box; width: var(--pill-width); max-width: calc(100vw - 36px); height: var(--pill-height); align-content: start; gap: 0; overflow: hidden; padding: 8px 11px; border: 1px solid rgba(123,80,216,.2); border-radius: 99px; background: rgba(251,249,255,.86); color: var(--ink); font: 600 10px/1.2 var(--display); letter-spacing: -.01em; box-shadow: 0 8px 20px rgba(32,22,85,.06); cursor: default; outline: none; transition: width .34s cubic-bezier(.22,.7,.2,1), height .34s cubic-bezier(.22,.7,.2,1), border-radius .34s ease, background .34s ease, box-shadow .34s ease; }
.research-orbit-tag strong { display: block; width: 100%; min-width: 0; white-space: normal; }
.research-orbit-tag span { display: block; width: 100%; height: 0; overflow: hidden; margin-top: 0; color: var(--ink-soft); font: 400 11px/1.45 var(--body); opacity: 0; white-space: normal; transition: height .34s cubic-bezier(.22,.7,.2,1), margin-top .34s cubic-bezier(.22,.7,.2,1), opacity .2s ease; }
.research-orbit-tag:hover, .research-orbit-tag:focus-visible { z-index: 6; width: var(--bubble-width); height: var(--bubble-height); border-radius: 14px; background: var(--paper); box-shadow: 0 16px 34px rgba(32,22,85,.15); }
.research-orbit-tag:hover span, .research-orbit-tag:focus-visible span { height: var(--bubble-description-height, calc(var(--bubble-height) - 48px)); margin-top: 9px; opacity: 1; }
.tag-logic { top: 0; left: 8%; }.tag-proof { top: 44%; right: 3%; }.tag-kripke { bottom: 11%; left: 16%; }

.projects { background: transparent; color: #fff; }.projects h2 { color: #fff; }.projects h2 em { color: var(--pink); }.projects .section-side-note { color: rgba(255,255,255,.56); }.project-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 16px; margin-top: 74px; }.project-card { display: flex; min-height: 320px; flex-direction: column; padding: 26px; border: 1px solid rgba(255,255,255,.16); background: rgba(255,255,255,.055); }.project-top, .project-meta { display: flex; align-items: center; justify-content: space-between; gap: 12px; }.project-number { color: var(--pink); font: 600 11px var(--display); }.project-status { color: rgba(255,255,255,.56); font-size: 10px; letter-spacing: .05em; text-align: right; }.project-card h3 { margin: 58px 0 15px; color: rgba(255,255,255,.94); font: 700 20px/1.15 var(--display); letter-spacing: -.04em; }.project-card p { margin-bottom: 28px; color: rgba(255,255,255,.66); font-size: 12px; line-height: 1.65; }.project-meta { margin-top: auto; padding-top: 17px; border-top: 1px solid rgba(255,255,255,.16); color: var(--pink); font-size: 10px; letter-spacing: .04em; }

.journey { background: transparent; color: #fff; }.section-heading-split { display: flex; align-items: end; justify-content: space-between; max-width: none; gap: 60px; }.journey h2, .publication h2 { color: #fff; }.section-side-note { max-width: 280px; margin: 0 0 3px; color: rgba(255,255,255,.56); font-size: 13px; line-height: 1.7; }.journey-orbit-visual { position: relative; width: min(430px, 100%); height: 224px; margin: 0 0 0 auto; overflow: visible; }.journey-orbit-visual::before { position: absolute; top: 18%; left: -14%; z-index: 0; width: 5px; height: 5px; border-radius: 50%; background: #f4dc74; box-shadow: 0 0 6px 2px rgba(255,247,177,.95), 0 0 18px 6px rgba(244,220,116,.5); content: ''; pointer-events: none; animation: shooting-star 18s ease-in-out infinite; }.journey-orbit { position: absolute; top: 50%; left: 50%; z-index: 1; width: 100%; height: 53%; border: 1px solid rgba(123,80,216,.34); border-radius: 50%; transform: translate(-50%, -50%) rotate(-12deg); }.journey-orbit-label { position: absolute; top: 0; left: 50%; z-index: 2; display: block; padding: 7px 11px; border: 1px solid rgba(255,255,255,.18); border-radius: 99px; background: rgba(16,12,43,.92); color: rgba(255,255,255,.86); font: 600 10px var(--display); white-space: nowrap; transform: translate(-50%, -50%) rotate(12deg); animation: journey-label-orbit 18s linear infinite; }.journey-orbit-label > span { display: block; }.journey-orbit-mathematics { width: 78%; height: 84%; border-color: rgba(232,165,210,.38); transform: translate(-50%, -50%) rotate(38deg); }.journey-orbit-mathematics .journey-orbit-label { animation-duration: 21s; animation-delay: -7s; transform: translate(-50%, -50%) rotate(-38deg); }.journey-orbit-philosophy { width: 58%; height: 100%; border-color: rgba(125,182,239,.4); transform: translate(-50%, -50%) rotate(-52deg); }.journey-orbit-philosophy .journey-orbit-label { animation-duration: 24s; animation-delay: -14s; transform: translate(-50%, -50%) rotate(52deg); }.journey-grid { display: grid; grid-template-columns: minmax(0, 1.45fr) minmax(240px, .55fr); gap: 100px; margin-top: 84px; }.timeline { position: relative; }.timeline::before { position: absolute; top: 7px; bottom: 7px; left: 170px; width: 1px; background: rgba(255,255,255,.16); content: ''; }.timeline-item { position: relative; display: grid; grid-template-columns: 140px 30px 1fr; gap: 15px; min-height: 120px; }.timeline-date { padding-top: 4px; color: rgba(255,255,255,.42); font: 500 11px var(--display); letter-spacing: .02em; text-align: right; }.timeline-marker { position: relative; z-index: 1; width: 11px; height: 11px; margin-top: 5px; border: 1px solid rgba(255,255,255,.46); border-radius: 50%; background: var(--night); }.timeline-current .timeline-marker { border-color: var(--pink); background: var(--pink); box-shadow: 0 0 6px 3px rgba(232,165,210,.95), 0 0 24px 10px rgba(232,165,210,.58), 0 0 54px 20px rgba(232,165,210,.24); }.timeline-content { padding-bottom: 34px; }.timeline-kicker { margin-bottom: 8px; color: var(--pink); font-size: 10px; font-weight: 700; letter-spacing: .16em; text-transform: uppercase; }.timeline-content h3 { max-width: 470px; margin-bottom: 8px; font: 600 17px/1.28 var(--display); letter-spacing: -.025em; }.timeline-content p:not(.timeline-kicker) { margin-bottom: 5px; color: rgba(255,255,255,.66); font-size: 12px; }.timeline-content small { color: rgba(255,255,255,.4); font-size: 11px; }.side-column { display: grid; align-content: start; gap: 18px; }.mini-card { padding: 24px; border: 1px solid rgba(255,255,255,.14); background: rgba(255,255,255,.04); }.mini-card .eyebrow { margin-bottom: 22px; }.language-row { display: flex; justify-content: space-between; gap: 12px; padding: 12px 0; border-bottom: 1px solid rgba(255,255,255,.1); font-size: 12px; }.language-row:last-child { border-bottom: 0; }.language-row span { color: rgba(255,255,255,.62); }.language-row strong { color: rgba(255,255,255,.9); font-weight: 500; text-align: right; }.clean-list { display: grid; gap: 14px; margin: 0; padding: 0; list-style: none; color: rgba(255,255,255,.72); font-size: 12px; line-height: 1.4; }.clean-list li::before { display: inline-block; width: 6px; height: 6px; margin-right: 10px; border: 1px solid var(--pink); border-radius: 50%; content: ''; }

.teaching { position: relative; }.teaching h2 { color: var(--ink); }.teaching .section-side-note { color: var(--ink-soft); }.teaching-years { display: grid; margin-top: 74px; border-top: 1px solid var(--line); }.year-card { display: grid; grid-template-columns: 160px 1fr; align-items: center; gap: 26px; padding: 28px 0; border-bottom: 1px solid var(--line); }.year-label { color: var(--violet); font: 700 11px var(--display); letter-spacing: .12em; }.year-card h3 { margin-bottom: 8px; font: 700 21px var(--display); letter-spacing: -.04em; }.year-card p { margin: 0; color: var(--ink-soft); font-size: 13px; line-height: 1.55; }.teaching-talks { margin-top: 64px; }.teaching-talks .eyebrow { margin-bottom: 18px; }.teaching-talk-row { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 18px 0; border-top: 1px solid var(--line); color: var(--ink); font-size: 13px; }.teaching-talk-row:last-child { border-bottom: 1px solid var(--line); }.teaching-talk-row span:last-child { color: var(--violet); font-size: 10px; letter-spacing: .08em; text-transform: uppercase; }

.research-note, .research-publication { display: grid; grid-template-columns: minmax(180px, .35fr) minmax(0, 1.65fr); align-items: center; gap: 40px; margin-top: 72px; padding-top: 34px; border-top: 1px solid var(--line); }.research-note > .eyebrow, .research-publication > .eyebrow { margin: 0; }.research-thesis .large-copy { max-width: 720px; margin: 0; }.research-publication-content { min-width: 0; }.research-publication-content .publication-type { color: var(--violet); font-size: 10px; font-weight: 700; letter-spacing: .14em; text-transform: uppercase; }.research-publication h3 { max-width: 720px; margin: 16px 0 18px; color: var(--ink); font: 600 clamp(22px, 2.8vw, 36px)/1.1 var(--display); letter-spacing: -.05em; }.research-publication .arrow-link { margin-top: 0; }

.contact-layout { display: grid; grid-template-columns: 1fr 1fr; gap: 80px; align-items: end; }.contact-lede { max-width: 350px; margin: 30px 0 0; color: var(--ink-soft); font-size: 14px; line-height: 1.7; }.contact-details { padding-bottom: 4px; }.contact-email { display: inline-block; padding-bottom: 12px; border-bottom: 1px solid rgba(123,80,216,.35); color: var(--violet); font: 600 clamp(20px, 2.5vw, 31px) var(--display); letter-spacing: -.035em; }.contact-email span, .contact-list span, .contact-list a span { color: var(--pink); font-size: 16px; }.contact-list { display: flex; flex-wrap: wrap; gap: 20px; margin-top: 22px; color: var(--ink-soft); font-size: 12px; }.contact-list a:hover { color: var(--violet); }
.site-footer { display: flex; align-items: center; justify-content: space-between; gap: 20px; padding: 26px max(32px, calc((100vw - var(--max)) / 2 + 32px)); color: rgba(255,255,255,.48); background: transparent; font-size: 10px; letter-spacing: .04em; }.site-footer div { display: flex; align-items: center; gap: 9px; color: rgba(255,255,255,.78); }.footer-mark { display: grid; place-items: center; width: 23px; height: 23px; border: 1px solid rgba(255,255,255,.3); border-radius: 50%; color: var(--pink); font: 700 8px var(--display); }

.reveal { opacity: 0; transform: translateY(18px); transition: opacity .8s ease, transform .8s ease; }.reveal.is-visible { opacity: 1; transform: translateY(0); }.reveal-delay { transition-delay: .14s; }

@keyframes star-pulse-a { 0%, 35% { opacity: .38; box-shadow: 0 0 20px 4px rgba(232,165,210,.28); } 43%, 57% { opacity: 1; box-shadow: 0 0 6px 3px rgba(232,165,210,.95), 0 0 24px 10px rgba(232,165,210,.58), 0 0 54px 20px rgba(232,165,210,.24); } 65%, 100% { opacity: .38; box-shadow: 0 0 20px 4px rgba(232,165,210,.28); } }
@keyframes star-pulse-b { 0%, 18% { opacity: .38; box-shadow: 0 0 20px 4px rgba(125,182,239,.22); } 26%, 42% { opacity: 1; box-shadow: 0 0 6px 3px rgba(125,182,239,.95), 0 0 24px 10px rgba(125,182,239,.58), 0 0 54px 20px rgba(125,182,239,.24); } 50%, 100% { opacity: .38; box-shadow: 0 0 20px 4px rgba(125,182,239,.22); } }
@keyframes star-pulse-c { 0%, 58% { opacity: .38; box-shadow: 0 0 16px 3px rgba(181,139,239,.22); } 66%, 82% { opacity: 1; box-shadow: 0 0 5px 2px rgba(181,139,239,.95), 0 0 20px 8px rgba(181,139,239,.58), 0 0 48px 18px rgba(181,139,239,.24); } 90%, 100% { opacity: .38; box-shadow: 0 0 16px 3px rgba(181,139,239,.22); } }
@keyframes journey-label-orbit { 0% { left: 50%; top: 0%; } 12.5% { left: 85%; top: 15%; } 25% { left: 100%; top: 50%; } 37.5% { left: 85%; top: 85%; } 50% { left: 50%; top: 100%; } 62.5% { left: 15%; top: 85%; } 75% { left: 0%; top: 50%; } 87.5% { left: 15%; top: 15%; } 100% { left: 50%; top: 0%; } }
@keyframes shooting-star { 0%, 10% { left: -14%; top: 18%; opacity: 0; } 25% { opacity: .9; } 50% { left: 50%; top: 50%; opacity: 1; } 75% { opacity: .9; } 90%, 100% { left: 114%; top: 84%; opacity: 0; } }

@media (max-width: 900px) {
  .site-header { padding: 20px 24px; }.site-header.is-scrolled { padding: 14px 24px; }.section-pad { padding-right: 24px; padding-left: 24px; }.hero { min-height: 980px; padding-top: 190px; }.hero-copy { width: 65%; }.hero-visual { top: 410px; right: 50%; width: 420px; transform: translateX(50%); }.hero-meta { right: 24px; bottom: 42px; left: 24px; }
  .research-hero, .research-layout, .journey-grid { grid-template-columns: 1fr; gap: 54px; }.research-orbit-visual { min-height: 390px; }.research-note, .research-publication { grid-template-columns: 1fr; gap: 24px; margin-top: 64px; }.project-grid { grid-template-columns: 1fr; }.side-column { grid-template-columns: repeat(2, 1fr); }.timeline::before { left: 144px; }.timeline-item { grid-template-columns: 116px 30px 1fr; }.publication-inner { grid-template-columns: 1fr 2fr; }.publication-orbit { position: absolute; right: -50px; opacity: .55; }.contact-layout { gap: 50px; }.journey-orbit-visual { width: min(520px, 100%); margin: 20px 0 0 auto; }
}

@media (max-width: 640px) {
  .site-header { padding: 16px 20px; }.brand-copy small { display: none; }.menu-toggle { display: grid; gap: 5px; width: 35px; padding: 7px 0; cursor: pointer; }.menu-toggle span:not(.sr-only) { display: block; width: 25px; height: 1px; margin-left: auto; background: #fff; transition: transform .2s ease; }.primary-nav { position: absolute; top: 68px; right: 20px; left: 20px; display: grid; gap: 0; padding: 12px; border: 1px solid rgba(255,255,255,.18); border-radius: 12px; background: rgba(16,12,43,.96); opacity: 0; pointer-events: none; transform: translateY(-8px); transition: opacity .2s ease, transform .2s ease; }.primary-nav.open { opacity: 1; pointer-events: auto; transform: translateY(0); }.primary-nav a { padding: 13px 10px; }.primary-nav .nav-cta { margin-top: 8px; text-align: center; }
  .section-pad { padding-top: 88px; padding-bottom: 88px; }.hero { min-height: 1090px; padding-top: 150px; }.hero-copy { width: 100%; }.hero-lede { font-size: 14px; }.hero-actions { align-items: flex-start; flex-direction: column; gap: 19px; }.hero-visual { top: 590px; width: 320px; height: 320px; }.portrait-placeholder { top: 50px; left: 58px; width: 205px; height: 205px; }.portrait-placeholder::before { inset: 20px; }.portrait-initials { top: 52px; font-size: 58px; }.portrait-label { bottom: 50px; font-size: 8px; }.portrait-orbit { transform: rotate(-22deg) scale(.72); }.orbit-two { transform: rotate(54deg) scale(.72); }.orbit-three { transform: rotate(-60deg) scale(.72); }.visual-caption { right: 0; bottom: 0; font-size: 8px; }.hero-meta { grid-template-columns: 1fr; gap: 12px; bottom: 26px; }.hero-meta div { grid-template-columns: 105px 1fr; gap: 12px; align-items: baseline; }.meta-label { font-size: 8px; }.research-hero { gap: 36px; }.research-orbit-visual { min-height: 330px; }.research-orbit-tag { font-size: 9px; padding: 7px 9px; }.research-orbit-tag:hover, .research-orbit-tag:focus-visible { max-width: calc(100vw - 36px); }.research-orbit-tag span { width: 100%; }.tag-logic { left: 0; }.tag-proof { right: 0; }.tag-kripke { left: 4%; }.research-orbit-core { width: 104px; height: 104px; padding: 0 13px; }.research-orbit-core span { font-size: 9px; letter-spacing: .13em; }.journey-orbit-visual { width: 100%; height: 190px; margin-top: 34px; }
  h1 { font-size: clamp(45px, 14vw, 67px); }.section-heading h2, .contact h2 { font-size: clamp(39px, 11vw, 54px); }.research-layout { margin-top: 52px; }.research-grid { grid-template-columns: 1fr; }.research-card { min-height: 165px; }.research-card h3 { margin-top: 22px; }.research-publication h3 { font-size: 27px; }.section-heading-split { display: block; }.section-side-note { margin-top: 26px; }.journey-grid { margin-top: 56px; }.timeline::before { left: 86px; }.timeline-item { grid-template-columns: 58px 28px 1fr; gap: 10px; min-height: 145px; }.timeline-date { font-size: 9px; line-height: 1.35; }.timeline-content h3 { font-size: 15px; }.timeline-content p:not(.timeline-kicker), .timeline-content small { font-size: 11px; }.side-column { grid-template-columns: 1fr; }.year-card { grid-template-columns: 75px 1fr; gap: 12px; padding: 23px 0; }.year-card h3 { font-size: 17px; }.year-card p { font-size: 11px; }.teaching-talks { margin-top: 48px; }.teaching-talk-row { align-items: flex-start; flex-direction: column; gap: 8px; }.publication { padding-top: 70px; padding-bottom: 70px; }.publication-inner { display: block; min-height: 260px; }.publication-main { max-width: 90%; }.contact-layout { grid-template-columns: 1fr; gap: 52px; }.contact-email { font-size: 23px; }.contact-list { display: grid; gap: 12px; }.site-footer { align-items: flex-start; flex-direction: column; padding: 24px 20px; gap: 11px; }
}

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .orbit-node, .journey-orbit-label, .reveal { animation: none !important; transition: none !important; }
  .journey-orbit-visual::before { animation: none !important; opacity: 0 !important; }
}

/* Latest interaction refinements */
.journey { position: relative; isolation: isolate; overflow: hidden; }
.journey > * { position: relative; z-index: 1; }
.journey-orbit-visual::before { display: none; }
.journey::after { display: none; }
.journey-orbit-visual { isolation: isolate; }
.journey .section-heading > div:first-child { position: relative; z-index: 5; }
.journey-orbit-visual > .journey-orbit { z-index: 1; }
.journey-shooting-star-layer { position: absolute; inset: 0; pointer-events: none; }
.journey-shooting-star-layer-back { z-index: 0; clip-path: inset(0 50% 0 0); }
.journey-shooting-star-layer-front { z-index: 2; clip-path: inset(0 0 0 50%); }
.journey-shooting-star-trail { position: absolute; inset: 0; z-index: 0; display: block; width: 100%; height: 100%; pointer-events: none; }
.journey-shooting-star { position: absolute; top: 0; left: 0; z-index: 1; width: 5px; height: 5px; border-radius: 50%; background: #ffe271; box-shadow: 0 0 5px 2px rgba(255,249,191,.98), 0 0 16px 6px rgba(255,216,82,.74), 0 0 30px 12px rgba(255,203,53,.28); opacity: 0; pointer-events: none; will-change: transform, opacity; }
.journey-shooting-star::before { content: none; }
.journey-orbit-label { z-index: 4; }
.timeline-current .timeline-marker { animation: timeline-marker-pulse 2.8s ease-in-out infinite; }

@keyframes timeline-marker-pulse { 0%, 100% { box-shadow: 0 0 6px 3px rgba(232,165,210,.95), 0 0 24px 10px rgba(232,165,210,.58), 0 0 54px 20px rgba(232,165,210,.24); } 50% { box-shadow: 0 0 5px 2px rgba(232,165,210,.68), 0 0 18px 7px rgba(232,165,210,.34), 0 0 40px 14px rgba(232,165,210,.14); } }
@keyframes shooting-star { 0% { offset-distance: 0%; opacity: 0; } 10% { opacity: .95; } 90% { opacity: .95; } 100% { offset-distance: 100%; opacity: 0; } }

@media (prefers-reduced-motion: reduce) {
  .journey-shooting-star, .timeline-current .timeline-marker { animation: none !important; }
  .journey-shooting-star { opacity: 0 !important; }
}

/* Les bulles sont des éléments frères des tracés : leur position est calculée
   dans le même repère que les trois ellipses, sans rotation du texte. */
.journey-orbit-label { top: 50%; left: 50%; transform: translate(-50%, -50%); offset-path: none; animation: none; will-change: left, top; }

/* Les axes de Recherche partagent la géométrie exacte de leurs tracés. */
.research-orbit-tag { top: 50%; left: 50%; transform: translate(-50%, -50%); will-change: left, top; }

/* Étoiles fixes disposées irrégulièrement, sans motif de grille. */
.space-backdrop::before {
  opacity: .86;
  background-image:
    radial-gradient(circle at 4% 10%, rgba(255,255,255,.88) 0 1px, transparent 1.35px),
    radial-gradient(circle at 14% 28%, rgba(181,139,239,.78) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 26% 8%, rgba(255,255,255,.82) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 39% 18%, rgba(255,255,255,.9) 0 1px, transparent 1.35px),
    radial-gradient(circle at 51% 6%, rgba(181,139,239,.72) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 63% 24%, rgba(255,255,255,.86) 0 1px, transparent 1.35px),
    radial-gradient(circle at 78% 12%, rgba(181,139,239,.8) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 91% 7%, rgba(255,255,255,.84) 0 1px, transparent 1.35px),
    radial-gradient(circle at 98% 31%, rgba(255,255,255,.78) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 8% 43%, rgba(181,139,239,.74) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 20% 58%, rgba(255,255,255,.86) 0 1px, transparent 1.35px),
    radial-gradient(circle at 34% 39%, rgba(255,255,255,.8) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 47% 52%, rgba(181,139,239,.76) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 60% 43%, rgba(255,255,255,.88) 0 1px, transparent 1.35px),
    radial-gradient(circle at 75% 55%, rgba(255,255,255,.8) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 88% 46%, rgba(181,139,239,.78) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 96% 68%, rgba(255,255,255,.84) 0 1px, transparent 1.35px),
    radial-gradient(circle at 4% 74%, rgba(255,255,255,.78) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 17% 88%, rgba(181,139,239,.76) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 30% 73%, rgba(255,255,255,.86) 0 1px, transparent 1.35px),
    radial-gradient(circle at 44% 91%, rgba(255,255,255,.8) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 56% 75%, rgba(181,139,239,.72) 0 .9px, transparent 1.25px),
    radial-gradient(circle at 69% 87%, rgba(255,255,255,.86) 0 1px, transparent 1.35px),
    radial-gradient(circle at 81% 72%, rgba(255,255,255,.78) 0 .8px, transparent 1.2px),
    radial-gradient(circle at 94% 91%, rgba(181,139,239,.76) 0 .9px, transparent 1.25px);
  background-position: 0 0;
  background-size: 100% 100%;
  background-repeat: no-repeat;
}

.site-footer { flex-wrap: wrap; }
.legal-notice { position: relative; color: rgba(255,255,255,.62); }
.legal-notice summary { cursor: pointer; list-style: none; transition: color .2s ease; }
.legal-notice summary::-webkit-details-marker { display: none; }
.legal-notice summary::before { margin-right: 6px; color: var(--pink); content: '+'; }
.legal-notice[open] summary::before { content: '−'; }
.legal-notice summary:hover { color: #fff; }
.site-footer .legal-notice-content { position: absolute; right: 0; bottom: calc(100% + 14px); z-index: 5; display: block; width: min(430px, calc(100vw - 64px)); padding: 18px 20px; border: 1px solid rgba(255,255,255,.18); background: rgba(16,12,43,.96); box-shadow: 0 16px 36px rgba(0,0,0,.24); color: rgba(255,255,255,.72); font-size: 11px; letter-spacing: 0; line-height: 1.6; }
.legal-notice-content p { margin: 0 0 10px; }
.legal-notice-content p:last-child { margin-bottom: 0; }
.legal-notice-content strong { color: rgba(255,255,255,.94); }
.legal-notice-content a { color: var(--pink); }

@media (max-width: 640px) {
  .site-footer .legal-notice-content { position: static; width: min(100%, 430px); margin-top: 12px; }
}

/* Language switcher: one compact control opens a list that can grow with
   future languages without changing the header structure. */
.language-switcher { position: relative; margin-left: 2px; padding-left: 14px; border-left: 1px solid rgba(255,255,255,.18); }
.language-switcher > summary { display: inline-flex; align-items: center; gap: 6px; padding: 3px 2px; color: rgba(255,255,255,.72); font: 700 10px/1 var(--display); letter-spacing: .08em; cursor: pointer; list-style: none; }
.language-switcher > summary::-webkit-details-marker { display: none; }
.language-switcher > summary::after { color: var(--pink); content: '⌄'; font-size: 11px; line-height: 1; transition: transform .2s ease; }
.language-switcher[open] > summary::after { transform: rotate(180deg); }
.language-switcher > summary:hover, .language-switcher > summary:focus-visible { color: #fff; }
.language-switcher > summary:focus-visible { outline: 1px solid var(--pink); outline-offset: 4px; }
.language-options { position: absolute; top: calc(100% + 9px); right: 0; display: grid; min-width: 70px; gap: 2px; padding: 6px; border: 1px solid rgba(255,255,255,.2); border-radius: 9px; background: rgba(16,12,43,.96); box-shadow: 0 12px 24px rgba(5,4,18,.24); }
.language-options button { width: 100%; padding: 7px 8px; border: 0; border-radius: 5px; background: transparent; color: rgba(255,255,255,.6); font: 700 10px/1 var(--display); letter-spacing: .08em; text-align: left; cursor: pointer; transition: color .2s ease, background .2s ease; }
.language-options button:hover, .language-options button:focus-visible, .language-options button[aria-pressed="true"] { background: rgba(255,255,255,.1); color: #fff; }
.language-options button:focus-visible { outline: 1px solid var(--pink); outline-offset: 1px; }

/* Bubble dimensions are measured from the rendered title and description in
   script.js, so every present and future locale uses the same sizing logic. */

/* Keep the animated Research drawing inside the viewport on its right side.
   Only the visual wrapper moves; its ellipses and computed bubble paths do
   not change. */
.research-orbit-visual.reveal { transform: translateX(-68px) translateY(18px); }
.research-orbit-visual.reveal.is-visible { transform: translateX(-68px) translateY(0); }

@media (max-width: 900px) {
  .language-switcher { margin-left: 8px; }
  .research-orbit-visual.reveal { transform: translateX(-36px) translateY(18px); }
  .research-orbit-visual.reveal.is-visible { transform: translateX(-36px) translateY(0); }
}

@media (max-width: 640px) {
  .language-switcher { justify-self: end; margin: 5px 10px 0; padding: 12px 0 2px; border-top: 1px solid rgba(255,255,255,.14); border-left: 0; }
  .language-options { position: static; margin-top: 8px; }
  .research-orbit-visual.reveal { transform: translateX(-20px) translateY(18px); }
  .research-orbit-visual.reveal.is-visible { transform: translateX(-20px) translateY(0); }
  .research-orbit-tag { padding: 7px 9px; font-size: 9px; }
  .research-orbit-tag:hover, .research-orbit-tag:focus-visible { max-width: calc(100vw - 36px); }
  .research-orbit-tag span { width: 100%; }
}