:root {
  color-scheme: light;
  font-family: Arial, Helvetica, sans-serif;
  color: #404040;
  background: #fff;
  font-synthesis: none;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  font-size: 16px;
  line-height: 1.45;
}

main {
  max-width: 930px;
  margin: 34px auto 32px;
  padding: 0 24px;
}

header {
  margin-bottom: 28px;
}

h1 {
  margin: 0 0 5px;
  color: #333;
  font-size: 24px;
  line-height: 1.2;
}

.role {
  margin: 0;
  font-size: 15px;
}

.page-layout {
  display: grid;
  grid-template-columns: 180px minmax(0, 1fr);
  gap: 42px;
  align-items: start;
}

.portrait {
  display: block;
  width: 170px;
  height: 170px;
  border-radius: 50%;
  object-fit: cover;
  object-position: 50% 50%;
}

.profile {
  color: #606060;
  font-size: 14px;
}

.profile-links {
  margin-top: 17px;
}

.profile p {
  margin-bottom: 6px;
}

.profile nav {
  margin-top: 22px;
}

.profile nav a {
  display: block;
  width: fit-content;
  margin-bottom: 6px;
}

.content {
  min-width: 0;
}

section,
article {
  scroll-margin-top: 18px;
}

.content section:first-child h2 {
  margin-top: 0;
}

a {
  color: #245d85;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a:focus-visible,
summary:focus-visible {
  outline: 2px solid #245d85;
  outline-offset: 3px;
}

h2 {
  margin: 29px 0 12px;
  color: #3c3c3c;
  font-size: 23px;
  line-height: 1.25;
}

h3 {
  margin: 0 0 7px;
  font-size: 17px;
  line-height: 1.4;
}

p {
  margin: 0 0 13px;
}

ul {
  margin: 0;
  padding-left: 24px;
}

.publications li {
  margin-bottom: 19px;
}

.paper-links {
  white-space: normal;
}

.paper-links a {
  display: inline-block;
}

.summary {
  margin: 5px 0 0;
  color: #606060;
  font-size: 15px;
}

.education li {
  margin-bottom: 8px;
}

.problem {
  margin-top: 23px;
}

.problem > p {
  margin-bottom: 7px;
}

details {
  margin-bottom: 12px;
}

summary {
  width: fit-content;
  color: #245d85;
  cursor: pointer;
  font-size: 15px;
}

summary:hover {
  text-decoration: underline;
}

.proof {
  margin-top: 12px;
  padding-left: 16px;
  border-left: 1px solid #ddd;
}

.equation {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 17px;
  overflow-wrap: anywhere;
}

.source {
  color: #666;
  font-size: 14px;
}

blockquote {
  margin: 18px 0 0;
  padding-left: 16px;
  border-left: 1px solid #ddd;
}

blockquote p {
  margin-bottom: 5px;
  font-style: italic;
}

blockquote cite {
  font-size: 14px;
  font-style: normal;
}

footer {
  margin-top: 32px;
  padding-top: 12px;
  border-top: 1px solid #e5e5e5;
  color: #737373;
  font-size: 12px;
}

footer p {
  margin: 0;
}

.skip-link {
  position: absolute;
  left: -10000px;
  top: 8px;
}

.skip-link:focus {
  left: 12px;
  padding: 8px;
  background: white;
}

@media (max-width: 680px) {
  main {
    margin-top: 25px;
    padding-inline: 18px;
  }

  h1 {
    font-size: 24px;
  }

  .page-layout {
    grid-template-columns: minmax(0, 1fr);
    gap: 27px;
  }

  .profile {
    display: grid;
    grid-template-columns: 110px minmax(0, 1fr);
    column-gap: 20px;
    align-items: center;
  }

  .portrait {
    width: 110px;
    height: 110px;
  }

  .profile-links {
    margin-top: 0;
    overflow-wrap: anywhere;
  }

  .profile nav {
    grid-column: 1 / -1;
    display: flex;
    flex-wrap: wrap;
    gap: 8px 18px;
    margin-top: 18px;
  }

  .profile nav a {
    margin-bottom: 0;
  }

  .role {
    max-width: 45ch;
  }

  ul {
    padding-left: 20px;
  }
}

@media print {
  main {
    max-width: none;
    margin: 0;
    padding: 0;
  }

  body {
    font-size: 10pt;
  }

  .page-layout {
    display: block;
  }

  .profile,
  .skip-link {
    display: none;
  }

  a {
    color: inherit;
  }

  li {
    break-inside: avoid;
  }

  footer {
    display: none;
  }
}