/* The manual: the site's style, plus a wider column for tables, and a print layout. */
main { max-width: 820px; }
.title a { text-decoration: none; color: inherit; }
.muted { color: #666; font-size: 0.92em; }
.toc { border: 1px solid #ddd; border-radius: 4px; padding: 10px 16px; margin: 16px 0 28px; }
.toc h2 { margin: 4px 0 8px; }
.toc ol { margin: 0; }
.toc li { margin: 2px 0; }
.chapter { margin-top: 36px; padding-top: 12px; border-top: 1px solid #eee; }
.chapter:first-of-type { border-top: none; }
h3 { font-size: 1em; margin: 20px 0 6px; }
table { border-collapse: collapse; width: 100%; margin: 12px 0 16px; font-size: 0.92em; }
th, td { border: 1px solid #ddd; padding: 6px 8px; text-align: left; vertical-align: top; }
th { background: #f6f6f6; }
pre { white-space: pre-wrap; background: #f6f6f6; padding: 10px; border-radius: 4px; font-size: 0.9em; }
code { background: #f6f6f6; padding: 1px 4px; font-size: 0.92em; }
pre code { background: none; padding: 0; }
ul { padding-left: 22px; }
@media print {
  header, footer, .muted, nav.toc a[href^="/"] { display: none; }
  body { font-size: 11pt; }
  main { max-width: none; padding: 0; }
  .chapter { break-before: page; border-top: none; }
  .chapter:first-of-type { break-before: auto; }
  a { color: inherit; text-decoration: none; }
}