/* hekma.ktesio.dev/docs: the docs layout, prose, code, diagrams and search.
   Loaded on docs pages only, after base.css and site.css. Colours are the
   site's tokens (site.css), so both themes come for free; scripts/contrast.py
   checks the pairs used here. */

/* ---------------------------------------------------------------- layout */
.docs {
  display: grid;
  grid-template-columns: 244px minmax(0, 1fr) 212px;
  align-items: start;
}
.docs-side,
.docs-toc {
  position: sticky;
  top: 0;
  max-height: 100vh;
  overflow-y: auto;
  scrollbar-width: thin;
}
.docs-side {
  padding: 26px 18px 40px var(--pad);
  border-right: 1px solid var(--line);
  align-self: stretch;
}
.docs-toc {
  padding: 30px var(--pad) 40px 18px;
}
.doc {
  min-width: 0;
  padding: 30px clamp(20px, 3.4vw, 48px) 64px;
}
@media (max-width: 1180px) {
  .docs {
    grid-template-columns: 236px minmax(0, 1fr);
  }
  .docs-toc {
    display: none;
  }
}
@media (max-width: 900px) {
  .docs {
    grid-template-columns: minmax(0, 1fr);
  }
  .docs-side {
    position: static;
    max-height: none;
    padding: 14px var(--pad);
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }
  .doc {
    padding: 26px var(--pad) 56px;
  }
}

/* ---------------------------------------------------------------- page tree */
.docs-nav summary {
  display: none;
}
.docs-nav ul {
  margin: 0 0 6px;
  padding: 0;
  list-style: none;
}
.docs-nav a {
  display: block;
  padding: 5px 10px;
  border-left: 2px solid transparent;
  color: var(--muted);
  font-size: 14px;
  line-height: 1.4;
  text-decoration: none;
}
.docs-nav a:hover {
  color: var(--fg);
}
.docs-nav a[aria-current] {
  border-left-color: var(--accent);
  background: var(--bg-2);
  color: var(--fg);
}
.docs-g {
  margin: 18px 0 6px 12px;
  color: var(--accent);
  font: 500 11.5px/1 var(--mono);
  letter-spacing: 0.14em;
  text-transform: lowercase;
}
@media (max-width: 900px) {
  .docs-nav summary {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    padding: 10px 12px;
    border: 1px solid var(--line-2);
    border-radius: 4px;
    cursor: pointer;
    list-style: none;
  }
  .docs-nav summary::-webkit-details-marker {
    display: none;
  }
  .docs-nav-label {
    color: var(--muted);
    font: 500 12px/1 var(--mono);
    letter-spacing: 0.14em;
    text-transform: uppercase;
  }
  .docs-nav-here {
    overflow: hidden;
    color: var(--fg);
    font-size: 14px;
    text-overflow: ellipsis;
    white-space: nowrap;
  }
  .docs-nav-here::after {
    content: " ▾";
    color: var(--muted);
  }
  .docs-nav[open] .docs-nav-here::after {
    content: " ▴";
  }
  .docs-nav nav {
    padding: 6px 0 4px;
  }
}

