:root {
  --page: #fbfaf8;
  --paper: #ffffff;
  --ink: #1f2428;
  --muted: #5d6770;
  --line: #d9dde0;
  --accent: #b00020;
  --accent-dark: #7e0017;
  --soft-accent: #f6e8eb;
  --tu-blue: #005aa0;
  --max-width: 1200px;
  font-family: Arial, Helvetica, sans-serif;
  color: var(--ink);
  background: var(--page);
}

* {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  color: var(--ink);
  background:
    linear-gradient(90deg, var(--accent) 0 16px, transparent 16px),
    var(--page);
  font-size: 17px;
  line-height: 1.62;
}

a {
  color: var(--accent-dark);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
}

a:hover {
  color: var(--tu-blue);
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 28px;
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 18px 28px;
  background: color-mix(in srgb, var(--page) 92%, transparent);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(14px);
}

.identity {
  display: inline-flex;
  align-items: center;
  gap: 12px;
  min-width: 250px;
  color: var(--ink);
  text-decoration: none;
}

.identity-mark {
  display: grid;
  width: 42px;
  height: 42px;
  place-items: center;
  flex: 0 0 auto;
}

.polytope-mark {
  display: block;
  width: 37px;
  height: 37px;
}

.identity strong,
.identity small {
  display: block;
}

.identity strong {
  font-size: 1rem;
  line-height: 1.2;
}

.identity small {
  color: var(--muted);
  font-size: 0.82rem;
  line-height: 1.35;
}

.site-nav {
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: 22px;
  flex-wrap: wrap;
  font-size: 0.94rem;
}

.site-nav a {
  color: var(--ink);
  text-decoration: none;
}

.site-nav a:hover {
  color: var(--accent-dark);
}

main,
.site-footer {
  max-width: var(--max-width);
  margin: 0 auto;
  padding-inline: 28px;
}

.hero {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 280px;
  gap: 56px;
  align-items: end;
  padding: 78px 0 64px;
  border-bottom: 1px solid var(--line);
}

.eyebrow,
.section-label {
  margin: 0 0 10px;
  color: var(--accent-dark);
  font-size: 0.94rem;
  font-weight: 700;
  line-height: 1.2;
}

