:root {
  --paper: #EEF1F4;
  --paper-2: #E3E8EE;
  --ink: #1A2230;
  --muted: #566173;
  --rule: #C6CEDA;
  --c0: #3B3478;
  --cm: #3C6E4E;
  --cp: #2F7FA6;
  --debt: #9B3D3D;
  --pole: #B5413F; --pole-fill: #FBECEB; --brace: #8A94A3; --flow: #2F7FA6; --time: #A2660E;
  --link: #2B5F8C;
  --focus: #2F7FA6;
  --measure: 66ch;
  --serif: "STIX Two Text", "Cambria Math", Cambria, Georgia, serif;
  --sans: "Public Sans", system-ui, -apple-system, "Segoe UI", sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root {
    --paper: #141B26;
    --paper-2: #1B2431;
    --ink: #E4E9F0;
    --muted: #9AA6B6;
    --rule: #2E3949;
    --c0: #A39BEA;
    --cm: #86C59E;
    --cp: #72C3E8;
    --debt: #E39090;
    --pole: #E3837C; --pole-fill: #2F1D22; --brace: #6F7B8C; --flow: #72C3E8; --time: #E8B460;
    --link: #8CC4EA;
    --focus: #72C3E8;
  }
}

*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 1.125rem;
  line-height: 1.6;
  font-feature-settings: "kern", "liga", "onum";
}
a { color: var(--link); text-underline-offset: 0.18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; border-radius: 2px; }
img { max-width: 100%; height: auto; display: block; }

.skip { position: absolute; left: -999px; top: 0; background: var(--ink); color: var(--paper); padding: .5rem 1rem; }
.skip:focus { left: 1rem; top: 1rem; z-index: 10; }

/* ---------- header ---------- */
.site-head {
  display: flex; align-items: baseline; justify-content: space-between; gap: 1rem; flex-wrap: wrap;
  max-width: 72rem; margin: 0 auto; padding: 1.25rem 1rem 0;
  font-family: var(--sans); font-size: .9375rem;
}
.wordmark { font-family: var(--serif); font-weight: 700; font-size: 1.25rem; color: var(--ink); text-decoration: none; letter-spacing: .01em; }
.site-head nav ul { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: .25rem 1.25rem; }
.site-head nav a { color: var(--muted); text-decoration: none; }
.site-head nav a:hover { color: var(--ink); text-decoration: underline; }

/* ---------- hero ---------- */
.hero {
  max-width: 72rem; margin: 0 auto; padding: 3rem 1rem 2.5rem;
  display: grid; grid-template-columns: minmax(0, 1fr); gap: 2rem;
}
.hero h1 {
  font-size: clamp(2.75rem, 7vw, 5.25rem); line-height: .98; margin: 0 0 1.25rem;
  font-weight: 600; letter-spacing: -.015em;
}
.hero .lede { font-size: 1.3125rem; line-height: 1.5; max-width: 52ch; margin: 0 0 1.5rem; }
.hero .byline { font-family: var(--sans); font-size: .9375rem; color: var(--muted); margin: 0 0 1.75rem; }
.actions { display: flex; flex-wrap: wrap; gap: .75rem; }
.btn {
  font-family: var(--sans); font-weight: 600; font-size: .9375rem;
  display: inline-block; padding: .7rem 1.1rem; border-radius: 4px; text-decoration: none;
  border: 1.5px solid var(--ink); color: var(--ink);
}
.btn.primary { background: var(--ink); color: var(--paper); }
.btn:hover { text-decoration: underline; }


/* ---------- status band ---------- */
.status {
  background: var(--paper-2); border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule);
}
.status-inner {
  max-width: 72rem; margin: 0 auto; padding: 2rem 1rem;
  display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 1rem 2.5rem; align-items: start;
}
.counter { font-size: clamp(3.5rem, 9vw, 6rem); line-height: .9; font-weight: 700; color: var(--debt); margin: 0; font-variant-numeric: lining-nums; }
.counter small { display: block; font-family: var(--sans); font-size: .875rem; font-weight: 600; color: var(--muted); margin-top: .5rem; line-height: 1.3; max-width: 12ch; }
.status h2 { font-size: 1.375rem; margin: 0 0 .5rem; }
.status p { margin: 0 0 .75rem; max-width: var(--measure); }
.status ol { margin: .25rem 0 .75rem; padding-left: 1.4rem; max-width: var(--measure); }
.status li { margin: .15rem 0; }

