:root {
  color-scheme: light;
  --paper: #f7f6f0;
  --ink: #293d34;
  --green: #285c48;
  --muted: #626c63;
  --line: #d9ded3;
  --accent: #ad5837;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 28px; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 15px/1.75 'Segoe UI', Arial, sans-serif;
  border-top: none;
}
.page { max-width: 960px; padding: 58px 46px 30px; margin: auto; }
a { color: var(--green); text-decoration-color: #9fae9e; text-underline-offset: 4px; text-decoration-thickness: 1px; }
a:hover { color: var(--accent); text-decoration-color: currentColor; }
a:focus-visible { outline: 2px solid var(--accent); outline-offset: 5px; }
header { display: flex; justify-content: space-between; align-items: center; gap: 38px; padding-bottom: 38px; }
h1 { margin: 0 0 18px; font: normal 47px/1.15 Georgia, 'Times New Roman', serif; letter-spacing: -1.4px; color: var(--ink); }
header p { margin: 0 0 13px; color: var(--muted); }
header p a { color: inherit; text-decoration: none; }
header p a:hover { color: var(--green); text-decoration: underline; }
header > div > a { font-size: 14px; }
header img {
  width: 190px;
  height: 230px;
  object-fit: cover;
  border: 7px solid #e8e9df;
  box-shadow: 0 6px 18px #293d3412;
}
nav { display: flex; flex-wrap: wrap; gap: 12px 34px; padding: 12px 18px; background: #edf0e6; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); font-size: 16px; font-weight: 600; }
nav a { display: inline-block; padding: 4px 2px; text-decoration: none; }
nav a:hover { text-decoration: underline; }
.intro { margin: 28px 0 36px; max-width: 720px; font: 20px/1.6 Georgia, 'Times New Roman', serif; }
section { margin: 35px 0; }
h2 { display: flex; align-items: center; gap: 20px; font: normal 29px/1.25 Georgia, 'Times New Roman', serif; color: var(--ink); margin: 0 0 17px; }
h2::after { content: ''; height: 1px; background: var(--line); flex: 1; }
h3 { font-size: 12px; letter-spacing: 1.2px; text-transform: uppercase; font-weight: 600; color: var(--muted); margin: 25px 0 5px; }
p { margin: 12px 0; }
ul { padding-left: 21px; }
li { margin: 10px 0; padding-left: 3px; }
li::marker { color: #8e9c87; }
.papers { list-style: none; padding: 0; margin: 0; }
.papers li { padding: 17px 0 18px; margin: 0; border-bottom: 1px solid var(--line); }
.papers li:last-child { border-bottom: none; padding-bottom: 0; }
.paper-title { font: normal 19px/1.45 Georgia, 'Times New Roman', serif; }
.meta { color: var(--muted); font-size: 13px; }
.papers li > a { font-size: 12px; }
#seminar { background: #edf0e6; border-left: 3px solid #809574; padding: 23px 27px; }
#seminar h2 { font-size: 26px; margin-bottom: 12px; }
#seminar h2::after { display: none; }
#seminar p:last-child { margin-bottom: 0; }
#contact { margin-bottom: 28px; }
footer { border-top: 1px solid var(--line); padding-top: 19px; margin-top: 35px; font-size: 12px; color: var(--muted); }
.skip { position: absolute; top: -100px; left: 12px; background: var(--paper); padding: 8px; }
.skip:focus { top: 8px; }
@media (max-width: 600px) {
  .page { padding: 32px 23px 24px; }
  header { align-items: flex-start; gap: 20px; padding-bottom: 26px; }
  h1 { font-size: 33px; letter-spacing: -.8px; margin-bottom: 15px; }
  header img { width: 110px; height: 138px; border-width: 5px; }
  header p, header > div > a { font-size: 13px; }
  nav { gap: 10px 24px; padding: 10px 14px; font-size: 15px; }
  .intro { font-size: 19px; margin: 24px 0 30px; }
  h2 { font-size: 27px; }
  .paper-title { font-size: 18px; }
  #seminar { padding: 20px; }
}
@media (max-width: 400px) {
  header { position: relative; display: block; }
  header > div { min-height: 145px; }
  h1 { max-width: 195px; padding-right: 12px; }
  header p { max-width: 195px; }
  header img { position: absolute; right: 0; top: 5px; width: 80px; height: 100px; }
  header > div > a { display: inline-block; margin-top: 5px; }
}
@media print {
  body { background: white; border-top: none; }
  .page { max-width: none; padding: 0; }
  nav, .skip { display: none; }
  header img { box-shadow: none; }
  #seminar { background: none; }
  section, .papers li { break-inside: avoid; }
}


/* Matching inner pages. */
nav a[aria-current="page"] { color: var(--ink); text-decoration: underline; text-decoration-color: var(--accent); text-underline-offset: 7px; }
.subpage header { padding-bottom: 27px; }
.subpage header h1 { font-size: 36px; letter-spacing: -.8px; margin-bottom: 12px; }
.subpage header h1 a { color: inherit; text-decoration: none; }
.subpage header h1 a:hover { color: var(--green); }
.subpage header p { font-size: 14px; }
.subpage main > section:first-child { margin-top: 31px; }
.full-papers p { margin: 0 0 5px; }
.full-papers .publication-links { margin: 5px 0 7px; font-size: 12px; }
details { margin-top: 9px; }
summary { cursor: pointer; width: fit-content; color: var(--green); font-size: 13px; }
summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
details[open] summary { margin-bottom: 10px; }
details > p { color: #49564b; font-size: 14px; line-height: 1.8; max-width: 750px; }
.full-papers details > p { margin-bottom: 3px; }
.course-list { list-style: none; padding: 0; margin: 8px 0 25px; }
.course-list li { display: grid; grid-template-columns: 105px minmax(0, 1fr); gap: 20px; margin: 0; padding: 12px 0; border-bottom: 1px solid var(--line); }
.course-list li:last-child { border-bottom: none; }
.course-term { font-size: 13px; color: var(--muted); padding-top: 1px; }
.year-heading { color: var(--muted); font-weight: 500; font-size: 15px; margin: 23px 0 2px; }
.seminar-info { background: #edf0e6; border-left: 3px solid #809574; margin: 22px 0 30px; padding: 16px 22px; }
.seminar-info > div { display: grid; grid-template-columns: 90px minmax(0, 1fr); gap: 15px; padding: 3px 0; }
.seminar-info dt { font-size: 13px; color: var(--muted); }
.seminar-info dd { margin: 0; font-size: 14px; }
.schedule { list-style: none; padding: 0; margin: 13px 0 0; }
.schedule li { display: grid; grid-template-columns: 75px minmax(0, 1fr); gap: 20px; border-top: 1px solid var(--line); padding: 10px 0; margin: 0; }
.schedule time { font-size: 13px; color: var(--muted); padding-top: 3px; }
.schedule .speaker { margin: 0; font-weight: 500; font-size: 14px; line-height: 1.5; }
.schedule .talk-title { font: 16px/1.4 Georgia, 'Times New Roman', serif; margin: 7px 0 0; }
.math { font-family: Georgia, 'Times New Roman', serif; white-space: nowrap; }
@media (max-width: 600px) {
  .subpage header h1 { font-size: 30px; }
  .course-list li { grid-template-columns: 85px minmax(0, 1fr); gap: 14px; }
  .seminar-info { padding: 14px 17px; }
  .seminar-info > div { grid-template-columns: 70px minmax(0, 1fr); gap: 10px; }
  .schedule li { grid-template-columns: 55px minmax(0, 1fr); gap: 14px; }
}
@media (max-width: 400px) {
  .subpage header > div { min-height: 0; }
  .subpage header h1, .subpage header p { max-width: none; padding-right: 0; }
}
@media print {
  details { display: block; }
  .seminar-info { background: none; }
}


.seminar-page header { padding-bottom: 0; }
.seminar-page main > section:first-child { margin-top: 8px; }
.seminar-page .seminar-info { margin-top: 0; }

.schedule .affiliation { color: var(--muted); font-size: 12px; font-weight: 400; }

.schedule .talk-abstract { margin: 7px 0 3px; color: #49564b; font-size: 13px; line-height: 1.65; }
.schedule .talk-abstract { white-space: pre-line; }
.schedule .talk-details { margin: 7px 0 0; color: var(--muted); font-size: 12px; }

.schedule .recess { color: var(--accent); }

.next-up { display: grid; grid-template-columns: 90px minmax(0, 1fr); gap: 15px; padding: 15px 22px; margin: 0 0 26px; background: #f1ebe0; border-left: 3px solid var(--accent); }
.next-up-label { font-size: 14px; font-weight: 600; color: var(--accent); }
.next-up a { display: block; text-decoration: none; }
.next-up a:hover .next-up-speaker { text-decoration: underline; text-underline-offset: 3px; }
.next-up-speaker { display: block; font-size: 14px; font-weight: 500; }
.next-up-title { display: block; margin-top: 3px; font: 16px/1.4 Georgia, 'Times New Roman', serif; color: var(--ink); }
.next-up-date { display: block; font-size: 12px; color: var(--muted); margin-bottom: 3px; }
.next-up-empty { margin: 0; font-size: 14px; color: var(--muted); }
.schedule li:target { background: #f1ebe0; outline: 7px solid #f1ebe0; }
@media (max-width: 600px) { .next-up { padding: 14px 17px; grid-template-columns: 70px minmax(0, 1fr); gap: 10px; } }
@media print { .next-up { display: none; } }

.seminar-page header { display: block; }
.seminar-page header h1 { text-align: center; }

.seminar-page header p { text-align: center; }

/* University header and legal footer shared by all pages. */
.university-banner {
  background: #01321e;
  border-top: 2px solid #01321e;
  border-bottom: 1px solid #d9ded3;
  text-align: center;
  padding: 3px 16px 4px;
  font: 600 11px/1.5 'Segoe UI', Arial, sans-serif;
  letter-spacing: .35em;
}
.university-banner a { color: #c9d9bf; text-decoration: none; }
.university-banner a:hover { color: #fff; }
.university-banner a:focus-visible { outline-color: #fff; }
.university-footer { text-align: center; font-size: 11px; line-height: 1.7; }
.university-footer p { margin: 0; }
.university-footer .footer-links { display: flex; flex-wrap: wrap; justify-content: center; align-items: baseline; gap: 4px 12px; margin-top: 5px; }
.university-footer a { color: var(--muted); }
.university-footer a:hover { color: var(--green); }
@media (max-width: 600px) {
  .university-banner { font-size: 10px; letter-spacing: .27em; }
  .university-footer .footer-links { gap: 4px 8px; }
}

.homepage header img { flex-shrink: 0; height: 140px; border: none; object-position: 30% 50%; outline: 1px solid rgba(255, 255, 255, 0.9); outline-offset: -6px; }


@media (max-width: 600px) { .homepage header img { height: 125px; outline-offset: -4px; } }



/* Compact publication list, retaining native abstract disclosures. */
.full-papers li { padding: 10px 0; }
.full-papers .paper-title { font-size: 17px; line-height: 1.4; margin-bottom: 3px; }
.full-papers .meta { font-size: 12px; line-height: 1.5; margin-bottom: 4px; }
.full-papers .publication-links { display: inline; margin: 0 14px 0 0; font-size: 12px; line-height: 1.6; }
.full-papers details { display: inline; margin: 0; }
.full-papers summary { display: inline; font-size: 12px; }
.full-papers summary::before { content: '▸ '; }
.full-papers details[open] { display: inline; margin: 0; }
.full-papers details[open] summary::before { content: '▾ '; }
.full-papers details[open] summary { display: inline; margin: 0; }
.full-papers details > p { font-size: 13px; line-height: 1.65; margin: 6px 0 3px; }

.homepage .intro { font-size: 18px; max-width: none; }


/* Small knot diagrams follow the papers from oldest to newest. */
.full-papers li { padding-left: 31px; }
.full-papers .paper-title { position: relative; }
.paper-knot { position: absolute; left: -31px; top: 1px; width: 1.2em; height: 1.2em; object-fit: contain; }
.knot-credit { margin-top: 22px; color: var(--muted); font-size: 11px; }

.full-papers .paper-number { position: absolute; left: -31px; top: 0; width: 24px; text-align: right; color: var(--muted); font: 13px/1.83 'Segoe UI', Arial, sans-serif; font-variant-numeric: tabular-nums; }

.homepage header { align-items: flex-start; padding-bottom: 27px; }



.seminar-page h2::after { display: none; }

.teaching-heading::after { display: none; }

.research-heading::after { display: none; }

.collaborators-heading::after { display: none; }

.homepage #contact h2::after { display: none; }

/* CV uses the same restrained typography and spacing as the other faculty pages. */
.cv-page h2::after { display: none; }
.cv-page h3 { margin-top: 29px; margin-bottom: 13px; }
.cv-entries { margin: 0; }
.cv-entries > div { display: grid; grid-template-columns: 110px minmax(0, 1fr); gap: 20px; padding: 8px 0; }
.cv-entries dt { color: var(--muted); font-size: 13px; padding-top: 2px; font-variant-numeric: tabular-nums; }
.cv-entries dd { margin: 0; font-size: 14px; line-height: 1.65; }
.cv-entries strong { font-weight: 500; }
.cv-publications { padding-left: 24px; margin: 0; }
.cv-publications li { margin: 0; padding: 7px 0 7px 6px; font: 16px/1.5 Georgia, 'Times New Roman', serif; }
.cv-publications li::marker { font: 12px 'Segoe UI', Arial, sans-serif; color: var(--muted); }
.cv-publications a { text-decoration: none; }
.cv-publications a:hover { text-decoration: underline; }
.cv-citation { display: block; color: var(--muted); font: 12px/1.6 'Segoe UI', Arial, sans-serif; margin-top: 3px; }
.cv-related-link { font-size: 13px; }
@media (max-width: 600px) { .cv-entries > div { grid-template-columns: 90px minmax(0, 1fr); gap: 13px; } }

.cv-download { display: inline-block; padding: 8px 15px; background: #f1ebe0; color: var(--accent); text-decoration: none; font-size: 14px; font-weight: 500; }
.cv-download:hover { background: #e9dfcf; color: #8d452b; }


.publication-intro { color: var(--accent); }

.cv-download-row { display: flex; margin: 24px 0; }
.archive-navigation { justify-content: center; }
.cv-page .cv-download-row + h3 { margin-top: 24px; }

.homepage header h1 { font-size: 36px; letter-spacing: -.8px; margin-bottom: 12px; }
@media (max-width: 600px) { .homepage header h1 { font-size: 30px; } }

.homepage header p { font-size: 14px; }