body {
  max-width: 72ch;
  margin: 2rem auto;
  padding: 0 1rem;
  font-family: monospace;
  line-height: 1.6;
  background-color: #fafafa;
  background-image:
    linear-gradient(rgba(0, 0, 0, 0.03) 1px, transparent 1px),
    linear-gradient(90deg, rgba(0, 0, 0, 0.03) 1px, transparent 1px);
  background-size: 20px 20px;
}
nav {
  margin-bottom: 2rem;
  position: sticky;
  top: 0;
  background-color: #fafafa;
  padding: 0.5rem 0;
  z-index: 10;
  border-bottom: 1px solid #e0e0e0;
}
h1, h2, h3 { margin-top: 2rem; }
h1 { border-bottom: 1px solid #ccc; padding-bottom: 0.3rem; }
code {
  background: #f0f0f0;
  padding: 0.1em 0.3em;
  border-radius: 3px;
  font-size: 0.95em;
}
pre {
  background: #f0f0f0;
  padding: 1rem;
  overflow-x: auto;
  border-radius: 4px;
  border: 1px solid #e0e0e0;
  white-space: pre-wrap;
  word-wrap: break-word;
}
pre code { background: none; padding: 0; }
pre code.hljs { background: none; padding: 0; }
details { margin: 1.5rem 0; }
summary { cursor: pointer; font-weight: bold; }
hr { border: none; border-top: 1px solid #ddd; margin: 2rem 0; }
a { color: inherit; }
ul { line-height: 1.8; }
.anchor-link {
  opacity: 0;
  text-decoration: none;
  font-size: 0.75em;
  margin-left: 0.3em;
  color: #999;
}
h3:hover .anchor-link { opacity: 1; }
details.doc-section { margin-top: 1.5rem; }
details.doc-section > summary {
  font-size: 1.5em;
  padding: 0.2rem 0;
  border-bottom: 1px solid #eee;
}
.section-body { padding-top: 0.5rem; }