/* ---------- reading column with margin tags ---------- */
main section { max-width: 72rem; margin: 0 auto; padding: 3.25rem 1rem 0; }
main section > h2 {
  font-size: clamp(1.625rem, 3.2vw, 2.125rem); line-height: 1.15; margin: 0 0 1.5rem; font-weight: 600;
  max-width: var(--measure); margin-left: var(--gutter, 0);
}
.intro { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); }
.claim { display: grid; grid-template-columns: 10rem minmax(0, var(--measure)); gap: 0 2rem; margin: 0 0 1.75rem; }
.claim .tag { grid-column: 1; padding-top: .3rem; }
.claim .body { grid-column: 2; }
.claim h3 { font-size: 1.25rem; margin: 0 0 .35rem; line-height: 1.3; }
.claim p { margin: 0 0 .6rem; }
@media (min-width: 52rem) { main { --gutter: 12rem; } }

.tag {
  font-family: var(--sans); font-size: .8125rem; font-weight: 600; color: var(--muted);
  display: block; line-height: 1.3;
}
.tag::before { content: ""; display: inline-block; width: .55rem; height: .55rem; border-radius: 50%; margin-right: .45rem; vertical-align: .05em; background: var(--muted); }
.tag.canon::before { background: var(--ink); }
.tag.ruling::before { background: var(--c0); }
.tag.candidate::before { background: transparent; border: 1.5px solid var(--cp); }
.tag.formal::before { background: var(--cm); }
.tag.debt { color: var(--debt); }
.tag.debt::before { background: transparent; border: 1.5px solid var(--debt); }

.phase-name { font-weight: 700; }
.phase-name.p0 { color: var(--c0); } .phase-name.pm { color: var(--cm); } .phase-name.pp { color: var(--cp); }

.legend { max-width: var(--measure); margin: -0.5rem 0 2rem var(--gutter, 0); display: flex; flex-wrap: wrap; gap: .5rem 1.25rem; }
.legend .tag { display: inline-block; }

figure.diagram { margin: 0 0 2rem var(--gutter, 0); max-width: 54rem; }
figure.diagram img { border: 1px solid var(--rule); background: #fff; }
figure.diagram figcaption { font-family: var(--sans); font-size: .875rem; color: var(--muted); margin-top: .5rem; max-width: var(--measure); }

ul.plain { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); padding-left: 1.2rem; }
ul.plain li { margin: .35rem 0; }

.facts { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); border-collapse: collapse; width: 100%; font-variant-numeric: lining-nums tabular-nums; }
.facts th, .facts td { text-align: left; padding: .5rem .75rem .5rem 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
.facts th { font-weight: 600; width: 45%; }

.docs { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); list-style: none; padding: 0; }
.docs li { padding: .9rem 0; border-bottom: 1px solid var(--rule); }
.docs li:first-child { border-top: 1px solid var(--rule); }
.docs .meta { display: block; font-family: var(--sans); font-size: .875rem; color: var(--muted); }

.quote { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); font-size: 1.3125rem; line-height: 1.45; font-style: italic; }

footer {
  max-width: 72rem; margin: 4rem auto 0; padding: 1.5rem 1rem 2.5rem; border-top: 1px solid var(--rule);
  font-family: var(--sans); font-size: .875rem; color: var(--muted);
}
footer p { margin: .25rem 0; max-width: 70ch; }

