:root {
  --bg: #f8f7f2;
  --paper: #fffefa;
  --ink: #1f2124;
  --muted: #5a5e63;
  --rule: #d9d6cc;
  --grid: #ecebe4;
  --accent: #1f6f6b;
  --accent-soft: #dcefed;
  --mono: ui-monospace, "SFMono-Regular", "Cascadia Mono", Consolas, "Liberation Mono", monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #15171a;
    --paper: #1b1e22;
    --ink: #e2e0da;
    --muted: #a3a7ad;
    --rule: #34383e;
    --grid: #202328;
    --accent: #6cc6c0;
    --accent-soft: #1f3534;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font: 15px/1.55 var(--sans);
  background-image: linear-gradient(var(--grid) 1px, transparent 1px);
  background-size: 100% 26px;
}
.mono, code, pre, .num, .crumb, .toc, .jpos, .meta { font-family: var(--mono); }
a { color: var(--accent); text-underline-offset: 2px; }
a:focus-visible, button:focus-visible, .jpanel:focus-visible, .jsteps button:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.skip { position: absolute; left: -999px; top: 0; background: var(--paper); padding: 6px 10px; }
.skip:focus { left: 8px; z-index: 10; }

header.top, main, footer { max-width: 1060px; margin: 0 auto; padding: 0 20px; }
header.top { padding-top: 36px; padding-bottom: 10px; border-bottom: 1px solid var(--rule); }
.crumb { color: var(--muted); font-size: 13px; margin: 0 0 6px; }
h1 { font-size: 30px; line-height: 1.2; margin: 0 0 10px; letter-spacing: -0.01em; }
.lede { max-width: 72ch; margin: 0 0 14px; }
.toc { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: 13px; }
.toc a { text-decoration: none; }
.toc a:hover { text-decoration: underline; }

section { padding: 26px 0 8px; border-bottom: 1px dashed var(--rule); }
h2 { font-size: 20px; margin: 0 0 10px; }
h2 .num { color: var(--accent); font-size: 14px; margin-right: 8px; font-weight: 600; }
h3 { font-size: 15px; margin: 16px 0 4px; }
p, li { max-width: 78ch; }
.note { color: var(--muted); font-size: 13.5px; }
.constraints { display: grid; grid-template-columns: max-content 1fr; gap: 4px 16px; margin: 12px 0; }
.constraints dt { font-family: var(--mono); color: var(--accent); font-size: 13.5px; }
.constraints dd { margin: 0; }

.diagram { margin: 12px 0; background: var(--paper); border: 1px solid var(--rule); border-radius: 6px; padding: 10px; }
.diagram svg { width: 100%; height: auto; display: block; }
.diagram figcaption { color: var(--muted); font-size: 13px; margin-top: 6px; }
svg text { font-family: var(--mono); font-size: 12px; fill: var(--ink); text-anchor: middle; }
svg .lanes text { text-anchor: start; fill: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: 0.06em; }
svg .lanes line { stroke: var(--rule); stroke-dasharray: 2 4; }
svg text.sub { font-size: 9.5px; fill: var(--muted); }
svg text.el { font-size: 10.5px; fill: var(--muted); text-anchor: start; }
svg .nodes rect, svg .gate path { fill: var(--paper); stroke: var(--muted); stroke-width: 1.2; }
svg .band rect { fill: var(--accent-soft); stroke: none; }
svg .edges path { fill: none; stroke: var(--muted); stroke-width: 1.3; }
svg .edges .fan path { stroke-dasharray: 1 0; }
svg .edges path.err { stroke-dasharray: 5 4; }
svg .errnode rect { stroke-dasharray: 5 4; }
svg .arrowhead { fill: var(--muted); }
svg .nodes g.on rect { stroke: var(--accent); stroke-width: 2.4; fill: var(--accent-soft); }
svg .nodes g { transition: opacity .25s; }
svg.dim .nodes g:not(.on) { opacity: .45; }

