body {
  min-height: 100vh;
  max-width: 690px;
  padding: 0px;
  margin: auto;
  line-height: 1.4;
  font-family: "Sentient", Georgia, serif;
  font-size: 19px;
  font-style: normal;
  font-weight: 400;
  color: #000000;
  background-color: #FFFFFF;
}

h1,
p.name {
  font-family: "Gambetta", Georgia, serif;
}

strong {
  font-weight: 600;
}

a {
  color: #3B7EA1;
  text-decoration: none;
}

a:focus,
a:hover {
  color: #C4820E;
}

@media (prefers-color-scheme: dark) {
  body {
    color: #E1D9D1;
    background: #121212;
  }

  a {
    color: #C4820E;
  }

  a:focus,
  a:hover {
    color: #3B7EA1;
  }

}

div.section {
  padding: 6px 20px;
  margin-bottom: 12px;
}

p {
  margin: 0 0 12px;
}

.introduction-text,
.publication-list p {
  text-align: justify;
  text-align-last: left;
  hyphens: auto;
  overflow-wrap: break-word;
}

div.section p:last-child {
  margin-bottom: 0;
}

div.content > ul {
  margin-block: 0;
}

h1 {
  font-size: 22px;
  font-weight: 600;
  margin: 0 0 8px;
}

p.name {
  font-size: 32px;
  text-align: center;
  font-weight: normal;
  margin: 16px 0 12px;
}

span.paper {
  font-weight: 400;
}

.publication-list .paper-link {
  color: inherit;
}

span.author {
  font-weight: normal;
}

span.venue {
  font-weight: normal;
  font-style: italic;
}

@media screen and (max-width: 600px) {
  body {
    max-width: 100%;
    font-size: 16px;
  }

  p.name {
    font-size: 24px;
  }

  h1 {
    font-size: 20px;
    font-weight: 600;
  }

}

/* Keep publication entries compact and easy to scan. */
.publication-note {
  font-size: 0.8em;
  margin-bottom: 8px;
}

.publication-list {
  margin-block: 0;
  padding-left: 0;
  list-style: none;
  counter-reset: publication;
}

.publication-list > li {
  position: relative;
  padding-left: 30px;
  counter-increment: publication;
}

.publication-list > li::before {
  content: counter(publication);
  position: absolute;
  top: 0.2em;
  left: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  width: 1.6em;
  height: 1.6em;
  border: 1px solid currentColor;
  border-radius: 50%;
  font-family: "Gambetta", Georgia, serif;
  font-size: 0.65em;
  line-height: 1;
}

.publication-list li + li {
  margin-top: 16px;
}

.publication-list p {
  margin: 0;
}

a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

a:focus-visible {
  outline: 2px solid currentColor;
  outline-offset: 4px;
}