/* The docs pages: the map page's header as a bar across the top, the page list beside the text. */
html, body.docs { height: auto; }
body.docs { font-size: 15px; line-height: 1.6; }
.docs header {
  position: sticky; top: 0; left: auto; z-index: 1; padding: 8px 16px; border-radius: 0;
  border-bottom: 1px solid var(--line); box-shadow: none; -webkit-backdrop-filter: blur(8px); backdrop-filter: blur(8px);
}

.layout {
  display: grid; grid-template-columns: 180px minmax(0, 1fr); gap: 48px;
  max-width: 1040px; margin: 0 auto; padding: 32px 24px 64px;
}
.pages { position: sticky; top: 80px; align-self: start; display: flex; flex-direction: column; gap: 2px; }
.pages a { padding: 4px 10px; border-radius: 6px; color: var(--muted); text-decoration: none; }
.pages a:hover { color: var(--fg); background: var(--tab); }
.pages a[aria-current="page"] { color: var(--fg); background: var(--tab); font-weight: 600; }

main { max-width: 760px; }
main h1 { font-size: 30px; line-height: 1.2; margin: 0 0 16px; }
main h2 { font-size: 20px; margin: 40px 0 12px; padding-top: 16px; border-top: 1px solid var(--line); }
main h3 { font-size: 16px; margin: 28px 0 8px; }
main h2, main h3 { scroll-margin-top: 72px; }
main a { color: var(--link); }
main code { font: 0.88em/1.5 ui-monospace, SFMono-Regular, Menlo, monospace; }
main :not(pre) > code { padding: 1px 5px; border-radius: 4px; background: var(--code); overflow-wrap: anywhere; }
main pre { margin: 12px 0 16px; padding: 12px 14px; border-radius: 8px; background: var(--code); overflow-x: auto; }
main table { display: block; overflow-x: auto; border-collapse: collapse; margin: 12px 0 16px; }
main th, main td { padding: 6px 12px 6px 0; border-bottom: 1px solid var(--line); text-align: left; vertical-align: top; }
main th { font-weight: 600; }
main ul, main ol { padding-left: 22px; }
main li { margin: 4px 0; }

main footer {
  display: flex; flex-wrap: wrap; gap: 8px 20px; margin-top: 48px; padding-top: 16px;
  border-top: 1px solid var(--line); font-size: 13px;
}
main footer a { color: var(--muted); }

@media (max-width: 760px) {
  .docs header { padding: 8px 16px; }
  .layout { grid-template-columns: minmax(0, 1fr); gap: 16px; padding: 16px 16px 48px; }
  .pages { position: static; flex-direction: row; flex-wrap: wrap; }
  main h1 { font-size: 26px; }
}