body {
  font-family: "Times New Roman", Times, serif;
  background-color: #fdfdfd;
  color: #1a1a1a;
  line-height: 1.6;
  max-width: 800px;
  margin: 2rem auto;
  padding: 0 1rem;
}

header {
  margin-bottom: 1.5rem;
  padding-bottom: 0.5rem;
  border-bottom: 2px solid #999;
}

header nav {
  font-family: "Courier New", Courier, monospace;
  font-weight: bold;
}

hr {
  border: none;
  border-top: 1px dashed #999;
}

a {
  color: #0000ee;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

h1, h2, h3 {
  margin-top: 1.5rem;
  border-bottom: 1px dashed #999;
}

pre, code {
  background: #eee;
  padding: 2px 4px;
  font-family: "Courier New", Courier, monospace;
}