.doc {
  display: grid;
  grid-template-rows: auto minmax(0, 1fr) auto;
  min-height: 100vh;
}

.reference {
  display: grid;
  grid-template-columns: minmax(180px, 240px) minmax(0, 1fr);
  gap: 40px;
  max-width: 1180px;
  width: 100%;
  margin: 0 auto;
  padding: 8px 28px 64px;
  min-width: 0;
}

.rail {
  position: sticky;
  top: 16px;
  align-self: start;
  max-height: calc(100vh - 120px);
  overflow: auto;
  padding-right: 8px;
  border-right: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.75;
}

@supports selector(::-webkit-scrollbar) {
  .rail::-webkit-scrollbar,
  .entries pre::-webkit-scrollbar {
    width: 9px;
    height: 9px;
  }

  .rail::-webkit-scrollbar-track,
  .entries pre::-webkit-scrollbar-track {
    background: transparent;
  }

  .rail::-webkit-scrollbar-thumb,
  .entries pre::-webkit-scrollbar-thumb {
    border: 2px solid transparent;
    border-radius: 99px;
    background-clip: content-box;
    background-color: color-mix(in srgb, var(--ink) 18%, transparent);
  }

  .rail:hover::-webkit-scrollbar-thumb,
  .entries pre:hover::-webkit-scrollbar-thumb {
    background-color: color-mix(in srgb, var(--ink) 40%, transparent);
  }
}

.rail .group > b {
  display: block;
  margin: 12px 0 4px;
  color: var(--accent);
  font-weight: 500;
  letter-spacing: 0.02em;
}

.rail a {
  display: block;
  color: var(--muted);
  text-decoration: none;
  padding: 1px 0;
  overflow-wrap: anywhere;
}

.rail a:hover,
.rail a:focus-visible {
  color: var(--ink);
}

.entries {
  min-width: 0;
}

.entries h1 {
  font-family: var(--serif);
  font-size: clamp(28px, 3vw, 38px);
  font-weight: 400;
  margin: 4px 0 10px;
}

.entries .note {
  max-width: 60ch;
  color: var(--muted);
  margin: 0 0 32px;
}

.entries section {
  margin: 0 0 56px;
  padding-top: 10px;
  border-top: 1px solid var(--rule);
}

.entries h2 {
  font-family: var(--mono);
  font-size: 12px;
  letter-spacing: 0.1em;
  font-weight: 400;
  color: var(--accent);
  margin: 20px 0 12px;
}

.entries h3 {
  font-family: var(--serif);
  font-size: 21px;
  font-weight: 400;
  margin: 28px 0 10px;
}

.entries .kind {
  font-family: var(--mono);
  font-size: 10.5px;
  letter-spacing: 0.08em;
  color: var(--muted);
  text-transform: uppercase;
  margin-right: 6px;
}

.entries article {
  padding-bottom: 14px;
}

.entries p {
  max-width: 66ch;
  margin: 0 0 10px;
}

.entries .sig {
  margin: 0 0 12px;
  padding: 11px 13px;
  background: var(--panel);
  border: 1px solid var(--rule);
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.55;
  white-space: pre;
}

.entries .member {
  margin: 0 0 16px;
  padding-left: 10px;
  border-left: 1px solid color-mix(in srgb, var(--ink) 12%, transparent);
}

.entries .member .sig {
  margin-bottom: 6px;
}

.entries .fields {
  display: grid;
  grid-template-columns: minmax(120px, max-content) minmax(0, 1fr);
  gap: 4px 16px;
  margin: 0 0 14px;
  padding: 10px 12px;
  border: 1px solid var(--rule);
  font-size: 13px;
}

.entries .fields dt {
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--accent);
}

.entries .fields dd {
  margin: 0;
  color: var(--muted);
}

.foot {
  width: 100%;
  justify-self: stretch;
  display: flex;
  justify-content: space-between;
  gap: 16px;
  max-width: 1180px;
  width: 100%;
  margin: 0 auto;
  padding: 22px 30px 32px;
  border-top: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 11px;
  color: var(--muted);
}

.foot a {
  color: var(--muted);
}

.foot a:hover {
  color: var(--ink);
}

.guide {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
  gap: 56px;
  max-width: 1060px;
  margin: 0 auto;
  padding: 16px 30px 104px;
  align-items: start;
}

.guide .rail {
  position: sticky;
  top: 24px;
  max-height: calc(100vh - 64px);
  overflow: auto;
  border-right: 1px solid var(--rule);
  padding: 2px 14px 2px 0;
  display: grid;
  gap: 1px;
  align-content: start;
}

.guide .rail a {
  display: grid;
  grid-template-columns: 2.3em minmax(0, 1fr);
  gap: 7px;
  align-items: baseline;
  padding: 5px 0 4px;
  color: var(--muted);
  text-decoration: none;
  border-bottom: 1px solid transparent;
}

