/* Bellard-style sparse face */
body {
  font-family: Times, "Times New Roman", serif;
  margin: 1.5em;
  max-width: 42em;
  line-height: 1.35;
}
h1 { font-size: 1.25em; font-weight: normal; margin: 0 0 0.5em 0; }
h2 { font-size: 1.05em; font-weight: normal; margin: 1.2em 0 0.4em 0; }
p { margin: 0.5em 0; }
a { color: #00c; }
hr { border: none; border-top: 1px solid #999; margin: 1.1em 0; }
.meta { color: #333; font-size: 0.95em; }
nav a { margin-right: 0.85em; }
code { font-size: 0.9em; }
table { border-collapse: collapse; width: 100%; font-size: 0.95em; margin: 0.5em 0; }
th, td { text-align: left; padding: 0.2em 0.5em 0.2em 0; border-bottom: 1px solid #ddd; vertical-align: top; }
th { font-weight: normal; color: #333; }
ul, ol { margin: 0.4em 0 0.7em 1.2em; padding: 0; }
pre {
  font-family: monospace;
  font-size: 0.85em;
  white-space: pre-wrap;
}