/* documentation pages */
main.doc { max-width: 820px; padding-top: 24px; padding-bottom: 80px; line-height: 1.6; }
main.doc h1 { font-size: 26px; letter-spacing: -0.01em; margin: 8px 0 12px; }
main.doc h2 { font-size: 19px; margin: 32px 0 8px; }
main.doc h3 { font-size: 16px; margin: 24px 0 6px; }
main.doc a { color: var(--accent-ink); }
.brand a { color: inherit; text-decoration: none; }
pre.query, pre.output {
  font: 13.5px/1.55 var(--mono); background: var(--surface); border: 1px solid var(--hairline);
  border-radius: 6px; padding: 10px 12px; overflow-x: auto; margin: 10px 0 4px;
}
pre.output { color: var(--ink-2); background: var(--page); }
.run-link { font-size: 13px; margin: 0 0 12px; }
.run-link a { text-decoration: none; }
aside.note {
  margin: 12px 0; padding: 10px 14px; border-left: 3px solid var(--hairline); color: var(--ink-2);
  background: var(--surface); border-radius: 0 6px 6px 0;
}
main.doc table { border-collapse: collapse; margin: 10px 0; font-size: 14.5px; }
main.doc table td { padding: 4px 14px 4px 0; vertical-align: top; border-bottom: 1px solid var(--hairline); }
main.doc table td.header, main.doc table th { font-weight: 600; color: var(--ink-2); }
table.ref td:first-child { font-family: var(--mono); font-size: 13.5px; white-space: nowrap; }
nav.toc { font-size: 14px; color: var(--muted); margin: 12px 0 8px; line-height: 1.9; }
.doc-list li { margin: 6px 0; }
table.attrs td:first-child { width: 36%; font-weight: 600; padding-right: 18px; }
table.attrs td { font-size: 14px; }
.corpus-cite { margin: 0 0 14px; }
.corpus-cite b { display: block; }
@media (max-width: 640px) { table.ref td:first-child { white-space: normal; } }
details.attr-corpus { border-bottom: 1px solid var(--hairline); padding: 6px 0; }
details.attr-corpus > summary { font-weight: 600; cursor: pointer; padding: 4px 0; }
details.attr-corpus table.attrs { margin: 6px 0 10px; width: 100%; }
table.attrs td:first-child { width: 30%; }
table.attrs code { font-size: 13px; }
.per-tree { display: inline-block; margin-left: 8px; font-size: 11.5px; color: var(--accent-ink);
  background: var(--accent-wash); border-radius: 4px; padding: 0 6px; }