.section-label {
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

h1,
h2,
h3,
p {
  margin-top: 0;
}

h1 {
  max-width: 760px;
  margin-bottom: 22px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(2.7rem, 6vw, 4.2rem);
  font-weight: 400;
  line-height: 0.95;
  letter-spacing: 0;
}

h2 {
  margin-bottom: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(1.55rem, 3vw, 2.1rem);
  font-weight: 400;
  line-height: 1.12;
  letter-spacing: 0;
}

h3 {
  margin-bottom: 6px;
  font-size: 1.08rem;
  line-height: 1.35;
}

.long-paper-title {
  font-size: 1.02rem;
  line-height: 1.32;
}

.title-nowrap {
  white-space: nowrap;
}

.lead {
  max-width: 760px;
  margin-bottom: 28px;
  color: #31383e;
  font-size: clamp(1.08rem, 2vw, 1.28rem);
  line-height: 1.6;
}

.profile-links,
.paper-links {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.profile-links a,
.paper-links a {
  display: inline-flex;
  min-height: 34px;
  align-items: center;
  padding: 4px 10px;
  border: 1px solid var(--line);
  color: var(--accent-dark);
  background: var(--paper);
  font-size: 0.9rem;
  line-height: 1.2;
  text-decoration: none;
}

.profile-links a:hover,
.paper-links a:hover {
  border-color: var(--accent);
  background: var(--soft-accent);
}

.portrait {
  margin: 0;
}

.portrait img {
  display: block;
  width: 100%;
  aspect-ratio: 1 / 1;
  border: 1px solid var(--line);
  object-fit: cover;
  background: #f3f4f4;
}

code {
  font-family: "Courier New", Courier, monospace;
  font-size: 0.92em;
}

.math {
  font-family: Georgia, "Times New Roman", serif;
  font-style: italic;
}

.section {
  display: grid;
  grid-template-columns: minmax(180px, 260px) minmax(0, 1fr);
  gap: 48px;
  scroll-margin-top: 79px;
  padding: 58px 0;
  border-bottom: 1px solid var(--line);
}


.publication-list {
  display: grid;
  min-width: 0;
  max-width: 100%;
  gap: 24px;
  margin: 0;
  padding-left: 22px;
}

.publication {
  min-width: 0;
  padding-left: 10px;
}

.publication article {
  min-width: 0;
  max-width: 100%;
}

.publication::marker {
  color: var(--accent-dark);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.15rem;
}

.authors,
.venue {
  margin-bottom: 6px;
}

.authors {
  color: var(--ink);
}

.venue {
  color: var(--muted);
}

.section-note {
  margin-bottom: 18px;
  color: var(--muted);
}


.publication-details {
  min-width: 0;
  max-width: 100%;
  margin: 8px 0 10px;
}

.publication-detail-controls {
  display: grid;
  grid-template-columns: max-content max-content;
  gap: 18px;
  align-items: center;
}

.publication-detail-toggle {
  display: inline-flex;
  align-items: baseline;
  width: fit-content;
  min-height: 28px;
  padding: 0;
  border: 0;
  cursor: pointer;
  color: var(--accent-dark);
  background: transparent;
  font: inherit;
  font-size: 0.92rem;
  font-weight: 700;
  line-height: 1.2;
}

.publication-detail-toggle:hover {
  color: var(--tu-blue);
}

.detail-chevron {
  display: inline-block;
  width: 0.62em;
  height: 0.62em;
  margin-left: 6px;
  border-right: 1.7px solid currentColor;
  border-bottom: 1.7px solid currentColor;
  color: var(--muted);
  transform: translateY(-0.08em) rotate(45deg);
  transition: transform 160ms ease;
}

.publication-detail-toggle[aria-expanded="true"] .detail-chevron {
  transform: translateY(0.08em) rotate(225deg);
}

.publication-detail-panel {
  min-width: 0;
  max-width: 100%;
  margin-top: 8px;
}

.publication-detail-panel p {
  max-width: 760px;
  margin: 10px 0 0;
  padding-left: 12px;
  border-left: 2px solid var(--line);
  color: var(--muted);
  font-size: 0.95rem;
}

.publication-detail-panel pre {
  min-width: 0;
  width: 100%;
  max-width: 100%;
  overflow-x: auto;
  margin: 8px 0 0;
  padding: 12px;
  border: 1px solid var(--line);
  background: var(--paper);
  color: var(--ink);
  font-size: 0.82rem;
  line-height: 1.45;
}

.publication-detail-panel code {
  font-size: inherit;
}
.timeline,
.teaching-list,
.awards-list {
  display: grid;
  gap: 18px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.timeline li,
.teaching-list li,
.awards-list li {
  display: grid;
  grid-template-columns: 110px minmax(0, 1fr);
  gap: 18px;
  padding-bottom: 18px;
  border-bottom: 1px solid var(--line);
}

.talk-venue,
.talk-meta {
  display: block;
}

.talk-venue {
  margin-bottom: 2px;
}

.talk-meta {
  color: var(--muted);
}

.timeline li:last-child,
.teaching-list li:last-child,
.awards-list li:last-child {
  padding-bottom: 0;
  border-bottom: 0;
}

time,
.teaching-list strong,
.awards-list strong {
  color: var(--accent-dark);
  font-weight: 700;
}

.teaching-list strong {
  white-space: nowrap;
}

.teaching-courses span {
  display: block;
}

.contact address {
  font-style: normal;
}

.site-footer {
  display: flex;
  justify-content: space-between;
  gap: 24px;
  padding-top: 28px;
  padding-bottom: 40px;
  color: var(--muted);
  font-size: 0.9rem;
}

.site-footer p {
  margin: 0;
}

@media (max-width: 760px) {
  .title-nowrap {
    white-space: normal;
  }

  body {
    background: var(--page);
  }

  .site-header {
    position: static;
    display: block;
    padding: 16px 20px;
  }

  .identity {
    min-width: 0;
    margin-bottom: 14px;
  }

  .site-nav {
    justify-content: flex-start;
    gap: 14px;
  }

  main,
  .site-footer {
    padding-inline: 20px;
  }

  .hero,
  .section {
    grid-template-columns: 1fr;
    gap: 28px;
  }

  .hero {
    padding: 48px 0 46px;
  }

  .portrait {
    max-width: 280px;
  }

  .section {
    scroll-margin-top: 0;
    padding: 42px 0;
  }

  .timeline li,
  .teaching-list li,
  .awards-list li {
    grid-template-columns: 1fr;
    gap: 4px;
  }

  .site-footer {
    display: block;
  }

  .site-footer p {
    margin-bottom: 10px;
  }
}