body {
  font-family: Times, "Times New Roman", serif;
  max-width: 640px;
  margin: 60px auto;
  padding: 0 20px;
  font-size: 16px;
  line-height: 1.6;
  color: #000;
}
.ascii {
  font-family: ui-monospace, Menlo, Consolas, monospace;
  font-size: 11px;
  line-height: 1.1;
  white-space: pre;
  color: #44d9e6;
}
h1 { font-size: 1.3em; margin: 0 0 .2em 0; }
h2 {
  font-size: 17px;
  font-weight: bold;
  margin: 1.4em 0 .4em 0;
  text-transform: uppercase;
  letter-spacing: .04em;
}
p { margin: .8em 0; }
a { color: #00e; }
a:visited { color: #551a8b; }
ul { padding-left: 1.4em; margin: .4em 0; }
li { margin: .25em 0; }
hr { border: 0; border-top: 1px solid #999; margin: 1.6em 0; }
.muted { color: #666; font-size: .9em; }
.nav { margin-bottom: 1.4em; font-size: .9em; }
@media (max-width: 480px) {
  body { padding: 0 8px; margin: 30px auto; }
}