:root {
  --ace-ink: #17212b;
  --ace-canvas: #edf3f2;
  --ace-sheet: #fffdf8;
  --ace-cobalt: #1b4dff;
  --ace-persimmon: #ff633f;
  --ace-lilac: #d8ceff;
  --ace-moss: #3f6658;
  --ace-line: #70817c;
  --ace-muted: #4d5b61;
  --ace-display: "Trebuchet MS", "Avenir Next", Avenir, Arial, sans-serif;
  --ace-text: Charter, "Iowan Old Style", "Palatino Linotype", Georgia, serif;
  --ace-ui: Verdana, Geneva, Tahoma, sans-serif;
  --ace-shell: min(1180px, calc(100% - 2.5rem));
  --ace-reading: 74ch;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  color: var(--ace-ink);
  background: var(--ace-canvas);
  font: 1.08rem/1.72 var(--ace-text);
  text-rendering: optimizeLegibility;
}
img { max-width: 100%; height: auto; }
a { color: #103dcc; text-underline-offset: .18em; text-decoration-thickness: .08em; }
a:hover { color: #98280f; }
a:focus-visible, button:focus-visible, [tabindex]:focus-visible {
  outline: 3px solid var(--ace-persimmon);
  outline-offset: 4px;
}
.ace-skip {
  position: fixed;
  z-index: 100;
  left: 1rem;
  top: 1rem;
  transform: translateY(-180%);
  padding: .65rem .9rem;
  color: #fff;
  background: var(--ace-ink);
  font: 700 .8rem/1.2 var(--ace-ui);
}
.ace-skip:focus { transform: none; }
.ace-shell { width: var(--ace-shell); margin-inline: auto; }
.ace-site-header {
  border-bottom: 1px solid var(--ace-line);
  background: rgba(255, 253, 248, .94);
}
.ace-header-inner {
  min-height: 4.6rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1.5rem;
}
.ace-brand {
  display: inline-flex;
  align-items: center;
  gap: .7rem;
  color: var(--ace-ink);
  text-decoration: none;
  font: 800 .88rem/1.2 var(--ace-ui);
  letter-spacing: .04em;
  text-transform: uppercase;
}
.ace-brand img { width: 2rem; height: 2rem; }
.ace-nav { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: .35rem 1.2rem; }
.ace-nav a {
  color: var(--ace-ink);
  font: 700 .76rem/1.3 var(--ace-ui);
  text-decoration: none;
}
.ace-nav a:hover { color: var(--ace-cobalt); text-decoration: underline; }
.ace-hero {
  padding: clamp(4.4rem, 10vw, 8.5rem) 0 clamp(3.4rem, 7vw, 6rem);
  text-align: center;
}
.ace-kicker, .ace-label, .ace-section-code, dt, caption {
  font: 700 .72rem/1.45 var(--ace-ui);
  letter-spacing: .095em;
  text-transform: uppercase;
}
.ace-kicker { color: #263aa5; }
h1, h2, h3 {
  margin-top: 0;
  font-family: var(--ace-display);
  line-height: 1.08;
  text-wrap: balance;
}
h1 {
  max-width: 17ch;
  margin: .75rem auto 1.25rem;
  font-size: clamp(2.45rem, 4.7vw, 4.5rem);
  line-height: .99;
  letter-spacing: -.042em;
}
h2 { font-size: clamp(2rem, 3.6vw, 3.4rem); letter-spacing: -.025em; }
h3 { font-size: clamp(1.4rem, 2.2vw, 2rem); letter-spacing: -.015em; }
.ace-deck {
  max-width: 69ch;
  margin: 0 auto 1.4rem;
  font-size: clamp(1.16rem, 1.6vw, 1.38rem);
  line-height: 1.55;
}
.ace-meta {
  display: flex;
  justify-content: center;
  flex-wrap: wrap;
  gap: .35rem .85rem;
  color: var(--ace-muted);
  font: .8rem/1.5 var(--ace-ui);
}
.ace-meta a { color: inherit; }
.ace-answer {
  max-width: 76ch;
  margin: 2.2rem auto 0;
  padding-top: 1.4rem;
  border-top: 3px solid var(--ace-cobalt);
  text-align: left;
  font-size: 1.12rem;
}
.ace-answer strong:first-child { font-family: var(--ace-display); }
.ace-jumps { margin: 1.4rem auto 0; font: 700 .78rem/1.7 var(--ace-ui); }
.ace-jumps a { margin-inline: .35rem; }
.ace-section { padding: clamp(3.5rem, 7vw, 6.5rem) 0; border-top: 1px solid var(--ace-line); }
.ace-section--sheet { background: var(--ace-sheet); }
.ace-section-head { max-width: 820px; margin-bottom: 2.5rem; }
.ace-section-head p { max-width: var(--ace-reading); }
.ace-boundary-grid, .ace-workstreams, .ace-choreography, .ace-check-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  background: var(--ace-line);
  border: 1px solid var(--ace-line);
}
.ace-boundary-grid > *, .ace-workstream, .ace-phase, .ace-check {
  min-width: 0;
  padding: 1.4rem;
  background: var(--ace-sheet);
}
.ace-boundary-grid h3, .ace-workstream h3, .ace-phase h3, .ace-check h3 { font-size: 1.18rem; }
.ace-boundary-grid p, .ace-workstream p, .ace-phase p, .ace-check p { margin-bottom: 0; }
.ace-lattice {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 1fr) 4.75rem minmax(0, 1fr);
  gap: 0;
  margin: 2rem 0;
}
.ace-lattice::before {
  content: "";
  position: absolute;
  left: 50%;
  top: 1rem;
  bottom: 1rem;
  width: 2px;
  background: var(--ace-cobalt);
  transform: translateX(-1px);
}
.ace-lattice-node {
  position: relative;
  z-index: 1;
  grid-column: 2;
  align-self: start;
  justify-self: center;
  display: grid;
  place-items: center;
  width: 2.25rem;
  height: 2.25rem;
  border: 2px solid var(--ace-ink);
  border-radius: 50%;
  color: #fff;
  background: var(--ace-cobalt);
  font: 800 .72rem/1 var(--ace-ui);
}
.ace-lattice-entry {
  min-width: 0;
  margin: 0 0 1.4rem;
  padding: 1.25rem 1.4rem;
  border-top: 4px solid var(--ace-persimmon);
  background: var(--ace-sheet);
}
.ace-lattice-entry:nth-of-type(4n + 1) { grid-column: 1; }
.ace-lattice-entry:nth-of-type(4n + 3) { grid-column: 3; }
.ace-method-list { list-style: none; padding: 0; }
.ace-method-list li { display: contents; }
.ace-method-list .ace-lattice-entry h3 { margin-bottom: .45rem; font-size: 1.14rem; }
.ace-evidence-legend {
  display: flex;
  flex-wrap: wrap;
  gap: .6rem;
  padding: 0;
  list-style: none;
}
.ace-evidence-legend li {
  border: 1px solid var(--ace-line);
  padding: .5rem .7rem;
  background: var(--ace-sheet);
  font: 700 .72rem/1.3 var(--ace-ui);
}
.ace-provider-lattice { margin: 0; padding: 0; list-style: none; counter-reset: provider; }
.ace-provider {
  counter-increment: provider;
  position: relative;
  display: grid;
  grid-template-columns: 4.75rem minmax(0, 1fr);
  gap: 0 1.5rem;
  padding: 2.5rem 0;
  border-top: 1px solid var(--ace-line);
}
.ace-provider::before {
  content: counter(provider, decimal-leading-zero);
  grid-column: 1;
  grid-row: 1 / span 2;
  color: var(--ace-cobalt);
  font: 900 1.55rem/1 var(--ace-display);
}
.ace-provider > * { grid-column: 2; min-width: 0; }
.ace-provider h3 { margin-bottom: 1rem; }
.ace-provider dl {
  display: grid;
  grid-template-columns: minmax(10rem, .35fr) minmax(0, 1fr);
  gap: 0;
  margin: 0;
  border-top: 1px solid var(--ace-line);
}
.ace-provider dt, .ace-provider dd {
  margin: 0;
  padding: .72rem .8rem;
  border-bottom: 1px solid var(--ace-line);
}
.ace-provider dt { color: #273249; background: var(--ace-lilac); }
.ace-provider dd { background: var(--ace-sheet); }
.ace-provider a { overflow-wrap: anywhere; }
.ace-proof-chain {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1rem;
}
.ace-proof {
  padding: 1.35rem;
  border-left: 5px solid var(--ace-cobalt);
  background: var(--ace-sheet);
}
.ace-proof:nth-child(even) { border-color: var(--ace-persimmon); }
.ace-proof h3 { font-size: 1.16rem; }
.ace-table-wrap { max-width: 100%; overflow-x: auto; border: 1px solid var(--ace-line); background: var(--ace-sheet); }
table { width: 100%; min-width: 760px; border-collapse: collapse; }
caption { padding: .9rem; text-align: left; color: var(--ace-ink); }
th, td { padding: .85rem; border-top: 1px solid var(--ace-line); text-align: left; vertical-align: top; }
th { color: #fff; background: var(--ace-ink); font: 700 .75rem/1.35 var(--ace-ui); }
tbody tr:nth-child(even) { background: #f4f0ff; }
.ace-faq { max-width: 900px; }
.ace-faq details { border-top: 1px solid var(--ace-line); padding: 1rem 0; }
.ace-faq summary { cursor: pointer; font: 800 1.03rem/1.45 var(--ace-display); }
.ace-faq details p { max-width: var(--ace-reading); }
.ace-source-list { padding-left: 1.25rem; }
.ace-source-list li { margin-bottom: .75rem; overflow-wrap: anywhere; }
.ace-page-hero { padding: clamp(3.5rem, 8vw, 7rem) 0 3rem; }
.ace-page-hero h1 { max-width: 18ch; margin-left: 0; font-size: clamp(2.1rem, 4.2vw, 3.8rem); }
.ace-page-hero .ace-deck { margin-left: 0; }
.ace-prose { max-width: var(--ace-reading); }
.ace-prose h2 { margin-top: 3.2rem; }
.ace-prose h3 { margin-top: 2.2rem; }
.ace-list { padding-left: 1.25rem; }
.ace-list li { margin-bottom: .65rem; }
.ace-site-footer { padding: 3rem 0; color: #f8fbfa; background: var(--ace-ink); }
.ace-footer-grid { display: grid; grid-template-columns: 1.2fr 2fr; gap: 2rem; }
.ace-site-footer a { color: #d8e6ff; }
.ace-footer-links { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: .5rem 1.25rem; }
.ace-site-footer p { max-width: 70ch; }
.ace-small { font: .76rem/1.6 var(--ace-ui); }

@media (max-width: 860px) {
  .ace-header-inner { align-items: flex-start; flex-direction: column; padding-block: 1rem; }
  .ace-nav { justify-content: flex-start; }
  .ace-boundary-grid, .ace-workstreams, .ace-choreography, .ace-check-grid { grid-template-columns: 1fr 1fr; }
  .ace-proof-chain { grid-template-columns: 1fr 1fr; }
  .ace-footer-grid { grid-template-columns: 1fr; }
}
@media (max-width: 620px) {
  :root { --ace-shell: min(100% - 1.5rem, 1180px); }
  body { font-size: 1rem; }
  h1 { font-size: clamp(2.25rem, 10.4vw, 2.95rem); overflow-wrap: anywhere; }
  .ace-header-inner { gap: .8rem; }
  .ace-nav { gap: .55rem .85rem; }
  .ace-boundary-grid, .ace-workstreams, .ace-choreography, .ace-check-grid, .ace-proof-chain { grid-template-columns: 1fr; }
  .ace-lattice { grid-template-columns: 2.25rem minmax(0, 1fr); column-gap: .65rem; }
  .ace-lattice::before { left: 1.125rem; transform: translateX(-1px); }
  .ace-lattice-node { grid-column: 1; }
  .ace-lattice-entry, .ace-lattice-entry:nth-of-type(4n + 1), .ace-lattice-entry:nth-of-type(4n + 3) { grid-column: 2; }
  .ace-provider { grid-template-columns: 2.8rem minmax(0, 1fr); gap: .75rem; }
  .ace-provider dl { display: block; }
  .ace-provider dt { border-bottom: 0; }
  .ace-provider dd { padding-top: .35rem; }
  .ace-footer-links { grid-template-columns: 1fr; }
}
@media print {
  .ace-site-header, .ace-jumps, .ace-site-footer { display: none; }
  body { color: #000; background: #fff; font-size: 11pt; }
  .ace-section { break-inside: avoid; padding: 1.5rem 0; }
  a { color: #000; text-decoration: none; }
  .ace-provider { break-inside: avoid; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: .01ms !important; transition-duration: .01ms !important; }
}