/* ---------- canonical figure (Core Ontology, Appendix J + chapter 7) ---------- */
.evx-fig { margin: 0; }
.evx-fig svg.evx { max-width: 60rem; margin: 0 auto; }
.evx-fig figcaption { display: flex; gap: 1rem; align-items: flex-start; justify-content: space-between; flex-wrap: wrap; margin-top: .75rem; }
.evx-fig figcaption p { margin: 0; max-width: 70ch; font-size: 1rem; color: var(--muted); }
.evx-replay { font-family: var(--sans); font-size: .875rem; font-weight: 500; color: var(--ink); background: transparent; border: 1px solid var(--rule); border-radius: 4px; padding: .4rem .8rem; cursor: pointer; }
.evx-replay:hover { border-color: var(--ink); }
.evx-read { margin-top: .75rem; max-width: 72rem; }
.evx-read summary { font-family: var(--sans); font-size: .9375rem; font-weight: 600; cursor: pointer; }
.evx-read p { max-width: 70ch; }
.evx-legend { font-family: var(--sans); font-size: .875rem; color: var(--muted); display: grid; grid-template-columns: repeat(auto-fit, minmax(15rem, 1fr)); gap: .3rem 1.5rem; margin: .75rem 0 0; padding: 0; list-style: none; }
.evx-legend b { color: var(--ink); font-family: var(--serif); font-style: italic; font-weight: 400; font-size: 1.05rem; }
.evx{display:block;width:100%;height:auto}
.evx text{fill:var(--ink)}
.evx .sym{font-family:var(--serif);font-style:italic}
.evx .ss{font-size:.62em;font-style:normal}
.evx .psym{font-size:34px}.evx .nsym{font-size:32px}.evx .fsym{font-size:30px}.evx .dsym{font-size:22px;fill:var(--muted)}
.evx .sub{font-family:var(--sans);font-size:15px;fill:var(--muted)}
.evx .flbl{font-family:var(--sans);font-size:16px;font-weight:600;letter-spacing:.02em}
.evx .pole circle{fill:var(--pole-fill);stroke:var(--pole);stroke-width:4}
.evx .pole .psym{fill:var(--pole)}
.evx .outer{stroke:var(--ink);stroke-width:5;fill:none;stroke-linecap:butt}
.evx .ohead,.evx .ghead{fill:var(--ink)}
.evx .brace{stroke:var(--brace);stroke-width:4.5;fill:none;stroke-linecap:round;stroke-linejoin:round}
.evx .frame{stroke:var(--ink);stroke-width:3;fill:none;stroke-linejoin:miter;stroke-linecap:butt}
.evx .knock{fill:var(--paper)}
.evx .gate{stroke:var(--ink);stroke-width:2.4;fill:none}
.evx .node{fill:var(--ink)}
.evx .conv{fill:var(--pole)}
.evx .flow{fill:var(--flow)}
.evx .tring{fill:none;stroke:var(--time);stroke-width:2}
.evx .rec{stroke:var(--time);stroke-width:2.6;fill:none;stroke-dasharray:1}
.evx .rhead,.evx .seal,.evx .archv{fill:var(--time)}
.evx .rlbl{font-family:var(--sans);font-size:14px;font-weight:600;fill:var(--time)}
.evx .tsym{font-size:30px;fill:var(--time)}
.evx .bsym{font-size:17px;fill:var(--muted)}
.evx .draw{stroke-dasharray:1;stroke-dashoffset:1;animation:evx-draw var(--dur,1s) cubic-bezier(.45,0,.3,1) var(--d,0s) forwards}
.evx .fade{opacity:0;animation:evx-fade .7s ease var(--d,0s) forwards}
.evx .grow{opacity:0;transform-box:fill-box;transform-origin:center;animation:evx-grow .9s cubic-bezier(.2,.9,.3,1) var(--d,0s) forwards}
.evx .pop{transform-box:fill-box;transform-origin:center;transform:scale(0);animation:evx-pop .6s cubic-bezier(.3,1.7,.5,1) var(--d,0s) forwards}
@keyframes evx-draw{to{stroke-dashoffset:0}}
@keyframes evx-fade{to{opacity:1}}
@keyframes evx-grow{from{opacity:0;transform:scale(.6)}to{opacity:1;transform:scale(1)}}
@keyframes evx-pop{to{transform:scale(1)}}

@media (prefers-reduced-motion:reduce){
 .evx .draw{animation:none;stroke-dashoffset:0}.evx .fade,.evx .grow{animation:none;opacity:1}.evx .pop{animation:none;transform:none}
 .evx .flowg,.evx .convg,.evx .timeg,.evx .sealg{display:none}}