.journey { display: grid; grid-template-columns: 250px 1fr; grid-template-areas: "ctl ctl" "steps panel" "mini mini"; gap: 12px 18px; margin: 14px 0; }
.jctl { grid-area: ctl; display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.jctl button, .jsteps button {
  font: 13px var(--mono); color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule); border-radius: 4px; padding: 5px 10px; cursor: pointer;
}
.jctl button:hover { border-color: var(--accent); }
.jctl button[aria-pressed="true"] { background: var(--accent); color: var(--paper); border-color: var(--accent); }
.jpos { color: var(--muted); font-size: 13px; }
.jsteps { grid-area: steps; list-style: none; margin: 0; padding: 0; counter-reset: s; }
.jsteps li { margin: 0 0 4px; }
.jsteps button { width: 100%; text-align: left; border-color: transparent; background: transparent; padding: 4px 8px; }
.jsteps button[aria-current="step"] { border-color: var(--accent); background: var(--accent-soft); }
.jsteps .k { color: var(--accent); margin-right: 6px; }
.jpanel { grid-area: panel; background: var(--paper); border: 1px solid var(--rule); border-left: 3px solid var(--accent); border-radius: 4px; padding: 12px 14px; min-height: 320px; }
.jpanel h3 { margin-top: 0; }
.jpanel .prov { font: 12px var(--mono); color: var(--muted); margin: 0 0 8px; }
.jpanel.enter { animation: slidein .28s ease-out; }
@keyframes slidein { from { opacity: 0; transform: translateY(6px); } to { opacity: 1; transform: none; } }
.mini { grid-area: mini; margin: 0 auto; max-width: 720px; width: 100%; }
pre { background: var(--bg); border: 1px solid var(--rule); border-radius: 4px; padding: 10px; overflow: auto; font-size: 12.5px; line-height: 1.45; max-height: 420px; white-space: pre-wrap; word-break: break-word; }
.checks { list-style: none; padding: 0; margin: 8px 0; font: 13px var(--mono); }
.checks li::before { content: "[ok] "; color: var(--accent); }
.checks li.fail::before { content: "[fail] "; color: var(--ink); font-weight: 700; }
.checks li.fail { font-weight: 600; }
.side { border-top: 1px solid var(--rule); margin-top: 8px; }

.tablewrap { overflow-x: auto; margin: 10px 0; }
table { border-collapse: collapse; width: 100%; font-size: 14px; background: var(--paper); }
caption { text-align: left; color: var(--muted); font-size: 13px; padding: 0 0 6px; caption-side: top; }
th, td { border-bottom: 1px solid var(--rule); padding: 6px 8px; text-align: left; vertical-align: top; }
thead th { font: 600 12.5px var(--mono); color: var(--muted); border-bottom: 2px solid var(--rule); }
td.n, #reenact-table td.n { font-family: var(--mono); text-align: right; white-space: nowrap; }
table.facts th { font-weight: 600; white-space: nowrap; }
table.facts td.n { color: var(--accent); font-weight: 600; }
.meta { color: var(--muted); font-size: 12.5px; }
.finding { border-left: 3px solid var(--accent); padding: 4px 12px; margin: 10px 0; background: var(--paper); }
.status { font-size: 16px; }
ul.plain { padding-left: 18px; }

.vault { display: grid; grid-template-columns: 280px 1fr; gap: 14px; }
.tree { margin: 0; max-height: none; }
.vault-files details { background: var(--paper); border: 1px solid var(--rule); border-radius: 4px; margin: 0 0 8px; padding: 6px 10px; }
.vault-files summary { font: 13px var(--mono); cursor: pointer; }
.vault-files .tag { font: 11px var(--mono); color: var(--muted); margin-left: 8px; }

.sources { font-size: 13.5px; padding-left: 26px; }
.sources li { margin: 0 0 5px; }
.sources .src { display: block; font: 12px var(--mono); color: var(--muted); }

footer { padding: 22px 20px 40px; color: var(--muted); font-size: 13px; }
footer .sep { margin: 0 6px; color: var(--rule); }

@media (max-width: 760px) {
  body { font-size: 14.5px; }
  h1 { font-size: 24px; }
  .journey { grid-template-columns: 1fr; grid-template-areas: "ctl" "steps" "panel" "mini"; }
  .jsteps { display: flex; flex-wrap: wrap; gap: 4px; }
  .jsteps li { margin: 0; }
  .jsteps button { width: auto; border-color: var(--rule); }
  .jsteps .t { display: none; }
  .vault { grid-template-columns: 1fr; }
  .constraints { grid-template-columns: 1fr; }
  .constraints dd { margin-bottom: 6px; }
  /* the two full diagrams keep a readable text size and scroll sideways instead of shrinking */
  .diagram:not(.mini) { overflow-x: auto; }
  .diagram:not(.mini) svg { min-width: 620px; }
}
@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation: none !important; transition: none !important; }
}
.journey > *, .vault > *, main, section { min-width: 0; }
body { overflow-wrap: break-word; }