/* ---------------------------------------------------------------- search */
.docs-search {
  position: relative;
  margin: 0 0 14px;
}
.docs-q {
  width: 100%;
  padding: 9px 34px 9px 11px;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  background: var(--bg-2);
  color: var(--fg);
  font: 400 14px/1.2 var(--sans);
}
.docs-q::placeholder {
  color: var(--muted);
  opacity: 1;
}
.docs-q:focus {
  border-color: var(--accent);
  outline: none;
}
.docs-q:focus-visible {
  outline: 2px solid var(--focus);
  outline-offset: 1px;
}
.docs-q::-webkit-search-cancel-button {
  display: none;
}
.docs-kbd {
  position: absolute;
  top: 8px;
  right: 9px;
  padding: 1px 6px;
  border: 1px solid var(--line-2);
  border-radius: 3px;
  color: var(--muted);
  font: 500 11.5px/1.4 var(--mono);
}
.docs-q:focus + .docs-kbd {
  display: none;
}
/* In the flow under the box, so the sidebar's scroll area never clips it. */
.docs-results {
  margin-top: 6px;
  max-height: 65vh;
  overflow-y: auto;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  background: var(--bg-2);
}
.docs-results ol {
  margin: 0;
  padding: 4px 0;
  list-style: none;
}
.docs-results a {
  display: block;
  padding: 9px 12px;
  border-left: 2px solid transparent;
  color: var(--fg-2);
  text-decoration: none;
}
.docs-results a:hover,
.docs-results a[aria-selected="true"] {
  border-left-color: var(--accent);
  background: var(--bg-3);
}
.docs-results b {
  display: block;
  color: var(--fg);
  font-size: 14px;
  font-weight: 600;
}
.docs-results span {
  display: block;
  margin-top: 2px;
  color: var(--muted);
  font-size: 13px;
  line-height: 1.45;
}
.docs-results mark {
  background: none;
  color: var(--accent);
}
.docs-results p {
  padding: 12px;
  color: var(--muted);
  font-size: 13.5px;
}

/* ---------------------------------------------------------------- on this page */
.docs-toc-h {
  margin: 0 0 10px;
  color: var(--muted);
  font: 500 11.5px/1 var(--mono);
  letter-spacing: 0.14em;
  text-transform: uppercase;
}
.docs-toc ul {
  margin: 0;
  padding: 0;
  list-style: none;
}
.docs-toc ul ul {
  padding-left: 12px;
}
.docs-toc a {
  display: block;
  padding: 4px 0 4px 10px;
  border-left: 1px solid var(--line);
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
  overflow-wrap: anywhere;
  text-decoration: none;
}
.docs-toc a:hover {
  color: var(--fg);
}
.docs-toc a[aria-current] {
  border-left-color: var(--accent);
  color: var(--fg);
}

/* ---------------------------------------------------------------- prose */
.doc .eyebrow {
  margin-bottom: 20px;
}
.prose {
  max-width: 46rem;
  font-size: 16px;
  line-height: 1.7;
  overflow-wrap: break-word;
}
.prose > * + * {
  margin-top: 1.05em;
}
.prose h1,
.prose h2,
.prose h3,
.prose h4,
.prose h5,
.prose h6 {
  position: relative;
  color: var(--fg);
  scroll-margin-top: 16px;
}
.prose h1 {
  margin: 0 0 22px;
  font: 700 clamp(2rem, 4vw, 2.75rem)/1.1 var(--serif);
}
.prose h2 {
  margin: 2.3em 0 0;
  padding-top: 1.1em;
  border-top: 1px solid var(--line);
  font: 700 1.6rem/1.25 var(--serif);
  letter-spacing: -0.01em;
}
.prose h3 {
  margin: 1.9em 0 0;
  font: 700 1.25rem/1.3 var(--serif);
}
.prose h4,
.prose h5,
.prose h6 {
  margin: 1.7em 0 0;
  font: 600 1rem/1.4 var(--sans);
}
.doc .prose :is(h1, h2, h3, h4, h5, h6) > code {
  padding: 0;
  background: none;
  font-size: 0.78em;
  font-weight: 600;
  overflow-wrap: anywhere;
}
.h-anchor {
  margin-left: 0.4em;
  color: var(--dim);
  font: 400 0.8em/1 var(--mono);
  text-decoration: none;
  opacity: 0;
}
.prose :is(h1, h2, h3, h4, h5, h6):hover .h-anchor,
.h-anchor:focus-visible {
  opacity: 1;
}
.h-anchor:hover {
  color: var(--accent);
}
.prose a {
  color: var(--accent);
  text-underline-offset: 3px;
}
.prose strong {
  color: var(--fg);
  font-weight: 600;
}
.prose ul,
.prose ol {
  padding-left: 1.4em;
}
.prose li + li,
.prose li > ul,
.prose li > ol {
  margin-top: 0.35em;
}
.prose li > p + p {
  margin-top: 0.6em;
}
.prose li::marker {
  color: var(--dim);
}
.prose blockquote {
  margin-inline: 0;
  padding: 2px 0 2px 18px;
  border-left: 2px solid var(--accent);
  color: var(--fg-2);
}
.prose blockquote > * + * {
  margin-top: 0.8em;
}
.prose hr {
  margin: 2.2em 0;
  border: 0;
  border-top: 1px solid var(--line);
}
.prose :not(pre) > code {
  padding: 0.1em 0.35em;
  border-radius: 3px;
  background: var(--bg-3);
  color: var(--fg);
  font-size: 0.86em;
  overflow-wrap: anywhere;
}
.doc-img {
  display: block;
  max-width: 100%;
  height: auto;
  border: 1px solid var(--line);
  border-radius: 4px;
}

