.noselect {
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}
code {
  padding: 2px 4px 2px 4px;
  border-radius: 5px;
  color: #454545;
  background-color: #f0f0f0;
}
body {
  font-family: Helvetica, sans-serif;
  background-color: #f0f0f0;
  color: #454545;
  font-size: 16px;
  margin: 1em auto;
  max-width: 800px;
  padding: 1em;
  line-height: 1.4;
  text-align: justify;
  -webkit-hyphens: auto;
  -ms-hyphens: auto;
  hyphens: auto;
}
div.page-content {
  background-color: white;
  padding: 10px 1rem 1px 1rem;
  border-radius: 5px;
}
a {
  color: #c0392b;
}
a:visited {
  color: #941352;
}
small {
  font-size: 0.4em;
}
p.st {
  margin-top: -1em;
}
span.visited {
  color: #941352;
}
span.visited-maroon {
  color: #85144b;
}
@media (prefers-color-scheme: dark) {
  body {
    background-color: #000000;
    color: #fefefe;
  }
  code {
    color: #fefefe;
    background-color: #303030;
  }
}