.reading-progress {
  position: fixed;
  inset: 0 0 auto;
  z-index: 300;
  height: 3px;
  pointer-events: none;
}
.reading-progress span {
  display: block;
  width: 100%;
  height: 100%;
  transform: scaleX(0);
  transform-origin: left center;
  background: linear-gradient(90deg, var(--brand), var(--brand-2));
}

:where(a, button, input, summary, [tabindex]):focus-visible {
  outline: 3px solid var(--brand);
  outline-offset: 3px;
}

.doc-article :is(h2, h3),
:where(a, button, input, summary, [tabindex]):focus-visible {
  scroll-margin-top: 92px;
}

.search-trigger {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-height: 38px;
  padding: 6px 8px 6px 11px;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--surface);
  color: var(--muted);
  cursor: pointer;
}
.search-trigger:hover { color: var(--text); border-color: var(--border-strong); background: var(--surface-muted); }
.search-trigger kbd {
  padding: 3px 6px;
  border: 1px solid var(--border);
  border-bottom-color: var(--border-strong);
  border-radius: 6px;
  background: var(--surface-solid);
  color: var(--faint);
  font: 700 0.67rem/1 ui-monospace, SFMono-Regular, Menlo, monospace;
}
.mobile-search {
  width: 100%;
  margin-bottom: 7px;
  padding: 10px;
  border: 1px solid var(--border);
  border-radius: 9px;
  background: var(--surface-muted);
  color: var(--text);
  text-align: left;
  cursor: pointer;
}

.breadcrumbs {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
  align-items: center;
  margin: 0 0 20px;
  color: var(--faint);
  font-size: 0.76rem;
}
.breadcrumbs a { color: var(--muted); text-decoration: none; }
.breadcrumbs a:hover { color: var(--text); }
.breadcrumbs [aria-current="page"] { color: var(--text); font-weight: 700; }

.toc nav a[aria-current="true"] {
  color: var(--brand);
  font-weight: 750;
}
.back-to-top {
  margin-top: 18px;
  padding: 7px 0;
  border: 0;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: 0.8rem;
}
.back-to-top:hover { color: var(--text); }

.page-pagination {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
  margin-top: 52px;
  padding-top: 24px;
  border-top: 1px solid var(--border);
}
.page-nav-card {
  min-width: 0;
  padding: 14px 16px;
  border: 1px solid var(--border);
  border-radius: 13px;
  background: var(--surface-solid);
  text-decoration: none;
  box-shadow: var(--shadow-sm);
}
.page-nav-card span { display: block; color: var(--faint); font-size: 0.7rem; font-weight: 800; letter-spacing: 0.07em; text-transform: uppercase; }
.page-nav-card strong { display: block; margin-top: 3px; color: var(--text); font-size: 0.88rem; }
.page-nav-card.next { text-align: right; }
.page-nav-card:hover { border-color: var(--border-strong); transform: translateY(-1px); }