@media (max-width:640px){.evx .sub{display:none}.evx .psym{font-size:40px}.evx .nsym{font-size:40px}.evx .fsym{font-size:36px}.evx .dsym{font-size:28px}.evx .flbl{font-size:20px}.evx .tsym{font-size:36px}.evx .bsym{font-size:26px}.evx .tq{display:none}.evx .rlbl{font-size:18px}}

@media (max-width: 52rem) {
  .hero { grid-template-columns: 1fr; padding-top: 2rem; gap: 1.5rem; }
  .claim { grid-template-columns: 1fr; }
  .claim .tag, .claim .body { grid-column: 1; }
  .claim .tag { padding: 0 0 .35rem; }
  .status-inner { grid-template-columns: 1fr; }
}
@media (prefers-reduced-motion: no-preference) {
  @keyframes draw { to { stroke-dashoffset: 0; } }
  @keyframes fade { to { opacity: 1; } }
}
@media print {
  .site-head nav, .actions, .skip { display: none; }
  body { background: #fff; color: #000; }
}

/* ---------- language selector and machine-translation notice ---------- */
.head-right { display: flex; align-items: baseline; gap: 1.25rem; flex-wrap: wrap; }
.lang { display: flex; align-items: center; gap: .4rem; font-family: var(--sans); font-size: .875rem; color: var(--muted); }
.lang select {
  font: inherit; color: var(--ink); background: var(--paper); border: 1px solid var(--rule);
  border-radius: 4px; padding: .3rem .5rem;
}
.mt-note {
  font-family: var(--sans); font-size: .875rem; color: var(--ink);
  background: var(--paper-2); border-bottom: 1px solid var(--rule);
}
.mt-note[hidden] { display: none; }
.mt-note p { max-width: 72rem; margin: 0 auto; padding: .55rem 1rem; }
.mt-note button {
  font: inherit; font-weight: 600; color: var(--link); background: none; border: 0; padding: 0;
  text-decoration: underline; text-underline-offset: .18em; cursor: pointer;
}

/* hide Google Translate's own interface; the page keeps its layout */
#google_translate_element { display: none; }
.skiptranslate > iframe, iframe.goog-te-banner-frame { display: none !important; }
body { top: 0 !important; }
#goog-gt-tt, .goog-te-balloon-frame, .goog-tooltip { display: none !important; }
.goog-text-highlight { background: none !important; box-shadow: none !important; }

/* ---------- content additions ---------- */
.gaps { max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); padding-left: 1.2rem; }
.gaps li { margin: .5rem 0; }
.principles { max-width: var(--measure); margin: 0 0 1.75rem var(--gutter, 0); padding-left: 1.4rem; }
.principles li { margin: .6rem 0; }
.principles strong { font-weight: 600; }
.rule-quote {
  max-width: var(--measure); margin: 0 0 1.75rem var(--gutter, 0); padding: 1rem 1.25rem;
  border-left: 3px solid var(--ink); background: var(--paper-2); font-size: 1.1875rem; line-height: 1.5;
}
.crumbs { max-width: 72rem; margin: 0 auto; padding: 1.5rem 1rem 0; font-family: var(--sans); font-size: .875rem; color: var(--muted); }
.crumbs a { color: var(--muted); }
.page-head { max-width: 72rem; margin: 0 auto; padding: 1.5rem 1rem 0; }
.page-head h1 { font-size: clamp(2.25rem, 5vw, 3.5rem); line-height: 1.05; margin: 0 0 .75rem; font-weight: 600; letter-spacing: -.01em; }
.page-head .lede { font-size: 1.25rem; line-height: 1.5; max-width: 60ch; margin: 0 0 1.5rem; }
pre.cite {
  max-width: var(--measure); margin: 0 0 1.5rem var(--gutter, 0); padding: 1rem 1.25rem; overflow-x: auto;
  background: var(--paper-2); border: 1px solid var(--rule); border-radius: 4px;
  font-family: ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", monospace; font-size: .875rem; line-height: 1.5;
}