/* ---------------------------------------------------------------- tables */
.prose table {
  display: block;
  max-width: 100%;
  overflow-x: auto;
  border-collapse: collapse;
  font-size: 14.5px;
  line-height: 1.55;
}
.prose th,
.prose td {
  padding: 8px 12px;
  border: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
}
.prose th {
  background: var(--bg-2);
  color: var(--fg);
  font-weight: 600;
}
.prose td code,
.prose th code {
  overflow-wrap: normal;
  white-space: nowrap;
}

/* ---------------------------------------------------------------- code */
.prose pre {
  position: relative;
  max-width: 100%;
  margin-inline: 0;
  padding: 14px 16px;
  overflow-x: auto;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  background: var(--term);
  color: var(--fg);
  font: 400 13.5px/1.6 var(--mono);
  tab-size: 4;
}
.prose pre code {
  font: inherit;
}
.pre-wrap {
  position: relative;
}
.pre-copy {
  position: absolute;
  top: 7px;
  right: 7px;
  padding: 4px 9px;
  border: 1px solid var(--line-2);
  border-radius: 3px;
  background: var(--term-2);
  color: var(--muted);
  font: 500 11.5px/1.2 var(--mono);
  cursor: pointer;
  opacity: 0;
  transition: opacity 0.15s;
}
.pre-wrap:hover .pre-copy,
.pre-copy:focus-visible,
.pre-copy.done {
  opacity: 1;
}
.pre-copy:hover {
  border-color: var(--accent);
  color: var(--fg);
}
.pre-copy.done {
  border-color: var(--ok);
  color: var(--ok);
}
@media (hover: none) {
  .pre-copy {
    opacity: 1;
  }
}
/* Highlighting: zola.toml's theme (github-dark) decides which scopes share a
   class; the colours are the site's. Commands gold, flags and keys
   turquoise, keywords red, comments dim, everything else plain. */
.z-3 {
  color: var(--dim);
}
.z-4,
.z-5 {
  color: var(--ok);
}
.z-7 {
  color: var(--accent);
}
.z-10,
.z-11 {
  color: var(--bad);
}
.z-12 {
  color: var(--warn);
}
.z-b {
  font-weight: 600;
}
.z-i {
  font-style: italic;
}

