/* Long-form chapters and editorial structures. */
.paper-section {
  border-top: 1px solid var(--line);
  padding: 94px 0;
  scroll-margin-top: 68px;
}
.paper-section:nth-child(even) { background: transparent; }
.chapter-head {
  display: grid;
  row-gap: 14px;
  grid-template-columns: var(--marker-column)
    minmax(0, var(--reading-measure))
    minmax(var(--marker-column), 1fr);
  width: 100%;
  max-width: var(--wide-measure);
  margin-inline: auto;
  column-gap: var(--layout-gap);
  margin-bottom: 52px;
}
.chapter-title-block { grid-column: 2; }
.chapter-head h2 {
  max-width: 900px;
  font-size: var(--font-size-section-title);
}
.chapter-head .chapter-lede {
  margin: 18px 0 0;
  max-width: 880px;
  color: var(--ink);
  font-size: var(--font-size-body);
  hyphens: auto;
  line-height: 1.72;
}
.paper-body {
  display: grid;
  grid-template-columns: var(--marker-column)
    minmax(0, var(--reading-measure))
    minmax(var(--marker-column), 1fr);
  column-gap: var(--layout-gap);
  row-gap: 30px;
  width: 100%;
  max-width: var(--wide-measure);
  margin-inline: auto;
}
.paper-body > p, .prose {
  max-width: 880px;
  color: var(--ink);
  font-size: var(--font-size-body);
  hyphens: auto;
  line-height: 1.72;
}
.paper-body a {
  color: inherit;
  text-decoration-color: var(--blue-structural);
  text-decoration-thickness: 1px;
  text-underline-offset: 3px;
}
.paper-body em { color: inherit; }
.argument-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  border: 1px solid var(--line);
  overflow: hidden;
  border-radius: 0;
}
.argument-grid article {
  min-height: 210px;
  padding: 22px;
  background: transparent;
}
.argument-grid article + article { border-left: 1px solid var(--line); }
.argument-grid code {
  color: var(--blue-structural);
  font: var(--font-size-metadata) ui-monospace, monospace;
  letter-spacing: .08em;
}
.argument-grid .component-heading { margin-bottom: 10px; }
.argument-grid h3 { font-size: var(--font-size-card-title); }
.argument-grid p {
  color: var(--muted);
  line-height: 1.65;
  font-size: var(--font-size-supporting);
}
.case-layout {
  display: grid;
  gap: 24px;
  align-items: start;
  grid-template-columns: minmax(0, 1fr);
}
.formal-box {
  max-width: 900px;
  padding: 20px 22px;
  border: 0;
  border-left: 2px solid var(--violet);
  border-radius: 0;
  background: color-mix(in srgb, var(--violet) 4%, transparent);
}
.formal-box > code {
  color: var(--violet);
  font: var(--font-size-metadata) ui-monospace, monospace;
  letter-spacing: .08em;
}
.formal-box p {
  margin: 15px 0 0;
  color: var(--muted);
  line-height: 1.7;
  font-size: var(--font-size-body);
}
.decision-record {
  max-width: 1080px;
  border: 1px solid var(--line);
  overflow: hidden;
  margin-inline: auto;
  border-radius: 0;
  background: transparent;
}
.decision-record + .decision-record { margin-top: 18px; }
.decision-record > header {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 5px;
  padding: 19px 22px;
  border-bottom: 1px solid var(--line);
  background: var(--panel-2);
}
.decision-record > header code {
  color: var(--blue-structural);
  font: var(--font-size-metadata) ui-monospace, monospace;
}
.decision-record > header h3 {
  margin: 0;
  font-size: var(--font-size-card-title);
}
.decision-columns {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.decision-columns section {
  padding: 18px;
  min-height: 150px;
}
.decision-columns section + section { border-left: 1px solid var(--line); }
.decision-columns h4 {
  margin: 0 0 10px;
  color: var(--faint);
  font: var(--font-size-metadata) ui-monospace, monospace;
  letter-spacing: .07em;
  text-transform: uppercase;
}
.decision-columns p, .decision-columns li {
  color: var(--muted);
  line-height: 1.6;
  font-size: var(--font-size-supporting);
}
.decision-columns ul {
  margin: 0;
  padding-left: 16px;
}
.limitation-box {
  max-width: 1000px;
  margin-inline: auto;
  padding: 19px 22px;
  border: 0;
  border-left: 2px solid var(--pink-signature);
  border-radius: 0;
  background: color-mix(in srgb, var(--pink-signature) 4%, transparent);
}
.limitation-box h4 {
  margin-top: 0;
  color: var(--pink-text);
  font: var(--font-size-metadata) ui-monospace, monospace;
  text-transform: uppercase;
  letter-spacing: .08em;
}
.limitation-box p, .limitation-box li {
  color: var(--muted);
  line-height: 1.68;
  font-size: var(--font-size-supporting);
}
.limitation-box ul {
  margin-bottom: 0;
  padding-left: 19px;
}
.eyebrow {
  display: block;
  margin-bottom: 12px;
  color: var(--blue-structural);
  font-family: var(--sans-font);
  font-size: var(--font-size-metadata);
  font-weight: 700;
  letter-spacing: .045em;
  line-height: 1.3;
  text-transform: uppercase;
}
.eyebrow::before { content: none; }

/* Reading field and wide-structure alignment. */
/* Essay alignment contract:
 * - column 1 and its gap form the marker gutter;
 * - column 2 is the single reading rail;
 * - wide structures extend by one marker gutter on each side.
 * - the resulting wide measure is centered in the page shell. */
.paper-section .paper-body > * {
  grid-column: 2;
  width: 100%;
  max-width: var(--reading-measure);
  min-width: 0;
  margin: 0;
}
.paper-body > [id] { scroll-margin-top: 72px; }
.paper-section .paper-body > .layout-wide,
.paper-section .paper-body > .formal-box:has(> .layout-wide) {
  grid-column: 2;
  width: calc(
    100% + var(--wide-overhang) + var(--wide-overhang)
  );
  max-width: none;
  margin-left: calc(0px - var(--wide-overhang));
}
.paper-section .paper-body > .formal-box:has(> .layout-wide) {
  display: grid;
  grid-template-columns: var(--wide-overhang)
    minmax(0, 1fr)
    var(--wide-overhang);
  padding-inline: 0;
}
.paper-section .paper-body > .formal-box:has(> .layout-wide) > :not(.layout-wide) {
  grid-column: 2;
}
.paper-section .paper-body > .formal-box:has(> .layout-wide) > .layout-wide {
  grid-column: 1 / -1;
  width: calc(100% - 44px);
  margin-inline: auto;
}
.paper-section .paper-body > h3 {
  margin: 28px 0 0;
  font-size: var(--font-size-subsection-title);
  letter-spacing: -.012em;
}
.paper-section .paper-body > h3:first-child { margin-top: 0; }
.paper-section .paper-body > h4 {
  margin: 0;
  color: var(--ink);
  font-size: var(--font-size-body);
}
.paper-body a:hover { color: var(--blue-structural); }
.argument-grid:has(> article:nth-child(4):last-child) {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.argument-grid:has(> article:nth-child(4):last-child) article:nth-child(3) {
  border-top: 1px solid var(--line);
  border-left: 0;
}
.argument-grid:has(> article:nth-child(4):last-child) article:nth-child(4) {
  border-top: 1px solid var(--line);
}
.decision-columns section:nth-child(odd) { border-left: 0; }
.decision-columns section:nth-child(n + 3) { border-top: 1px solid var(--line); }
.argument-grid code,
.decision-record > header code,
.decision-columns h4 {
  font-size: var(--font-size-metadata);
}

/* References. */
.references {
  margin: 0;
  padding: 0 0 0 30px;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}
.references li {
  margin: 0;
  padding: 14px 4px 14px 8px;
  color: var(--ink);
  font-size: var(--font-size-body);
  line-height: 1.66;
}
.references li + li { border-top: 1px solid var(--line); }
.references li::marker {
  color: var(--pink-text);
  font-family: var(--mono-font);
  font-size: var(--font-size-metadata);
  font-weight: 700;
}
.references strong {
  font-family: var(--sans-font);
  font-size: var(--font-size-supporting);
}
.references code { font-size: var(--font-size-technical); }

/* Editorial alternatives to repeated static cards. */
.ruled-definitions,
.plane-list,
.comparison-list,
.term-list {
  margin: 0;
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}
.ruled-definitions > div,
.plane-list > div,
.term-list > div {
  display: grid;
  grid-template-columns: minmax(190px, .72fr) minmax(0, 1.28fr);
  gap: 24px;
  padding: 17px 0 19px;
}
.ruled-definitions > div + div,
.plane-list > div + div,
.term-list > div + div {
  border-top: 1px solid var(--line);
}
.ruled-definitions dt,
.plane-list dt,
.comparison-list dt,
.term-list dt { margin: 0; }
.ruled-definitions dt code,
.plane-list dt code,
.comparison-list dt code {
  display: block;
  margin-bottom: 7px;
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata)/1.35 var(--mono-font);
  letter-spacing: .065em;
}
.ruled-definitions dt strong,
.plane-list dt strong,
.comparison-list dt strong {
  display: block;
  color: var(--ink);
  font: 700 var(--font-size-supporting)/1.35 var(--sans-font);
}
.ruled-definitions dd,
.plane-list dd,
.comparison-list dd,
.term-list dd {
  margin: 0;
  color: var(--muted);
  font: var(--font-size-supporting)/1.58 var(--serif-font);
}
.term-list dt {
  color: var(--ink);
  font: 700 var(--font-size-supporting)/1.4 var(--sans-font);
}
.comparison-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.comparison-list > div { padding: 20px 22px 22px; }
.comparison-list > div + div { border-left: 1px solid var(--line); }

/* Ordered processes, run traces, and branches. */
.process-list {
  position: relative;
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: process-step;
}
.process-list::before {
  content: "";
  position: absolute;
  top: 18px;
  bottom: 18px;
  left: 20px;
  width: 2px;
  background: var(--blue-structural);
}
.process-list > li {
  position: relative;
  display: grid;
  grid-template-columns: 42px minmax(0, 1fr);
  gap: 18px;
  min-height: 84px;
  padding: 0 0 28px;
  counter-increment: process-step;
}
.process-list > li:last-child { padding-bottom: 0; }
.process-list > li::before {
  content: counter(process-step, decimal-leading-zero);
  position: relative;
  z-index: 1;
  display: grid;
  place-items: center;
  width: 42px;
  height: 42px;
  border: 1px solid var(--blue-structural);
  background: var(--panel);
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata) var(--mono-font);
}
.process-list > li > div {
  padding: 0 0 24px;
  border-bottom: 1px solid var(--line);
}
.process-list > li:last-child > div { border-bottom: 0; }
.process-list code,
.process-branch code {
  display: block;
  margin-bottom: 5px;
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata)/1.35 var(--mono-font);
  letter-spacing: .065em;
}
.process-list h4,
.process-branch h4 {
  margin: 0 0 7px;
  font-size: var(--font-size-card-title);
}
.process-list p,
.process-branch section p {
  margin: 0;
  color: var(--muted);
  font: var(--font-size-supporting)/1.58 var(--serif-font);
}
.process-note {
  padding: 13px 0 13px 18px;
  border-left: 2px solid var(--blue-structural);
  color: var(--muted);
  font-size: var(--font-size-supporting);
  line-height: 1.58;
}
.process-note strong { color: var(--ink); }
.run-trace-list > li {
  min-height: 0;
  padding-bottom: 10px;
}
.run-trace-list > li > .run-trace-stage { padding-bottom: 12px; }
.run-trace-list > li:last-child > .run-trace-stage { border-bottom: 0; }
.run-trace-stage {
  display: grid;
  grid-template-columns: minmax(250px, .9fr)
    minmax(180px, .65fr)
    minmax(360px, 1.25fr);
  grid-template-areas: "actor result invariant"
    "action result invariant";
  gap: 4px 24px;
  align-items: start;
}
.run-trace-stage > code { grid-area: actor; }
.run-trace-stage h4 {
  grid-area: action;
  margin-bottom: 0;
}
.run-trace-detail { display: contents; }
.run-trace-detail > p:first-child { grid-area: result; }
.run-trace-invariant {
  grid-area: invariant;
  padding-left: 16px;
  border-left: 2px solid var(--blue-structural);
  color: var(--ink) !important;
}
.run-trace-invariant strong,
.run-trace-invariant span { display: block; }
.run-trace-invariant strong {
  margin-bottom: 5px;
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata)/1.3 var(--sans-font);
  letter-spacing: .065em;
  text-transform: uppercase;
}
.process-branch {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  border-top: 1px solid var(--ink);
  border-bottom: 1px solid var(--ink);
}
.process-branch > p {
  grid-column: 1 / -1;
  margin: 0;
  padding: 9px 0 10px;
  border-bottom: 1px solid var(--line);
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.3 var(--sans-font);
  letter-spacing: .07em;
  text-transform: uppercase;
}
.process-branch section { padding: 18px 20px 20px 0; }
.process-branch section + section {
  padding-left: 20px;
  border-left: 1px solid var(--line);
}

