  /* the documentation tab: a wider frame, a sidebar of pages and the generated Markdown beside it */
  .frame.wide { max-width: 1160px; }
  .docs { display: grid; grid-template-columns: 250px minmax(0, 1fr); }
  .docs aside { border-right: 1px solid var(--line); padding: 28px 20px 40px var(--pad); position: sticky; top: 0; align-self: start; max-height: 100vh; overflow-y: auto; }
  .docs main { padding: 0 var(--pad) 40px; min-width: 0; }
  .docs main > h1:first-child { padding-top: 0; }
  .docs-title { font-size: 44px; line-height: 1.05; margin: 40px 0 18px; }
  .docs main h2 { font-size: 27px; margin: 52px 0 10px; }
  .docs main h3 { font-size: 20px; margin: 32px 0 8px; }
  .docs main h4 { font-size: 16px; margin: 24px 0 6px; }
  .docs main li { max-width: 74ch; }
  .docs main pre { margin: 16px 0; border: 1px solid var(--line); padding: 16px 18px; }
  .docs main .tablewrap { margin: 16px 0; }
  .docs main table { min-width: 560px; }
  .docs main blockquote { margin: 16px 0; padding: 2px 18px; border-left: 3px solid var(--line); color: var(--dim); }
  .docs main hr { border: 0; border-top: 1px solid var(--line); margin: 32px 0; }
  .docs main :is(h2, h3, h4) { scroll-margin-top: 16px; }
  .docs .edit { margin-top: 56px; }
  .search label { display: block; margin-bottom: 6px; }
  .search input { width: 100%; font: 500 14px "JetBrains Mono", monospace; color: var(--text); background: var(--bg); border: 1px solid var(--line); padding: 9px 11px; border-radius: 0; }
  .search input:focus-visible { outline: 2px solid var(--link); outline-offset: 1px; }
  .hits { list-style: none; margin: 12px 0 0; padding: 0; }
  .hits li { margin: 0 0 10px; }
  .hits a { font-weight: 700; font-size: 15px; line-height: 1.3; }
  .hits small { display: block; color: var(--dim); font-size: 13px; line-height: 1.4; }
  .sidebar { margin-top: 22px; }
  .sidebar summary { cursor: pointer; color: var(--dim); display: none; }
  .sidebar .group { margin: 22px 0 6px; color: var(--dim); font-size: 12px; letter-spacing: .06em; }
  .sidebar .group:first-of-type { margin-top: 0; }
  .sidebar ul { list-style: none; margin: 0; padding: 0; }
  .sidebar li { margin: 0; }
  .sidebar a { display: block; padding: 4px 0 4px 10px; border-left: 2px solid transparent; color: var(--text); text-decoration: none; font-size: 15px; line-height: 1.35; }
  .sidebar a:hover { color: var(--link); }
  .sidebar a[aria-current="page"] { color: var(--link); border-left-color: var(--link); font-weight: 700; }
  .cards { list-style: none; padding: 0; display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin: 22px 0; }
  .cards li { margin: 0; max-width: none; }
  .cards a { display: block; padding: 14px 16px; border: 1px solid var(--line); text-decoration: none; font-weight: 700; transition: border-color .2s, background .2s; }
  .cards a:hover { border-color: var(--dim); background: var(--tint); }
  @media (max-width: 860px) {
    .docs { grid-template-columns: minmax(0, 1fr); }
    .docs aside { position: static; max-height: none; border-right: 0; border-bottom: 1px solid var(--line); padding: 18px var(--pad); }
    .sidebar summary { display: block; }
    .docs-title { font-size: 34px; margin-top: 28px; }
    .cards { grid-template-columns: 1fr; }
  }

  /* the issue form */
  .report label { display: block; margin: 18px 0 6px; font-weight: 700; }
  .report :is(input, select, textarea) { width: 100%; max-width: 640px; font: 16px/1.5 "Bricolage Grotesque", sans-serif; color: var(--text); background: var(--bg); border: 1px solid var(--line); padding: 10px 12px; border-radius: 0; }
  .report textarea { min-height: 170px; font-family: "JetBrains Mono", monospace; font-size: 14px; }
  .report :is(input, select, textarea):focus-visible { outline: 2px solid var(--link); outline-offset: 1px; }
  .report .row { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; max-width: 640px; }
  .report .row input { max-width: none; }
  .report button { font: 600 14px "JetBrains Mono", monospace; color: var(--bg); background: var(--text); cursor: pointer; border: 0; padding: 13px 24px; margin: 24px 0 8px; }
  .report button:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
  @media (max-width: 700px) { .report .row { grid-template-columns: 1fr; } }
  .docs .jump { margin: 8px 0 20px; }
