body {
  background: #000;
  color: #fff;
  font-family: "DejaVu Sans Mono", "Menlo", monospace;
  font-size: 14px;
  line-height: 1.55;
  margin: 0;
  padding: 1.25rem 2rem 2rem;
}
h1 {
  font-size: 1.25rem;
  font-weight: normal;
  margin: 0 0 0.75rem;
  padding-bottom: 0.5rem;
  border-bottom: 1px solid #333;
  color: #dbb154;
}
hr { display: none; }
pre {
  margin: 0;
  font-family: inherit;
  font-size: inherit;
}
a {
  color: #5fd7ff;
  text-decoration: none;
}
a:hover {
  color: #fff;
  text-decoration: underline;
}
.autoindex-nav {
  margin-bottom: 1rem;
  font-size: 0.95em;
  color: #888;
}
.autoindex-nav a { color: #aaa; }
.autoindex-nav a:hover { color: #fff; }
.autoindex-nav .sep { color: #444; margin: 0 0.5em; }