/* ---------------------------------------------------------------- diagrams */
.diagram {
  margin-inline: 0;
}
.diagram-view {
  overflow-x: auto;
  padding: 14px;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  background: var(--term);
}
.diagram-view svg {
  display: block;
  max-width: none;
  height: auto;
  margin: 0 auto;
}
.diagram-src {
  margin-top: 6px;
}
.diagram-src summary {
  width: fit-content;
  color: var(--muted);
  font: 500 12.5px/1.8 var(--mono);
  cursor: pointer;
}
.diagram-src summary:hover {
  color: var(--fg);
}
.diagram-src pre {
  margin-top: 8px;
}
.mmd text,
.mmd tspan {
  font-family: var(--mono);
  font-size: 14px;
}
.mmd .actor {
  fill: var(--bg-3);
  stroke: var(--line-2);
}
.mmd text.actor,
.mmd text.actor tspan {
  fill: var(--fg);
  stroke: none;
  font-weight: 600;
}
.mmd .actor-line {
  stroke: var(--line-2);
  stroke-width: 1px;
}
.mmd .messageLine0,
.mmd .messageLine1 {
  stroke: var(--muted);
  stroke-width: 1.5px;
  fill: none;
}
.mmd .messageLine1 {
  stroke-dasharray: 4 3;
}
.mmd .messageText {
  fill: var(--fg-2);
  stroke: none;
}
.mmd marker path,
.mmd marker circle {
  fill: var(--muted);
  stroke: var(--muted);
}
.mmd [id$="-sequencenumber"] circle {
  fill: var(--accent);
  stroke: none;
}
.mmd .sequenceNumber {
  fill: var(--bg);
  font-size: 11px;
  font-weight: 600;
}
.mmd .note {
  fill: var(--bg-2);
  stroke: var(--line-2);
}
.mmd .noteText,
.mmd .noteText tspan {
  fill: var(--fg-2);
  stroke: none;
}
.mmd .loopLine {
  stroke: var(--accent);
  stroke-width: 1px;
  stroke-dasharray: 3 3;
  fill: none;
}
.mmd .labelBox {
  fill: var(--bg-3);
  stroke: var(--accent);
}
.mmd .labelText,
.mmd .loopText,
.mmd .loopText tspan,
.mmd .sectionTitle {
  fill: var(--accent);
  stroke: none;
}
.mmd-flow .node rect,
.mmd-flow .node polygon,
.mmd-flow .node path,
.mmd-flow .node circle {
  fill: var(--bg-3);
  stroke: var(--line-2);
  stroke-width: 1px;
}
.mmd-flow .label text {
  text-anchor: middle;
}
.mmd-flow .node text,
.mmd-flow .node tspan {
  fill: var(--fg);
}
.mmd-flow .flowchart-link {
  stroke: var(--muted);
  stroke-width: 1.5px;
  fill: none;
}
.mmd-flow .edge-pattern-dotted {
  stroke-dasharray: 3 3;
}
.mmd-flow .arrowMarkerPath {
  fill: var(--muted);
  stroke: var(--muted);
}
.mmd-flow .edgeLabel rect {
  fill: var(--term);
  stroke: none;
}
.mmd-flow .edgeLabel text,
.mmd-flow .edgeLabel tspan {
  fill: var(--accent);
}

/* ---------------------------------------------------------------- previous / next */
.doc-pn {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  max-width: 46rem;
  margin-top: 56px;
}
.pn {
  display: block;
  padding: 14px 16px;
  border: 1px solid var(--line-2);
  border-radius: 4px;
  color: var(--fg);
  font-weight: 600;
  text-decoration: none;
}
.pn:hover {
  border-color: var(--accent);
}
.pn span {
  display: block;
  margin-bottom: 4px;
  color: var(--muted);
  font: 500 11.5px/1 var(--mono);
  letter-spacing: 0.14em;
  text-transform: uppercase;
}
.pn-next {
  grid-column: 2;
  text-align: right;
}
.pn span::before {
  content: "← ";
}
.pn-next span::before {
  content: none;
}
.pn-next span::after {
  content: " →";
}

/* ---------------------------------------------------------------- phones */
@media (max-width: 600px) {
  .docs-g,
  .docs-toc-h,
  .pn span,
  .diagram-src summary,
  .pre-copy,
  .docs-kbd {
    font-size: 12px;
  }
  .prose pre {
    font-size: 12.5px;
  }
  .doc-pn {
    grid-template-columns: minmax(0, 1fr);
  }
  .pn-next {
    grid-column: 1;
  }
}