:root {
  color-scheme: light;
  --paper: #f7f5ee;
  --ink: #282721;
  --muted: #6d6b62;
  --line: #d2d0c5;
  --soft: #eeece3;
  --accent: #bd3420;
  --sans: 'Helvetica Neue', Helvetica, Arial, sans-serif;
  --mono: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace;
  --serif: 'Iowan Old Style', 'Palatino Linotype', 'Book Antiqua', Georgia, serif;
}
* {
  box-sizing: border-box;
}
html {
  scroll-padding-top: 30px;
}
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font:
    16px/1.6 'Helvetica Neue',
    Helvetica,
    Arial,
    sans-serif;
  -webkit-font-smoothing: antialiased;
}
::selection {
  color: var(--paper);
  background: var(--accent);
}
a {
  color: inherit;
  text-decoration-thickness: 1px;
  text-underline-offset: 5px;
}
a:hover {
  color: var(--accent);
}
a:focus-visible,
input:focus-visible,
button:focus-visible,
summary:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 5px;
}
main:focus {
  outline: none;
}
.skip-link {
  position: absolute;
  top: -100px;
  left: 24px;
  z-index: 10;
  padding: 12px;
  color: var(--paper);
  background: var(--ink);
}
.skip-link:focus {
  top: 12px;
}
.site-header,
main,
.site-footer {
  width: min(1280px, calc(100% - 112px));
  margin-inline: auto;
}
.site-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  min-height: 112px;
  gap: 24px;
  border-bottom: 1px solid var(--ink);
}
.identity {
  display: flex;
  align-items: center;
  gap: 13px;
  font-size: 15px;
  line-height: 1.2;
  letter-spacing: -0.035em;
  font-weight: 650;
  text-decoration: none;
}
.identity img {
  flex: none;
}
.identity-dot {
  color: var(--accent);
}
nav {
  display: flex;
  flex-wrap: wrap;
  gap: 26px;
}
.site-header nav a {
  padding: 12px 0;
  text-decoration: none;
  font: 12px/1.5 var(--mono);
}
.site-header nav a[aria-current='page'] {
  color: var(--accent);
  text-decoration: underline;
  text-underline-offset: 9px;
}
h1,
h2,
h3,
p,
figure {
  margin: 0;
}
h1 {
  font-size: clamp(38px, 5.2vw, 68px);
  line-height: 1.06;
  font-weight: 500;
  letter-spacing: -0.055em;
  overflow-wrap: anywhere;
}
h2 {
  font-size: 32px;
  line-height: 1.15;
  letter-spacing: -0.035em;
  font-weight: 500;
}
h3 {
  font-size: 20px;
  line-height: 1.35;
  font-weight: 500;
  letter-spacing: -0.025em;
}
em {
  font-family: var(--serif);
  font-weight: 400;
  letter-spacing: -0.045em;
}
p {
  max-width: 76ch;
}
.eyebrow,
.meta,
.edition,
.figure-heading,
figcaption,
.section-index > span,
.step-number,
.sheet-heading,
.state-label {
  font: 11px/1.6 var(--mono);
  color: var(--muted);
}
.eyebrow {
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.edition {
  display: flex;
  justify-content: space-between;
  padding: 15px 0;
  font-size: 10px;
  letter-spacing: 0.07em;
  text-transform: uppercase;
}
.hero {
  display: grid;
  grid-template-columns: 1.15fr 1fr;
  align-items: center;
  gap: 50px;
  padding: 56px 0 72px;
}
.hero-copy > .eyebrow {
  display: flex;
  align-items: center;
  gap: 12px;
  margin-bottom: 24px;
}
.accent-rule {
  display: inline-block;
  width: 24px;
  height: 2px;
  background: var(--accent);
}
.hero h1 {
  font-size: clamp(42px, 4.9vw, 70px);
  white-space: nowrap;
}
.hero h1 em {
  color: var(--accent);
}
.hero-intro {
  font-size: 19px;
  line-height: 1.5;
  margin-top: 27px;
  letter-spacing: -0.02em;
}
.hero-description {
  max-width: 44ch;
  margin-top: 12px;
  color: var(--muted);
  font-size: 14px;
}
.hero-links {
  display: flex;
  flex-wrap: wrap;
  gap: 25px;
  margin-top: 30px;
  font-size: 12px;
}
.text-action {
  color: var(--accent);
  font-weight: 550;
}
.text-action span {
  margin-left: 16px;
}
.topology {
  min-width: 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.figure-heading {
  display: flex;
  justify-content: space-between;
  padding: 13px 0;
  font-size: 10px;
}
.topology svg {
  display: block;
  width: 100%;
  height: auto;
  overflow: visible;
  color: var(--muted);
}
.diagram-guides {
  fill: none;
  stroke: var(--line);
  stroke-width: 0.6;
}
.diagram-path {
  fill: none;
  stroke: var(--ink);
  stroke-width: 1.2;
}
.diagram-next,
.diagram-arrow {
  fill: none;
  stroke: var(--accent);
  stroke-width: 1.6;
}
.diagram-next {
  stroke-dasharray: 3 4;
}
.node {
  fill: var(--paper);
  stroke: var(--ink);
  stroke-width: 1.2;
}
.node-solid,
.node-center {
  fill: var(--ink);
}
.checkpoint-node {
  fill: var(--accent);
}
.diagram-label {
  font: 11px var(--mono);
  fill: var(--ink);
}
.next-label {
  fill: var(--accent);
}
.topology figcaption {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 10px;
  padding: 13px 0;
  font-size: 9px;
}
.topology figcaption > span {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}
.legend-dot,
.legend-square {
  display: inline-block;
  width: 6px;
  height: 6px;
  border: 1px solid var(--ink);
}
.legend-dot {
  border-radius: 50%;
}
.legend-square {
  border-color: var(--accent);
  background: var(--accent);
}
.entry {
  display: grid;
  grid-template-columns: 1fr 2.15fr;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
  padding: 32px 0;
  gap: 38px;
}
.section-index {
  border-right: 1px solid var(--line);
  padding-right: 28px;
}
.section-index h2 {
  font-size: 27px;
  margin: 15px 0 22px;
}
.section-index > a {
  font-size: 12px;
}
.entry-query > .meta {
  margin-top: 19px;
}
.search-form label {
  display: block;
  font-size: 14px;
  margin-bottom: 12px;
}
.search {
  display: flex;
  align-items: stretch;
  gap: 12px;
  margin-bottom: 16px;
}
input,
button {
  font: inherit;
  border-radius: 0;
}
input {
  background: transparent;
  color: var(--ink);
  border: 1px solid var(--line);
  width: 100%;
  min-width: 0;
  padding: 16px;
}
input::placeholder {
  color: var(--muted);
  opacity: 1;
  font-size: 13px;
}
input[type='search'] {
  border-right: 1px solid var(--line);
}
button {
  cursor: pointer;
  border: 1px solid var(--accent);
  padding: 14px 20px;
  background: var(--accent);
  color: #fffaf0;
  font-size: 12px;
  white-space: nowrap;
}
button:hover {
  background: var(--ink);
  border-color: var(--ink);
}
button span {
  margin-left: 16px;
}
summary {
  width: fit-content;
  cursor: pointer;
  color: var(--muted);
  font-size: 12px;
  text-underline-offset: 4px;
}
summary:hover {
  color: var(--accent);
}
.filter-fields {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 20px;
  padding-top: 20px;
}
.filter-fields label {
  font: 11px/1.5 var(--mono);
}
.filter-fields input {
  font-size: 13px;
  padding: 12px;
}
.continuation {
  padding: 63px 0 55px;
}
.section-heading {
  display: grid;
  grid-template-columns: 1fr 1.6fr 1.35fr;
  gap: 30px;
  align-items: start;
  margin-bottom: 40px;
}
.section-heading > p:last-child {
  color: var(--muted);
  font-size: 13px;
  padding-top: 4px;
}
.workflow {
  padding: 0;
  margin: 0;
  list-style: none;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
}
.workflow li {
  position: relative;
  border-top: 1px solid var(--line);
  padding: 23px 30px 0 0;
  margin: 0;
}
.workflow li + li {
  border-left: 1px solid var(--line);
  padding-left: 30px;
}
.workflow li::before {
  position: absolute;
  content: '';
  top: -3px;
  left: 0;
  width: 5px;
  height: 5px;
  background: var(--ink);
}
.step-number {
  display: block;
  margin-bottom: 18px;
  color: var(--accent);
}
.workflow h3 a {
  text-decoration: none;
}
.workflow h3 a span {
  font-size: 14px;
  margin-left: 5px;
  color: var(--muted);
}
.workflow p {
  font-size: 13px;
  color: var(--muted);
  margin: 13px 0 22px;
  max-width: 36ch;
}
code {
  font: 12px/1.6 var(--mono);
  overflow-wrap: anywhere;
}
.workflow code {
  color: var(--muted);
  font-size: 10px;
}
.protocol-entry {
  display: grid;
  grid-template-columns: 1fr 1.35fr;
  gap: 70px;
  padding: 44px;
  border: 1px solid var(--line);
  background: var(--soft);
}
.protocol-entry h2 {
  margin: 16px 0;
  font-size: 36px;
}
.protocol-entry p:not(.eyebrow) {
  font-size: 13px;
  color: var(--muted);
}
.protocol-entry .text-action {
  display: inline-block;
  margin-top: 25px;
  font-size: 12px;
}
.request-sheet {
  border: 1px solid var(--line);
  background: var(--paper);
  align-self: center;
}
.sheet-heading {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  justify-content: space-between;
  padding: 14px 20px;
  border-bottom: 1px solid var(--line);
  font-size: 10px;
}
.request-sheet pre {
  border: 0;
  background: none;
  padding: 25px 20px;
  margin: 0;
}
.request-sheet pre code {
  font-size: 14px;
}
.http-method {
  color: var(--accent);
}
.request-sheet > p {
  margin: 0 20px 23px;
}
.machine-links {
  display: flex;
  gap: 25px;
  flex-wrap: wrap;
  border-top: 1px solid var(--line);
  padding: 14px 20px;
  font: 11px/1.6 var(--mono);
}
.invariants {
  display: flex;
  gap: 24px;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  padding: 28px 0;
}
.invariants p {
  font-size: 12px;
}
.invariants p span {
  margin-inline: 9px;
  color: var(--line);
}
.invariants > a {
  font-size: 11px;
}
.site-footer {
  border-top: 1px solid var(--ink);
  margin-top: 38px;
  padding: 26px 0 30px;
}
.footer-line {
  display: flex;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: 16px;
  align-items: center;
}
.footer-line + .footer-line {
  margin-top: 20px;
}
.footer-signature {
  font-family: var(--serif);
  font-style: italic;
  font-size: 22px;
  letter-spacing: -0.025em;
}
.footer-line p,
.site-footer nav {
  color: var(--muted);
  font-size: 11px;
}
.site-footer nav {
  gap: 18px;
}
.document {
  min-height: 65vh;
  padding: 55px 0 40px;
}
.document > .eyebrow {
  margin-bottom: 16px;
}
.document > h1 {
  max-width: 20ch;
  margin-bottom: 30px;
}
.document > p {
  margin: 19px 0;
  font-size: 15px;
  max-width: 80ch;
}
.document > h2 {
  padding-top: 28px;
  margin: 32px 0 18px;
  border-top: 1px solid var(--line);
  max-width: 880px;
}
.document > pre,
.document > table,
.document > ul,
.document > ol {
  max-width: 880px;
}
.document-nav {
  border-block: 1px solid var(--line);
  padding: 16px 0;
  margin: 20px 0 30px;
  font: 11px/1.6 var(--mono);
}
.document > .search-form {
  padding: 28px;
  border: 1px solid var(--line);
  margin: 30px 0 40px;
  background: var(--soft);
}
.document > .search-form .search {
  max-width: 850px;
}
.rooms {
  list-style: none;
  padding: 0;
  margin: 30px 0;
}
.rooms li {
  border-top: 1px solid var(--line);
  margin: 0;
  padding: 25px 0 30px;
}
.room-kicker {
  display: flex;
  gap: 16px;
  align-items: center;
  margin-bottom: 14px;
}
.state-label {
  display: inline-block;
  padding: 3px 8px;
  border: 1px solid var(--line);
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--ink);
}
.rooms h2 {
  font-size: 28px;
  margin-bottom: 12px;
}
.rooms h2 a {
  text-decoration: none;
}
.rooms li > p:not(.meta) {
  color: var(--muted);
  margin-bottom: 18px;
}
.rooms .meta {
  overflow-wrap: anywhere;
}
.empty {
  display: flex;
  align-items: start;
  gap: 28px;
  padding: 40px 0;
}
.empty-symbol {
  font-family: var(--serif);
  color: var(--accent);
  font-size: 65px;
  line-height: 1;
}
.empty h2 {
  font-size: 28px;
  margin-bottom: 14px;
}
.empty p {
  margin-bottom: 12px;
  color: var(--muted);
  font-size: 14px;
}
pre {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  background: var(--soft);
  border: 1px solid var(--line);
  padding: 25px;
  font: 12px/1.85 var(--mono);
}
.notice {
  padding: 18px 22px;
  border-left: 2px solid var(--accent);
  background: var(--soft);
  font-size: 13px !important;
}
.document > .status {
  font: 44px/1.2 var(--mono);
  letter-spacing: -0.05em;
  padding: 25px 0;
  border-block: 1px solid var(--line);
}
.document li {
  margin-bottom: 15px;
}
.document li p {
  margin-block: 12px;
}
.task-list,
.event-list {
  list-style: none;
  padding: 0;
}
.task-list li,
.event-list li {
  border-bottom: 1px solid var(--line);
  padding: 17px 0;
}
.event-list li {
  border-left: 1px solid var(--line);
  padding-left: 25px;
  position: relative;
}
.event-list li::before {
  position: absolute;
  content: '';
  width: 5px;
  height: 5px;
  background: var(--accent);
  left: -3px;
  top: 23px;
}
.event-list a {
  display: block;
  overflow-wrap: anywhere;
  font-size: 13px;
}
table {
  border-collapse: collapse;
  width: 100%;
  font-size: 13px;
}
th {
  font: 11px/1.5 var(--mono);
  text-transform: uppercase;
  color: var(--muted);
}
td,
th {
  text-align: left;
  vertical-align: top;
  padding: 15px 12px 15px 0;
  border-bottom: 1px solid var(--line);
  overflow-wrap: anywhere;
}
.not-found {
  display: grid;
  grid-template-columns: 1fr 1fr;
  align-items: center;
  gap: clamp(32px, 6vw, 88px);
  padding: 40px 0 80px;
}
.lost-path {
  color: var(--accent);
  border-block: 1px solid var(--line);
  padding: 20px 0;
  text-align: center;
}
.lost-path-code {
  font: italic clamp(110px, 17vw, 230px)/1.15 var(--serif);
  letter-spacing: -0.08em;
  padding-right: 0.08em;
}
.lost-path svg {
  display: block;
  width: 100%;
  margin-bottom: 24px;
}
.not-found-copy h1 em {
  color: var(--accent);
}
.not-found-copy > p {
  max-width: 40ch;
}
.not-found-copy .not-found-resources {
  margin-top: 36px;
  font-size: 12px;
  color: var(--muted);
}
@media (max-width: 760px) {
  .not-found {
    grid-template-columns: 1fr;
    padding: 0 0 28px;
    gap: 36px;
  }
  .lost-path-code {
    font-size: 130px;
  }
  .lost-path svg {
    height: 40px;
    margin-bottom: 12px;
  }
}
@media (min-width: 1600px) {
  .hero {
    padding-block: 72px 88px;
  }
}
@media (max-width: 1100px) {
  .site-header,
  main,
  .site-footer {
    width: calc(100% - 64px);
  }
  .hero {
    gap: 25px;
  }
  .hero h1 {
    font-size: clamp(38px, 5vw, 58px);
  }
  .hero-intro {
    font-size: 16px;
  }
  .section-heading {
    grid-template-columns: 1fr 2.15fr;
  }
  .section-heading > p:last-child {
    grid-column: 2;
  }
  .protocol-entry {
    padding: 30px;
    gap: 32px;
  }
  .workflow h3 {
    font-size: 18px;
  }
}
@media (max-width: 760px) {
  .site-header,
  main,
  .site-footer {
    width: calc(100% - 40px);
  }
  .site-header {
    flex-wrap: wrap;
    padding-block: 22px 16px;
    gap: 18px;
    min-height: 0;
  }
  .site-header nav {
    gap: clamp(9px, 3vw, 16px);
  }
  .site-header nav a {
    font-size: clamp(10px, 2.82vw, 11px);
    padding-block: 6px;
  }
  .edition {
    font-size: 9px;
    gap: 20px;
  }
  .edition span:last-child {
    text-align: right;
    max-width: 145px;
  }
  .hero {
    grid-template-columns: 1fr;
    padding: 33px 0 40px;
    gap: 40px;
  }
  .hero h1 {
    font-size: clamp(37px, 7.7vw, 62px);
  }
  .hero-intro {
    font-size: 18px;
  }
  .hero-description {
    max-width: 52ch;
  }
  .topology {
    max-width: 550px;
    width: 100%;
  }
  .hero-links {
    gap: 25px;
  }
  .entry {
    grid-template-columns: 1fr;
    gap: 25px;
    padding: 27px 0;
  }
  .section-index {
    border-right: 0;
    padding: 0;
  }
  .section-index h2 {
    font-size: 28px;
  }
  .section-index h2 br {
    display: none;
  }
  .search-form label {
    font-size: 13px;
  }
  .search {
    flex-wrap: wrap;
    gap: 10px;
  }
  .search input {
    border-right: 1px solid var(--line);
  }
  .search button {
    width: 100%;
    display: flex;
    justify-content: space-between;
  }
  .filter-fields {
    grid-template-columns: 1fr;
  }
  .continuation {
    padding-block: 40px;
  }
  .section-heading {
    grid-template-columns: 1fr;
    gap: 18px;
    margin-bottom: 25px;
  }
  .section-heading > p:last-child {
    grid-column: 1;
  }
  .workflow {
    grid-template-columns: 1fr;
  }
  .workflow li,
  .workflow li + li {
    padding: 23px 0;
    border-left: 0;
  }
  .workflow p {
    max-width: 52ch;
  }
  .protocol-entry {
    grid-template-columns: 1fr;
    gap: 26px;
    padding: 24px 18px;
  }
  .protocol-entry h2 {
    font-size: 34px;
  }
  .sheet-heading,
  .machine-links {
    padding: 13px;
  }
  .machine-links {
    gap: 18px;
  }
  .request-sheet pre {
    padding: 23px 13px;
  }
  .request-sheet pre code {
    font-size: 12px;
  }
  .request-sheet > p {
    margin-inline: 13px;
  }
  .invariants {
    gap: 13px;
  }
  .invariants p {
    line-height: 2;
  }
  .invariants p span {
    margin-inline: 4px;
  }
  .document {
    padding-top: 36px;
  }
  .document h1 {
    font-size: 42px;
  }
  .document > .search-form {
    padding: 20px;
  }
  .document-nav {
    gap: 16px;
  }
  .empty {
    gap: 18px;
  }
  .empty h2 {
    font-size: 25px;
  }
  .site-footer {
    margin-top: 20px;
  }
}
@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
  }
}
@media (forced-colors: active) {
  .checkpoint-node,
  .node-solid,
  .node-center {
    fill: CanvasText;
  }
  .diagram-path,
  .diagram-next,
  .diagram-arrow,
  .node {
    stroke: CanvasText;
  }
  .diagram-label {
    fill: CanvasText;
  }
}
@media print {
  .site-header,
  .site-footer,
  .hero-links,
  .search-form,
  .skip-link {
    display: none;
  }
  main {
    width: 100%;
  }
  body {
    background: #fff;
  }
  .hero h1 {
    white-space: normal;
  }
}