.evidence-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 15px;
  margin: 26px 0 34px;
}
.evidence-card {
  position: relative;
  overflow: hidden;
  padding: 22px;
  border: 1px solid var(--border);
  border-radius: 16px;
  background: var(--surface-solid);
  box-shadow: var(--shadow-sm);
}
.evidence-card::before {
  content: "";
  position: absolute;
  inset: 0 auto 0 0;
  width: 4px;
  background: var(--brand);
}
.evidence-card.evidence-incomplete::before { background: var(--warning); }
.evidence-card.evidence-robust::before { background: var(--success); }
.evidence-card.evidence-fragile::before { background: var(--danger); }
.evidence-card h2,
.evidence-card h3 { margin: 10px 0 8px; font-size: 1.05rem; }
.evidence-card p { margin: 8px 0 0; color: var(--muted); font-size: 0.9rem; }
.evidence-state {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: var(--muted);
  font-size: 0.7rem;
  font-weight: 850;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.evidence-state::before { content: ""; width: 8px; height: 8px; border-radius: 999px; background: currentColor; }
.evidence-incomplete .evidence-state { color: var(--warning); }
.evidence-robust .evidence-state { color: var(--success); }
.evidence-fragile .evidence-state { color: var(--danger); }
.evidence-figure { margin: 26px 0; }
.evidence-figure img { border: 1px solid var(--border); }

.callout-info { border-left: 4px solid var(--brand); }
.callout-warning { border-left: 4px solid var(--warning); }
.callout-success { border-left: 4px solid var(--success); }

.search-dialog {
  width: min(720px, calc(100% - 28px));
  max-height: min(760px, calc(100vh - 40px));
  padding: 0;
  border: 1px solid var(--border-strong);
  border-radius: 20px;
  background: color-mix(in srgb, var(--surface-solid) 96%, transparent);
  color: var(--text);
  box-shadow: 0 34px 100px rgba(7, 14, 28, 0.28);
  overflow: hidden;
}
.search-dialog::backdrop {
  background: rgba(6, 12, 24, 0.58);
  backdrop-filter: blur(5px);
}
.search-dialog-inner { padding: 24px; }
.search-dialog-head { display: flex; align-items: flex-start; justify-content: space-between; gap: 20px; }
.search-dialog-head .eyebrow { margin-bottom: 5px; }
.search-dialog-head h2 { margin: 0; font-size: 1.55rem; letter-spacing: -0.035em; }
.search-close {
  width: 36px;
  height: 36px;
  display: grid;
  place-items: center;
  flex: 0 0 auto;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--surface-muted);
  color: var(--muted);
  cursor: pointer;
  font-size: 1.4rem;
  line-height: 1;
}
.site-search-input {
  width: 100%;
  margin-top: 20px;
  padding: 15px 16px;
  border: 1px solid var(--border-strong);
  border-radius: 13px;
  outline: none;
  background: var(--surface-solid);
  color: var(--text);
  font-size: 1rem;
}
.site-search-input:focus { border-color: var(--brand); box-shadow: 0 0 0 4px var(--brand-soft); }
.search-hint { display: flex; gap: 14px; padding: 8px 3px 13px; color: var(--faint); font-size: 0.72rem; }
.search-results { display: grid; gap: 6px; max-height: 430px; overflow: auto; }
.search-result {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 1px 12px;
  padding: 12px 13px;
  border: 1px solid transparent;
  border-radius: 11px;
  text-decoration: none;
  color: var(--text);
}
.search-result-category {
  grid-row: 1 / span 2;
  align-self: start;
  min-width: 74px;
  margin-top: 2px;
  color: var(--faint);
  font-size: 0.68rem;
  font-weight: 800;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}
.search-result strong { font-size: 0.9rem; }
.search-result > span:last-child { color: var(--muted); font-size: 0.79rem; }
.search-result:hover,
.search-result.is-selected { border-color: var(--border); background: var(--surface-muted); }
.search-empty { margin: 12px 0 4px; padding: 18px; border-radius: 12px; background: var(--surface-muted); color: var(--muted); text-align: center; }

.evidence-plot-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 16px;
}
.evidence-plot-grid .plot-card { margin: 0; }
.evidence-plot-grid .plot-card img { aspect-ratio: 9 / 5; object-fit: contain; }
.evidence-plot-grid .plot-card a { font-weight: 750; }