.guide .rail a span {
  font-size: 10px;
  letter-spacing: 0.06em;
  color: color-mix(in srgb, var(--muted) 70%, transparent);
}

.guide .rail a:hover {
  color: var(--ink);
}

.guide .rail a.is-current {
  color: var(--ink);
}

.guide .rail a.is-current span {
  color: var(--accent);
}

.prose {
  max-width: 700px;
  min-width: 0;
}

.prose h2 {
  display: flex;
  gap: 13px;
  align-items: baseline;
}

.prose h2 .num {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.1em;
  color: var(--accent);
}

.prose .anchor {
  margin-left: 8px;
  color: var(--muted);
  text-decoration: none;
  opacity: 0;
  transition: opacity 120ms ease;
}

.prose h2:hover .anchor,
.prose .anchor:focus-visible {
  opacity: 1;
}

.prose .sig {
  margin: 0 0 14px;
}

.prose .out {
  display: flex;
  flex-wrap: wrap;
  gap: 4px 10px;
  align-items: baseline;
  margin: 0 0 24px;
  padding: 2px 0 2px 12px;
  border-left: 2px solid var(--accent);
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--muted);
}

.prose .out > span {
  font-size: 9.5px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: color-mix(in srgb, var(--muted) 80%, transparent);
}

.prose .out code {
  background: none;
  padding: 0;
  color: var(--ink);
  font-size: 12px;
}

.prose .note {
  font-size: 14.5px;
  line-height: 1.62;
  margin-top: 26px;
}

.prose section.next-up h2 {
  color: var(--muted);
}

.prose section {
  scroll-margin-top: 24px;
}

.guide h1 {
  font-family: var(--serif);
  font-size: clamp(30px, 3.4vw, 42px);
  font-weight: 400;
  line-height: 1.12;
  margin: 8px 0 18px;
}

.guide h2 {
  font-family: var(--serif);
  font-size: 23px;
  font-weight: 400;
  margin: 38px 0 16px;
  padding-top: 18px;
  border-top: 1px solid var(--rule);
}

.guide h3 {
  font-family: var(--mono);
  font-size: 12px;
  letter-spacing: 0.06em;
  color: var(--accent);
  margin: 26px 0 6px;
}

.guide p,
.guide li {
  max-width: 64ch;
}

.guide p {
  margin: 0 0 18px;
}

.guide ul {
  padding-left: 20px;
}

.guide li {
  margin: 0 0 6px;
}

.guide .sig {
  margin: 0 0 16px;
  padding: 14px 16px;
  background: var(--panel);
  border: 1px solid var(--rule);
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.55;
  white-space: pre;
}

.guide .cmd {
  margin: 0 0 16px;
  padding: 12px 14px;
  background: transparent;
  border: 1px dashed var(--rule);
  overflow-x: auto;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.6;
  white-space: pre;
  color: var(--muted);
}

.guide .caption {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--muted);
  margin: -8px 0 18px;
}

.guide .note {
  padding-left: 14px;
  border-left: 2px solid var(--accent);
  border-radius: 0 4px 4px 0;
  color: var(--muted);
}

@media (width <= 860px) {
  .reference {
    grid-template-columns: minmax(0, 1fr);
    gap: 24px;
    padding: 8px 20px 56px;
  }

  .rail {
    position: static;
    max-height: 240px;
    border-right: 0;
    border-bottom: 1px solid var(--rule);
    padding: 0 0 12px;
  }

  .guide {
    grid-template-columns: minmax(0, 1fr);
    gap: 20px;
    padding: 8px 20px 72px;
  }

  .guide .rail {
    position: static;
    max-height: none;
    display: flex;
    flex-wrap: wrap;
    gap: 2px 16px;
    border-right: 0;
    border-bottom: 1px solid var(--rule);
    padding: 0 0 10px;
    margin: 2px 0 6px;
  }

  .guide .rail a {
    grid-template-columns: auto auto;
    gap: 4px;
  }

  .foot {
    padding: 16px 20px 24px;
  }
}

.pg {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(300px, 400px);
  gap: 48px;
  max-width: 1180px;
  margin: 0 auto;
  padding: 16px 30px 96px;
  align-items: start;
}

.pg h1 {
  font-family: var(--serif);
  font-size: clamp(28px, 3vw, 38px);
  font-weight: 400;
  margin: 4px 0 10px;
}

.pg .side {
  display: grid;
  gap: 22px;
  position: sticky;
  top: 20px;
}

@media (width <= 900px) {
  .pg {
    grid-template-columns: minmax(0, 1fr);
    padding: 8px 20px 56px;
  }

  .pg .side {
    position: static;
  }
}