/* Field notes: a numbered index and a quiet reading column. */
.home-articles {
  border-top: 1px solid var(--line);
  padding: 48px 0;
}
.home-articles > .section-heading {
  margin-bottom: 32px;
}
.article-list {
  list-style: none;
  margin: 36px 0;
  padding: 0;
}
.article-list > li {
  display: grid;
  grid-template-columns: 52px 1fr;
  gap: 24px;
  border-top: 1px solid var(--line);
  padding: 28px 0;
  margin: 0;
}
.article-number {
  color: var(--accent);
  font: italic 28px/1 var(--serif);
}
.article-list h2 {
  font: 500 clamp(23px, 2.5vw, 34px)/1.2 var(--sans);
  letter-spacing: -0.035em;
  margin: 12px 0;
  max-width: 32ch;
}
.article-list h2 a {
  text-decoration: none;
}
.article-list p:not(.meta) {
  color: var(--muted);
  max-width: 65ch;
  margin: 0 0 18px;
  font-size: 14px;
}
.article-list .text-action {
  font-size: 12px;
}
.breadcrumbs {
  display: flex;
  gap: 15px;
  font: 11px/1.6 var(--mono);
  margin-bottom: 40px;
  color: var(--muted);
}
.article-header {
  max-width: 920px;
  margin-bottom: 44px;
}
.article-header h1 {
  font-size: clamp(36px, 4.8vw, 64px);
  max-width: 24ch;
}
.article-deck {
  color: var(--muted);
  font-size: 19px;
  line-height: 1.6;
  max-width: 62ch;
  margin-top: 24px;
}
.article-byline {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 24px;
  margin-top: 26px;
  font: 10px/1.7 var(--mono);
  color: var(--muted);
}
.article-layout {
  display: grid;
  grid-template-columns: minmax(160px, 240px) minmax(0, 700px);
  gap: clamp(30px, 6vw, 88px);
  border-top: 1px solid var(--line);
  padding-top: 36px;
}
.article-contents {
  align-self: start;
  display: grid;
  gap: 16px;
  font-size: 12px;
}
.article-contents a {
  color: var(--muted);
  text-decoration: none;
  line-height: 1.6;
}
.article-body {
  font-size: 16px;
  line-height: 1.8;
  min-width: 0;
}
.article-body p,
.article-body ul,
.article-body ol,
.article-body pre {
  margin: 0 0 24px;
}
.article-body h2 {
  font-size: 30px;
  margin: 44px 0 20px;
  scroll-margin-top: 24px;
}
.article-body h3 {
  font-size: 22px;
  margin: 30px 0 18px;
}
.article-body li {
  margin-bottom: 10px;
}
.article-body :not(pre) > code {
  overflow-wrap: anywhere;
}
.article-related {
  border-top: 1px solid var(--line);
  margin-top: 64px;
  padding-top: 36px;
}
@media (max-width: 760px) {
  .article-layout {
    grid-template-columns: 1fr;
    gap: 32px;
  }
  .article-contents {
    border-bottom: 1px solid var(--line);
    padding-bottom: 28px;
  }
  .article-list > li {
    grid-template-columns: 28px minmax(0, 1fr);
    gap: 16px;
  }
  .article-deck {
    font-size: 17px;
  }
  .article-header {
    margin-bottom: 30px;
  }
}