.mobile-doc-dock { display: none; }
.mobile-doc-dialog {
  width: min(620px, calc(100% - 24px));
  max-height: min(760px, calc(100vh - 24px));
  padding: 0;
  border: 1px solid var(--border-strong);
  border-radius: 20px;
  background: color-mix(in srgb, var(--surface-solid) 97%, transparent);
  color: var(--text);
  box-shadow: 0 34px 100px rgba(7, 14, 28, 0.30);
  overflow: hidden;
}
.mobile-doc-dialog::backdrop { background: rgba(6, 12, 24, 0.58); backdrop-filter: blur(5px); }
.mobile-doc-dialog-inner { padding: 20px; }
.mobile-doc-dialog-head { display: flex; justify-content: space-between; gap: 16px; align-items: flex-start; }
.mobile-doc-dialog-head .eyebrow { margin-bottom: 4px; }
.mobile-doc-dialog-head h2 { margin: 0; font-size: 1.35rem; letter-spacing: -0.035em; }
.mobile-doc-close {
  width: 36px;
  height: 36px;
  display: grid;
  place-items: center;
  flex: 0 0 auto;
  border: 1px solid var(--border);
  border-radius: 10px;
  background: var(--surface-muted);
  color: var(--muted);
  cursor: pointer;
  font-size: 1.35rem;
}
.mobile-doc-dialog-content { max-height: min(610px, calc(100vh - 140px)); margin-top: 16px; overflow: auto; }
.mobile-doc-browser { display: grid; gap: 4px; }
.mobile-doc-browser .nav-label { margin: 14px 7px 4px; color: var(--faint); font-size: .68rem; font-weight: 850; letter-spacing: .08em; text-transform: uppercase; }
.mobile-doc-browser a,
.mobile-doc-toc a { display: block; padding: 10px 11px; border-radius: 10px; color: var(--text); text-decoration: none; }
.mobile-doc-browser a:hover,
.mobile-doc-toc a:hover { background: var(--surface-muted); }
.mobile-doc-browser a[aria-current="page"] { background: var(--brand-soft); color: var(--brand); font-weight: 800; }
.mobile-doc-toc { display: grid; gap: 3px; }
.mobile-doc-toc a[data-level="3"] { padding-left: 24px; color: var(--muted); }
.mobile-doc-empty { padding: 14px; border-radius: 12px; background: var(--surface-muted); color: var(--muted); }

@media (max-width: 1320px) {
  .search-trigger span { display: none; }
}

@media (max-width: 1160px) {
  .search-trigger { margin-left: auto; }
  .header-actions { margin-left: auto; }
}

@media (max-width: 820px) {
  .search-trigger { display: none; }
  .evidence-grid,
  .evidence-plot-grid { grid-template-columns: 1fr; }
  .page-pagination { grid-template-columns: 1fr; }
  .page-nav-card.next { text-align: left; }
  .site-js .docs-sidebar { display: none; }
  .site-js .mobile-doc-dock {
    position: sticky;
    top: calc(var(--header-h) + 8px);
    z-index: 80;
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    gap: 6px;
    margin: 0 0 14px;
    padding: 7px;
    border: 1px solid var(--border);
    border-radius: 14px;
    background: color-mix(in srgb, var(--surface-solid) 92%, transparent);
    box-shadow: var(--shadow-sm);
    backdrop-filter: blur(14px);
  }
  .mobile-doc-dock button {
    min-width: 0;
    padding: 9px 7px;
    border: 1px solid transparent;
    border-radius: 9px;
    background: transparent;
    color: var(--muted);
    cursor: pointer;
    font-size: .76rem;
    font-weight: 800;
  }
  .mobile-doc-dock button:hover { background: var(--surface-muted); color: var(--text); }
  .mobile-doc-dock button:disabled { opacity: .45; cursor: not-allowed; }
}

@media (max-width: 520px) {
  .search-dialog-inner { padding: 18px; }
  .search-dialog-head h2 { font-size: 1.3rem; }
  .search-hint { flex-wrap: wrap; gap: 7px 12px; }
  .search-result { grid-template-columns: 1fr; }
  .search-result-category { grid-row: auto; min-width: 0; }
  .mobile-doc-dialog-inner { padding: 16px; }
}

@media (forced-colors: active) {
  :where(a, button, input, summary, [tabindex]):focus-visible {
    outline: 2px solid CanvasText;
  }
  .reading-progress span,
  .evidence-card::before,
  .evidence-state::before { forced-color-adjust: auto; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
  }
  .page-nav-card:hover { transform: none; }
}


/* Documentation intent compass */
.documentation-compass {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: .9rem;
  margin: 1rem 0 1.5rem;
}

.documentation-compass-card {
  min-width: 0;
  padding: 1rem;
  border: 1px solid var(--border);
  border-radius: .9rem;
  background: var(--surface-muted);
}

.documentation-compass-card h2,
.documentation-compass-card h3 {
  margin: .25rem 0 .55rem;
}

.documentation-compass-card p {
  margin: 0 0 .75rem;
}

.documentation-compass-mode {
  display: inline-block;
  color: var(--accent);
  font-size: .7rem;
  font-weight: 850;
  letter-spacing: .065em;
  text-transform: uppercase;
}