/* Exact-reference and comparison tables. */
.content-table-wrap {
  max-width: 100%;
  overflow-x: auto;
  overscroll-behavior-inline: contain;
  scrollbar-width: thin;
}
.content-table-wrap::before { display: none; }
.content-table {
  width: 100%;
  border-collapse: collapse;
  border-top: 2px solid var(--ink);
  border-bottom: 2px solid var(--ink);
  color: var(--ink);
}
.content-table caption {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}
.content-table th,
.content-table td {
  padding: 14px 15px 16px;
  border-top: 1px solid color-mix(in srgb, var(--line) 62%, transparent);
  text-align: left;
  vertical-align: top;
}
.content-table thead th {
  padding-block: 10px 11px;
  border-top: 0;
  border-bottom: 1px solid var(--ink);
  color: var(--faint);
  font: 700 var(--font-size-metadata)/1.3 var(--sans-font);
  letter-spacing: .075em;
  text-transform: uppercase;
}
.content-table tbody th {
  min-width: 145px;
  font: 700 var(--font-size-supporting)/1.45 var(--sans-font);
}
.content-table tbody th code {
  display: block;
  margin-bottom: 6px;
  color: var(--blue-structural);
  font: 700 var(--font-size-metadata)/1.35 var(--mono-font);
}
.content-table tbody th strong { display: block; }
.content-table td {
  color: var(--muted);
  font: var(--font-size-supporting)/1.52 var(--serif-font);
}
.content-table td strong { color: var(--ink); }
.content-table ul {
  margin: 0;
  padding-left: 18px;
}
.content-table li + li { margin-top: 3px; }
.chapter-print-notation { display: none; }