html {
  background: white;
  height: 100%;
  color: black;
}

body {
  margin: 0 auto;
  max-width: 800px;
  height: 100%;
  font-family: serif;
}

h1 {
  margin-bottom: 0;
}

a {
  color: black;
  text-decoration: none;
  border-bottom: 1px dotted black;
}

a:not(.download):hover {
  border-bottom: 1px solid black;
}

a.download {
  background-color: #eee;
  font-size: 80%;
  border: none;
  padding: 0.25em;
}

ul {
  list-style: none;
  padding-left: 0;
}

ul>li {
  margin-bottom: 0.5em;
}

ul>li>a:first-child {
  font-style: italic;
  margin-right: 0.5em;
}


header {
  border-bottom: 1px solid black;
  padding: 1em 0;
}

#pdf {
  margin-top: 1em;
}

@media (max-width: 832px) {
  body {
    max-width: 100%; margin: 0 1em;
  }
}