.documentation-compass-links {
  display: flex;
  flex-wrap: wrap;
  gap: .4rem .7rem;
}

.documentation-compass-card a {
  font-weight: 750;
}

.documentation-compass.compact .documentation-compass-card {
  padding: .85rem .9rem;
}

.documentation-compass.compact .documentation-compass-card p {
  color: var(--muted);
  font-size: .9rem;
}

.documentation-compass-card:focus-within {
  border-color: var(--accent);
}

@media (max-width: 760px) {
  .documentation-compass {
    grid-template-columns: 1fr;
  }
}

@media (forced-colors: active) {
  .documentation-compass-card {
    border-color: CanvasText;
  }

  .documentation-compass-card:focus-within {
    outline: 2px solid Highlight;
    outline-offset: 2px;
  }
}


/* Page-level documentation intent */
.page-intent-cue {
  display: flex;
  flex-wrap: wrap;
  gap: .45rem .7rem;
  align-items: center;
  margin: -.35rem 0 1rem;
  padding: .65rem .75rem;
  border: 1px solid var(--border);
  border-radius: .7rem;
  background: var(--surface-muted);
  color: var(--muted);
  font-size: .78rem;
  line-height: 1.45;
}

.page-intent-badge {
  display: inline-flex;
  align-items: center;
  min-height: 1.65rem;
  padding: .2rem .48rem;
  border: 1px solid var(--border-strong);
  border-radius: 999px;
  background: var(--surface-solid);
  color: var(--text);
  font-size: .68rem;
  font-weight: 850;
  letter-spacing: .055em;
  text-transform: uppercase;
}

.page-intent-note {
  flex: 1 1 20rem;
  min-width: 0;
}

.page-intent-cue a {
  flex: 0 0 auto;
  font-weight: 750;
}

.page-intent-cue:focus-within {
  border-color: var(--accent);
}

@media (max-width: 620px) {
  .page-intent-cue {
    display: grid;
    align-items: start;
  }

  .page-intent-badge {
    width: max-content;
  }

  .page-intent-cue a {
    width: max-content;
  }
}

@media (forced-colors: active) {
  .page-intent-cue,
  .page-intent-badge {
    border-color: CanvasText;
  }

  .page-intent-cue:focus-within {
    outline: 2px solid Highlight;
    outline-offset: 2px;
  }
}


/* Governed example contract */
.example-contract {
  margin: -.25rem 0 1rem;
  padding: .8rem .9rem;
  border: 1px solid var(--border);
  border-radius: .75rem;
  background: var(--surface-muted);
}

.example-contract-head {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: .75rem;
  margin-bottom: .65rem;
}

.example-contract-head > span {
  color: var(--text);
  font-size: .72rem;
  font-weight: 850;
  letter-spacing: .055em;
  text-transform: uppercase;
}

.example-contract-head a {
  font-size: .76rem;
  font-weight: 750;
}

.example-contract dl {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: .55rem .8rem;
  margin: 0;
}

.example-contract dl > div {
  min-width: 0;
  padding: .5rem .55rem;
  border: 1px solid var(--border);
  border-radius: .55rem;
  background: var(--surface-solid);
}

.example-contract dt {
  margin: 0 0 .18rem;
  color: var(--faint);
  font-size: .64rem;
  font-weight: 800;
  letter-spacing: .04em;
  text-transform: uppercase;
}

.example-contract dd {
  margin: 0;
  color: var(--text);
  font-size: .78rem;
  line-height: 1.45;
}

.example-contract .example-contract-boundary {
  grid-column: 1 / -1;
}

.example-contract:focus-within {
  border-color: var(--accent);
}

@media (max-width: 680px) {
  .example-contract dl {
    grid-template-columns: 1fr;
  }

  .example-contract .example-contract-boundary {
    grid-column: auto;
  }

  .example-contract-head {
    align-items: flex-start;
  }
}

@media (forced-colors: active) {
  .example-contract,
  .example-contract dl > div {
    border-color: CanvasText;
  }

  .example-contract:focus-within {
    outline: 2px solid Highlight;
    outline-offset: 2px;
  }
}