body {
  background-color: #ffffff;
  color: #000000;
  font-size: 20px;
  font-family: "Times New Roman", Times, serif;
}

a:link {
  color: #0000ff;
  text-decoration: none;
}
a:visited {
  color: #800080;
  text-decoration: none;
}
a:active {
  color: #ff0000;
}
a:hover {
  text-decoration: underline;
}

h1 {
  color: #008080
}

li {
  margin-bottom: .3em;
}

tt {
  font-size: .9em;
}

@media (min-width: 800px) {
  body {
    margin: 100px auto;
    max-width: 750px;
  }
}

@media not all and (min-width: 800px) {
  body {
    margin: 50px auto;
    max-width: 80%;
  }
}

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

  a:link {
    color: #8080ff;
  }

  a:visited {
    color: #c000c0;
  }
}