body {
  max-width: 30em;
  margin: 0 auto;
  padding: 5px;
  font-family: Tahoma, sans-serif;
  font-size: 18px;
  line-height: 1.5em;
  color: #000;
}

header {
  border-bottom: 1px solid;
}

footer {
  border-top: 1px solid;
  margin-top: 50px;
}

div.header a {
  font-size: 1.8em;
  font-weight: bold;
  margin: 0px;
  text-decoration: underline;
  text-decoration-thickness: 0.08em;
  text-underline-offset: 5px;
}

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

li.nav {
  display: inline;
  padding-right: 12px;
}

h1, h2, h3, h4 {
  font-weight: normal;
  margin: 40px 0px 20px;
}

h1 {
  font-size: 1.8em;
  line-height: 1.1;
  margin: 40px 0px 40px;
}

h2 {
  font-size: 1.4em;
  line-height: 1.4em;
  border-bottom: 1px solid;
}

h3 {
  font-size: 1.2em;
}

h4 {
  font-size: 1.05em;
}

a {
  color: #000;
  text-decoration: underline;
  text-decoration-color: #000;
  text-decoration-thickness: 0.08em;
  text-underline-offset: 5px;
}

pre code {
  display: block;
  padding: 10px;
}

code {
  font-family: 'Courier New', monospace;
  font-size: 0.8em;
  padding: 0.25em;
  background-color: #eee;
  overflow-x: auto;
}

em {
  font-style: italic;
}

dd {
  margin: 0px 0px 20px 40px;
}

/* See https://css-tricks.com/examples/Blockquotes/ */
blockquote {
  margin-left: 30px;
  border-left: 3px solid #ccc;
  padding-left: 15px;
}

div.verseblock pre.content {
  font-family: sans-serif;
  background-color: #fff;
  margin-left: 30px;
  border-left: 3px solid #ccc;
  padding-left: 15px;
}

sup {
  vertical-align: super;
  line-height: 0;
  font-size: 0.8em;
}

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

  blockquote {
    border-left: 3px solid #696969;
  }

  div.verseblock pre.content {
    border-left: 3px solid #696969;
    background-color: #000;
  }

  a {
    color: #ccc;
    text-decoration-color: #eee;
  }

  code {
    background-color: #272727;
  }
}