:root {
  color-scheme: light;
  --page: #ffffff;
  --ink: #172a3a;
  --muted: #465768;
  --link: #12568a;
  --rule: #c5cfd8;
  --wash: #f3f6f8;
  --focus: #8a3800;
  --content: 78rem;
}

* { box-sizing: border-box; }
html { scroll-padding-top: 1rem; }
body {
  margin: 0;
  background: var(--page);
  color: var(--ink);
  font-family: system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: 1rem;
  line-height: 1.65;
  overflow-wrap: anywhere;
}
a { color: var(--link); text-underline-offset: 0.17em; }
a:hover { text-decoration-thickness: 0.14em; }
:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 4px;
}
[id] { scroll-margin-top: 1rem; }
main:focus { outline: none; }
.skip-link {
  position: absolute;
  top: 0.5rem;
  left: 0.75rem;
  z-index: 10;
  padding: 0.65rem 1rem;
  background: var(--page);
  border: 2px solid var(--focus);
  transform: translateY(-180%);
}
.skip-link:focus { transform: none; }
.site-header { border-bottom: 1px solid var(--rule); }
.header-inner, .release-inner, .footer-inner {
  max-width: var(--content);
  margin-inline: auto;
  padding: 1rem 1.5rem;
  min-width: 0;
}
.header-inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem 2rem;
  flex-wrap: wrap;
}
.site-name { font-size: 1.1rem; font-weight: 700; text-decoration: none; }
.primary-nav { display: flex; flex-wrap: wrap; gap: 0.4rem 1.25rem; }
.primary-nav a { padding-block: 0.35rem; }
.primary-nav a[aria-current] { font-weight: 700; text-decoration-thickness: 0.15em; }
.release-context { background: var(--wash); border-bottom: 1px solid var(--rule); }
.release-inner {
  display: flex;
  align-items: baseline;
  flex-wrap: wrap;
  gap: 0.35rem 0.9rem;
  padding-block: 0.7rem;
  font-size: 0.875rem;
}
.release-identity { font-weight: 700; }
.release-status { border: 1px solid var(--rule); border-radius: 0.2rem; padding: 0.05rem 0.45rem; }
.release-scope { color: var(--muted); }
.wiki-shell {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 14rem;
  gap: 3rem;
  max-width: var(--content);
  margin-inline: auto;
  padding: 2rem 1.5rem 3.5rem;
}
.wiki-main, .wiki-article, .page-tools, section { min-width: 0; }
.wiki-article { max-width: 72ch; }
.breadcrumbs { display: flex; flex-wrap: wrap; gap: 0.35rem 0.65rem; margin-bottom: 1.5rem; font-size: 0.875rem; }
h1, h2, h3, h4 { color: var(--ink); line-height: 1.25; text-wrap: balance; }
h1 { font-size: clamp(1.8rem, 3.3vw, 2.5rem); margin-block: 0 1.2rem; letter-spacing: -0.025em; }
h2 { font-size: 1.45rem; margin-block: 2.4rem 0.85rem; }
h3 { font-size: 1.12rem; margin-block: 1.8rem 0.6rem; }
p, ul, ol, dl { margin-block: 0 1.15rem; }
ul, ol { padding-inline-start: 1.5rem; }
li + li { margin-block-start: 0.4rem; }
li > p:last-child { margin-block-end: 0; }
strong { font-weight: 650; }
blockquote { margin-inline: 0; border-inline-start: 3px solid var(--rule); padding-inline-start: 1rem; }
code, pre, samp, kbd { font-family: ui-monospace, "Cascadia Mono", "Segoe UI Mono", monospace; font-size: 0.9em; }
:not(pre) > code { background: var(--wash); padding: 0.08rem 0.23rem; border-radius: 0.15rem; }
pre {
  margin-block: 0 1.25rem;
  padding: 1rem;
  background: var(--wash);
  border: 1px solid var(--rule);
  border-radius: 0.2rem;
  max-width: 100%;
  overflow-x: auto;
  overflow-wrap: normal;
  white-space: pre;
  line-height: 1.65;
  tab-size: 2;
}
pre code { background: none; padding: 0; }
.highlight { max-width: 100%; background: none; }
.highlight pre { color: var(--ink); }
.tla-source, .formal-source, .source-scroll, .table-scroll {
  max-width: 100%;
  min-width: 0;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
}
.tla-source { margin-block-end: 1.25rem; }
.tla-source > pre {
  margin-block-end: 0;
  min-width: max-content;
  max-width: none;
  overflow: visible;
}
.tla-source[tabindex], .formal-source[tabindex], .source-scroll[tabindex], .table-scroll[tabindex] {
  border-radius: 0.2rem;
}
.tla-source:focus-visible, .formal-source:focus-visible, .source-scroll:focus-visible, .table-scroll:focus-visible {
  outline-offset: 2px;
}
table {
  display: block;
  max-width: 100%;
  width: max-content;
  overflow-x: auto;
  border-collapse: collapse;
  margin-block: 1rem 1.5rem;
  font-size: 0.94rem;
  text-align: start;
}
caption { text-align: start; font-weight: 650; padding-block: 0.5rem; }
th, td { border: 1px solid var(--rule); padding: 0.6rem 0.75rem; vertical-align: top; }
th { background: var(--wash); font-weight: 650; }
td > p, th > p { margin: 0; }
.page-tools { font-size: 0.9rem; }
.mobile-page-contents { display: none; }
.tools-heading, .page-contents summary, .mobile-page-contents summary { font-weight: 650; }
.browse-links { display: grid; gap: 0.7rem; padding-bottom: 1.25rem; }
.tools-heading { margin: 0; color: var(--muted); }
.page-contents { border-top: 1px solid var(--rule); padding-top: 1rem; }
.page-contents summary, .mobile-page-contents summary { cursor: pointer; padding-block: 0.35rem; }
.page-contents nav, .mobile-page-contents nav { padding-top: 0.7rem; }
.page-contents ul, .mobile-page-contents ul { padding-inline-start: 1.2rem; }
.page-contents > nav > ul { padding-inline-start: 1rem; }
.page-contents li { margin-block: 0.35rem; }
.chapter-nav { display: flex; justify-content: space-between; gap: 1rem; margin-top: 3rem; padding-top: 1.25rem; border-top: 1px solid var(--rule); }
.chapter-nav a { flex: 1 1 0; max-width: 50%; }
.chapter-nav span { display: block; font-size: 0.85rem; color: var(--muted); }
.chapter-next { margin-inline-start: auto; text-align: end; }
.site-footer { border-top: 1px solid var(--rule); color: var(--muted); font-size: 0.875rem; }
.footer-inner { display: flex; justify-content: space-between; gap: 0.75rem 2rem; flex-wrap: wrap; }
.footer-inner p { margin: 0; }
.footer-inner nav { display: flex; flex-wrap: wrap; gap: 0.5rem 1rem; }
.admonition, .tla-evidence, .formal-evidence, .tla-trace {
  border: 1px solid var(--rule);
  border-inline-start-width: 3px;
  border-radius: 0.2rem;
  margin-block: 1.5rem;
  padding: 1rem;
  min-width: 0;
}
.admonition-title { font-weight: 650; }
.admonition > :last-child, .tla-evidence > :last-child, .formal-evidence > :last-child, .tla-trace > :last-child { margin-bottom: 0; }
.headerlink { font-size: 0.8em; margin-inline-start: 0.35em; text-decoration: none; opacity: 0; }
:is(h1, h2, h3, h4):hover > .headerlink, .headerlink:focus-visible { opacity: 1; }
.toctree-wrapper ul { padding-inline-start: 1.4rem; }
.sig { overflow-wrap: anywhere; }
button, input, select { font: inherit; max-width: 100%; }
button { padding: 0.45rem 0.8rem; cursor: pointer; }
button:disabled { cursor: default; }
button:disabled, [aria-disabled="true"] { color: var(--muted); }
.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
  border: 0;
}