.pg .instrument #ring {
  max-width: 470px;
}

.pg .plate h2 {
  font-family: var(--serif);
  font-size: 20px;
  font-weight: 400;
  margin: 0 0 10px;
}

.pg .plate p {
  max-width: 60ch;
  font-size: 15px;
  line-height: 1.6;
  margin: 0 0 12px;
  color: var(--muted);
}

.pg .side .ledger {
  max-height: 340px;
}

.pg .tries {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  gap: 8px;
  font-size: 14px;
  color: var(--muted);
}

.pg .tries b {
  color: var(--ink);
  font-weight: 400;
  font-family: var(--mono);
  font-size: 12px;
}

.pg .hint {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--muted);
  align-self: center;
}

.pg .links-row {
  display: flex;
  gap: 18px;
  font-family: var(--mono);
  font-size: 12px;
  margin: 0;
}

.pg .colophon {
  margin: 0 0 12px;
}

/* ---------- the filter over the reference ---------- */

.filter-box {
  position: sticky;
  top: 0;
  z-index: 2;
  display: grid;
  gap: 4px;
  padding: 0 0 10px;
  background: var(--paper);
}

.filter {
  width: 100%;
  padding: 7px 9px 6px;
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--ink);
  background: var(--panel);
  border: 1px solid var(--rule);
}

.filter::placeholder {
  color: color-mix(in srgb, var(--muted) 80%, transparent);
}

.filter:focus {
  outline: none;
  border-color: var(--accent);
}

.filter-count {
  font-family: var(--mono);
  font-size: 9.5px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}

kbd {
  font-family: var(--mono);
  font-size: 0.82em;
  padding: 0 0.32em;
  border: 1px solid var(--rule);
  border-bottom-width: 2px;
  border-radius: 2px;
  color: var(--ink);
}

/* ---------- a record, as JSON ---------- */

.record {
  margin: 0 0 4px;
  padding: 12px 14px;
  max-height: 300px;
  overflow: auto;
  background: var(--panel);
  border: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 11px;
  line-height: 1.65;
  white-space: pre;
  color: var(--muted);
  tab-size: 2;
}

.record .j-key {
  color: var(--accent);
}

.record .j-str {
  color: var(--ink);
}

.record .j-num {
  color: var(--ink);
}

.record .j-bool {
  color: var(--muted);
  font-style: italic;
}

/* ---------- the checkpoint conformance tables ---------- */

.prose.cases {
  max-width: none;
  min-width: 0;
}

.case-group {
  margin: 32px 0 0;
  min-width: 0;
}

.case-group h3 {
  display: flex;
  align-items: baseline;
  gap: 12px;
  margin: 0 0 10px;
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--accent);
}

.case-group h3 span {
  font-size: 10px;
  letter-spacing: 0.04em;
  color: var(--muted);
}

.case-scroll {
  max-width: 100%;
  overflow-x: auto;
  border: 1px solid var(--rule);
  border-radius: 3px;
  background: var(--panel);
}

.case-table {
  width: 100%;
  min-width: 680px;
  border-collapse: collapse;
  font-size: 12px;
  line-height: 1.55;
}

.case-table th,
.case-table td {
  padding: 8px 10px;
  text-align: left;
  vertical-align: top;
  border-bottom: 1px solid var(--rule-soft);
  overflow-wrap: anywhere;
}

.case-table th {
  position: sticky;
  top: 0;
  background: var(--paper);
  font-family: var(--mono);
  font-size: 10px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
}

.case-table tbody tr:last-child td {
  border-bottom: 0;
}

.case-table td code {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--ink);
}

.case-table .backends {
  font-family: var(--mono);
  font-size: 10.5px;
  color: var(--muted);
}

.case-note {
  display: block;
  margin: 4px 0 0;
  max-width: 46ch;
  font-size: 11px;
  line-height: 1.45;
  color: var(--muted);
}

@supports selector(::-webkit-scrollbar) {
  .case-scroll::-webkit-scrollbar {
    width: 9px;
    height: 9px;
  }

  .case-scroll::-webkit-scrollbar-track {
    background: transparent;
  }

  .case-scroll::-webkit-scrollbar-thumb {
    border: 2px solid transparent;
    border-radius: 99px;
    background-clip: content-box;
    background-color: color-mix(in srgb, var(--ink) 16%, transparent);
  }

  .case-scroll:hover::-webkit-scrollbar-thumb {
    background-color: color-mix(in srgb, var(--ink) 40%, transparent);
  }
}

@supports not selector(::-webkit-scrollbar) {
  .case-scroll {
    scrollbar-width: thin;
    scrollbar-color: color-mix(in srgb, var(--ink) 22%, transparent) transparent;
  }
}

@media (width <= 860px) {
  .case-table {
    min-width: 620px;
  }
}