@media (max-width: 58rem) {
  .wiki-shell { grid-template-columns: minmax(0, 1fr); gap: 2rem; }
  .mobile-page-contents { display: block; border-block: 1px solid var(--rule); padding-block: 0.5rem; margin-bottom: 1.5rem; }
  .browse-links { display: flex; flex-wrap: wrap; gap: 0.5rem 1.25rem; padding-bottom: 0.75rem; }
  .tools-heading { flex-basis: 100%; }
  .page-contents { display: none; }
  .wiki-article { max-width: 76ch; }
}

@media (max-width: 30rem) {
  .header-inner, .release-inner, .footer-inner { padding-inline: 1rem; }
  .header-inner { gap: 0.6rem; }
  .primary-nav { gap: 0.3rem 1.1rem; }
  .release-inner { align-items: flex-start; }
  .release-scope { flex-basis: 100%; }
  .wiki-shell { padding: 1.25rem 1rem 2.5rem; gap: 1.5rem; }
  h2 { font-size: 1.3rem; }
  pre { padding: 0.75rem; }
  th, td { padding: 0.5rem; }
  .chapter-nav { flex-wrap: wrap; }
  .chapter-nav a { max-width: 100%; flex-basis: 100%; }
  .chapter-next { text-align: start; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; animation: none !important; transition: none !important; }
}

@media print {
  .site-header, .page-tools, .chapter-nav, .skip-link, .headerlink { display: none; }
  .wiki-shell { display: block; padding: 1rem 0; }
  .wiki-article { max-width: none; }
  pre, table, .tla-source, .formal-source { overflow: visible; white-space: pre-wrap; }
  .tla-source > pre { min-width: 0; max-width: 100%; overflow-wrap: anywhere; }
  a { color: inherit; }
}
/* A selected trace state remains visible alongside the complete static list. */
[data-trace-state] { border-left: .25rem solid transparent; padding-left: .75rem; }
.trace-selected .trace-current { border-left: .25rem solid #245a81; background: #edf5fa; padding-left: .75rem; }
.trace-selected .trace-current > h3::after { content: " · Current state"; font-size: .85em; }
.trace-controls { border: 1px solid #a5bac9; border-radius: .25rem; padding: .75rem; }
.trace-controls button, .trace-controls select { font: inherit; margin: .25rem; padding: .4rem; }
.trace-controls button:disabled { opacity: .6; }
.trace-table { overflow-x: auto; max-width: 100%; }
.trace-table table { min-width: 26rem; }
.trace-table th, .trace-table td { overflow-wrap: normal; word-break: normal; }
[hidden] { display: none !important; }
.sr-only { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }