/* FactorHelm — site stylesheet
   Visual language: security printing. One bold element (the seal); everything else quiet. */

@font-face {
  font-family: "Archivo";
  src: url("../fonts/archivo-latin-standard-normal.woff2") format("woff2-variations"),
       url("../fonts/archivo-latin-standard-normal.woff2") format("woff2");
  font-weight: 100 900; font-stretch: 62% 125%; font-style: normal; font-display: swap;
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: "Archivo";
  src: url("../fonts/archivo-latin-ext-standard-normal.woff2") format("woff2-variations"),
       url("../fonts/archivo-latin-ext-standard-normal.woff2") format("woff2");
  font-weight: 100 900; font-stretch: 62% 125%; font-style: normal; font-display: swap;
  unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C0, U+2113, U+2C60-2C7F, U+A720-A7FF;
}
@font-face { font-family: "Plex Mono"; src: url("../fonts/ibm-plex-mono-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url("../fonts/ibm-plex-mono-latin-500-normal.woff2") format("woff2"); font-weight: 500; font-display: swap; }

/* ---------- tokens ---------- */
:root {
  --paper: #F3F5F2;
  --paper-2: #E9EEEA;
  --ink: #13211C;
  --intaglio: #1D5A47;
  --intaglio-2: #16483A;
  --intaglio-wash: rgba(29, 90, 71, .08);
  --slate: #56656B;
  --rule: #CCD5D0;
  --rule-strong: #A9B6AF;
  --cancel: #9B2C3A;
  --cancel-wash: rgba(155, 44, 58, .08);
  --pass: #1D5A47;
  --on-intaglio: #F3F5F2;

  --sans: "Archivo", "Helvetica Neue", Arial, sans-serif;
  --mono: "Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;

  /* 1.25 scale from 17px */
  --t-xs: .8rem;      /* 13.6 */
  --t-s: .9rem;       /* 15.3 */
  --t-m: 1.0625rem;   /* 17 */
  --t-l: 1.328rem;    /* 21.25 */
  --t-xl: 1.66rem;    /* 26.6 */
  --t-2xl: 2.075rem;  /* 33.2 */
  --t-3xl: 2.594rem;  /* 41.5 */
  --t-4xl: 3.242rem;  /* 51.9 */

  --wrap: 1180px;
  --gutter: 24px;
  --measure: 66ch;
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #0F1A16; --paper-2: #14231D; --ink: #E4EBE6;
    --intaglio: #7FC2A6; --intaglio-2: #9AD3BA; --intaglio-wash: rgba(127, 194, 166, .09);
    --slate: #93A39D; --rule: #26362F; --rule-strong: #3A4D45;
    --cancel: #E58A95; --cancel-wash: rgba(229, 138, 149, .09);
    --pass: #7FC2A6; --on-intaglio: #0F1A16;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #0F1A16; --paper-2: #14231D; --ink: #E4EBE6;
  --intaglio: #7FC2A6; --intaglio-2: #9AD3BA; --intaglio-wash: rgba(127, 194, 166, .09);
  --slate: #93A39D; --rule: #26362F; --rule-strong: #3A4D45;
  --cancel: #E58A95; --cancel-wash: rgba(229, 138, 149, .09);
  --pass: #7FC2A6; --on-intaglio: #0F1A16;
  color-scheme: dark;
}

/* ---------- base ---------- */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font-family: var(--sans); font-size: var(--t-m); line-height: 1.6;
  font-stretch: 100%; font-weight: 400;
  font-feature-settings: "kern", "liga";
  text-rendering: optimizeLegibility; -webkit-font-smoothing: antialiased;
  overflow-x: hidden;
}
img, svg { display: block; max-width: 100%; }
figure { margin: 0; }
a { color: var(--intaglio); text-decoration-thickness: 1px; text-underline-offset: .18em; }
a:hover { color: var(--intaglio-2); text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--intaglio); outline-offset: 3px; border-radius: 2px; }
::selection { background: var(--intaglio); color: var(--on-intaglio); }

h1, h2, h3, h4 { font-stretch: 125%; font-weight: 560; letter-spacing: -.018em; margin: 0; text-wrap: balance; }
h1 { font-size: clamp(2.45rem, 1.4rem + 4.2vw, var(--t-4xl)); line-height: 1.03; letter-spacing: -.028em; }
h2 { font-size: clamp(1.66rem, 1.2rem + 1.6vw, var(--t-2xl)); line-height: 1.12; }
h3 { font-size: var(--t-l); line-height: 1.25; font-weight: 580; letter-spacing: -.01em; }
h4 { font-size: var(--t-m); line-height: 1.35; font-weight: 620; letter-spacing: 0; font-stretch: 112%; }
p { margin: 0 0 1em; max-width: var(--measure); text-wrap: pretty; }
ul, ol { padding-left: 1.2em; margin: 0 0 1em; max-width: var(--measure); }
li { margin-bottom: .45em; }
code, .mono { font-family: var(--mono); font-size: .88em; }
code { background: var(--paper-2); padding: .08em .35em; border-radius: 3px; overflow-wrap: anywhere; }
pre { font-family: var(--mono); font-size: var(--t-xs); line-height: 1.6; background: var(--paper-2); border: 1px solid var(--rule); border-radius: 4px; padding: 16px 18px; overflow-x: auto; margin: 0 0 1.4em; max-width: 100%; }
pre code { background: none; padding: 0; font-size: inherit; }
strong { font-weight: 640; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 0; }

.skip { position: absolute; left: -9999px; top: 0; }
.skip:focus { left: 16px; top: 12px; z-index: 10; background: var(--paper); padding: 8px 12px; }
.visually-hidden { position: absolute !important; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }

.wrap { max-width: var(--wrap); margin: 0 auto; padding-inline: var(--gutter); }
@media (max-width: 560px) { :root { --gutter: 16px; } }

/* ---------- header ---------- */
.site-head { border-bottom: 1px solid var(--rule); }
.site-head .wrap { display: flex; align-items: center; gap: 28px; min-height: 68px; }
.wordmark {
  font-stretch: 125%; font-weight: 640; font-size: 1.12rem; letter-spacing: -.01em;
  color: var(--ink); text-decoration: none; white-space: nowrap; margin-right: auto;
}
.wordmark:hover { color: var(--ink); }
.wordmark { display: inline-flex; align-items: center; gap: 10px; }
.wm-mark {
  width: 29px; height: 29px; min-width: 29px; max-width: 29px;
  flex: 0 0 29px; color: var(--intaglio);
}
.nav { display: flex; gap: 22px; align-items: center; }
.nav a { color: var(--slate); text-decoration: none; font-size: var(--t-s); padding: 6px 0; }
.nav a:hover { color: var(--ink); }
.nav a[aria-current="page"] { color: var(--ink); box-shadow: inset 0 -2px 0 var(--intaglio); }
.head-actions { display: flex; align-items: center; gap: 14px; }
.head-actions .signin { color: var(--slate); text-decoration: none; font-size: var(--t-s); }
.head-actions .signin:hover { color: var(--ink); }
.menu-btn { display: none; }
.nav-mobile { display: none; }

@media (max-width: 980px) {
  .site-head .wrap { flex-wrap: wrap; gap: 12px 20px; padding-block: 12px; }
  .menu-btn {
    display: inline-flex; align-items: center; gap: 8px; background: none; border: 1px solid var(--rule-strong);
    color: var(--ink); font: inherit; font-size: var(--t-s); padding: 6px 12px; border-radius: 3px; cursor: pointer;
  }
  .nav { order: 3; width: 100%; flex-direction: column; align-items: flex-start; gap: 0; display: none; padding-bottom: 8px; }
  .nav.open { display: flex; }
  .nav a { padding: 10px 0; width: 100%; border-top: 1px solid var(--rule); font-size: var(--t-m); }
  .nav a[aria-current="page"] { box-shadow: none; font-weight: 620; }
  .head-actions .signin { display: none; }
}
@media (max-width: 520px) {
  .head-actions { display: none; }
  .menu-btn { margin-left: auto; }
  .nav .nav-mobile { display: block; }
  .nav .nav-cta { color: var(--intaglio); font-weight: 620; }
}

/* ---------- buttons ---------- */
.btn {
  display: inline-flex; align-items: center; justify-content: center; gap: 8px;
  font: inherit; font-size: var(--t-s); font-weight: 600; font-stretch: 108%;
  padding: 11px 18px; border-radius: 3px; border: 1px solid var(--intaglio);
  text-decoration: none; cursor: pointer; line-height: 1.2; white-space: nowrap;
}
.btn-primary { background: var(--intaglio); color: var(--on-intaglio); }
.btn-primary:hover { background: var(--intaglio-2); border-color: var(--intaglio-2); color: var(--on-intaglio); }
.btn-quiet { background: transparent; color: var(--intaglio); }
.btn-quiet:hover { background: var(--intaglio-wash); color: var(--intaglio); }
.btn-small { padding: 8px 14px; font-size: var(--t-xs); }
.actions { display: flex; flex-wrap: wrap; gap: 12px; margin-top: 28px; }

/* ---------- page furniture ---------- */
main { display: block; }
.section { padding-block: clamp(56px, 8vw, 104px); }
.section + .section { border-top: 1px solid var(--rule); }
.section-tight { padding-block: clamp(40px, 5vw, 64px); }
.lede { font-size: clamp(1.12rem, 1rem + .5vw, var(--t-l)); line-height: 1.5; color: var(--ink); max-width: 58ch; }
.muted { color: var(--slate); }
.small { font-size: var(--t-s); }
.xsmall { font-size: var(--t-xs); }
.stack > * + * { margin-top: 18px; }

.grid { display: grid; grid-template-columns: repeat(12, minmax(0, 1fr)); gap: 32px; }
.span-5 { grid-column: span 5; } .span-6 { grid-column: span 6; } .span-7 { grid-column: span 7; }
.span-4 { grid-column: span 4; } .span-8 { grid-column: span 8; } .span-12 { grid-column: 1 / -1; }
.start-8 { grid-column: 8 / span 5; }
@media (max-width: 900px) { .grid > [class*="span-"], .grid > .start-8 { grid-column: 1 / -1; } .grid { gap: 28px; } }

.page-head { padding-block: clamp(48px, 7vw, 88px) clamp(28px, 4vw, 44px); }
.page-head h1 { font-size: clamp(2.1rem, 1.3rem + 3.2vw, var(--t-3xl)); max-width: 20ch; }
.page-head .lede { margin-top: 20px; }

.prose h2 { margin: 2.2em 0 .7em; }
.prose h2:first-child { margin-top: 0; }
.prose h3 { margin: 1.8em 0 .55em; }
.prose > :last-child { margin-bottom: 0; }

/* ---------- hero ---------- */
.hero { padding-block: clamp(48px, 7vw, 96px) clamp(56px, 8vw, 104px); }
.hero-grid { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 5fr); gap: clamp(32px, 5vw, 72px); align-items: center; }
.hero h1 { max-width: 11ch; }
.hero .lede { margin-top: 26px; }
.hero-seal { justify-self: end; width: 100%; max-width: 440px; }
.hero-seal figcaption { margin-top: 14px; font-size: var(--t-xs); color: var(--slate); max-width: 44ch; }
@media (max-width: 900px) {
  .hero-grid { grid-template-columns: 1fr; }
  .hero-seal { justify-self: start; max-width: 340px; }
}

/* ---------- the seal ---------- */
.seal { color: var(--intaglio); aspect-ratio: 1; width: 100%; }
.seal svg { width: 100%; height: auto; overflow: visible; }
.seal .s-band path { fill: none; stroke: currentColor; stroke-width: .5; }
.seal .s-band.b2 path { opacity: .92; }
.seal .s-band.b3 path { opacity: .85; }
.seal .s-core path { fill: none; stroke: currentColor; stroke-width: .45; }
.seal .s-frame { fill: none; stroke: currentColor; stroke-width: .8; }
.record-top .seal .s-band path, .record-top .seal .s-core path { stroke-width: .75; }
.record-top .seal .s-band.b1 { display: none; }
.record-top .seal .s-micro { display: none; }
.seal .s-micro { font-family: var(--mono); font-size: 6.4px; letter-spacing: .4px; fill: currentColor; }
.seal.engrave .s-band path, .seal.engrave .s-core path { stroke-dasharray: 1; stroke-dashoffset: 1; animation: engrave 2.2s cubic-bezier(.45, .05, .25, 1) forwards; }
.seal.engrave .s-band.b1 path { animation-delay: .5s; }
.seal.engrave .s-band.b2 path { animation-delay: .25s; }
.seal.engrave .s-band.b3 path { animation-delay: .05s; }
.seal.engrave .s-micro, .seal.engrave .s-frame { opacity: 0; animation: ink-in .9s ease-out 1.6s forwards; }
@keyframes engrave { 99% { stroke-dashoffset: 0; } 100% { stroke-dashoffset: 0; stroke-dasharray: none; } }
@keyframes ink-in { to { opacity: 1; } }
@media (prefers-reduced-motion: reduce) {
  .seal.engrave .s-band path, .seal.engrave .s-core path { animation: none; stroke-dasharray: none; }
  .seal.engrave .s-micro, .seal.engrave .s-frame { animation: none; opacity: 1; }
}

/* ---------- the record (the one framed object) ---------- */
.record {
  border: 1px solid var(--rule-strong); border-radius: 10px; padding: 5px; background: var(--paper);
}
.record-inner { border: 1px solid var(--rule); border-radius: 6px; padding: clamp(18px, 3vw, 32px); }
.record-top { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 20px; align-items: start; }
.record-top .seal { width: 88px; }
.record h3 { font-size: var(--t-xl); }
.record .banner {
  display: inline-block; margin-top: 10px; padding: 4px 10px; border-radius: 3px;
  background: var(--cancel-wash); color: var(--cancel); font-size: var(--t-xs); font-weight: 560;
}
.record dl { display: grid; grid-template-columns: 11rem minmax(0, 1fr); gap: 10px 20px; margin: 24px 0 0; }
.record dt { color: var(--slate); font-size: var(--t-s); }
.record dd { margin: 0; font-size: var(--t-s); }
@media (max-width: 640px) { .record dl { grid-template-columns: 1fr; gap: 2px; } .record dd { margin-bottom: 10px; } }

.gates { width: 100%; border-collapse: collapse; margin: 26px 0 6px; font-size: var(--t-s); }
.gates caption { text-align: left; font-weight: 620; font-stretch: 112%; padding-bottom: 8px; }
.gates th { text-align: left; font-weight: 500; color: var(--slate); padding: 8px 12px 8px 0; border-bottom: 1px solid var(--rule-strong); }
.gates td { padding: 11px 12px 11px 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
.gates td.note { color: var(--slate); font-size: var(--t-xs); padding-top: 0; }
.gates tr.has-note td { border-bottom: 0; padding-bottom: 4px; }
.res { font-weight: 600; white-space: nowrap; }
.res-pass { color: var(--pass); }
.res-missing, .res-fail { color: var(--cancel); }
.res::before { content: ""; display: inline-block; width: .55em; height: .55em; margin-right: .45em; vertical-align: .08em; border: 1.5px solid currentColor; }
.res-pass::before { background: currentColor; }
.res-missing::before { border-style: dashed; }
@media (max-width: 640px) {
  .gates thead { display: none; }
  .gates tr { display: grid; grid-template-columns: 1fr auto; padding: 10px 0; border-bottom: 1px solid var(--rule); }
  .gates tr.has-note { border-bottom: 0; padding-bottom: 0; }
  .gates td { border: 0; padding: 2px 0; }
  .gates td:nth-child(2), .gates td:nth-child(3) { grid-column: 1 / -1; color: var(--slate); }
  .gates td:nth-child(4) { grid-row: 1; grid-column: 2; }
  .gates td.note { grid-column: 1 / -1; }
}

.decision { margin-top: 22px; padding: 16px 18px; background: var(--intaglio-wash); border-radius: 4px; }
.decision h4 { margin-bottom: 4px; }
.decision p { margin: 0; font-size: var(--t-s); }
.hashline { display: flex; flex-wrap: wrap; gap: 4px 12px; align-items: baseline; margin-top: 18px; font-size: var(--t-xs); color: var(--slate); }
.hashline code { background: none; padding: 0; color: var(--ink); font-size: var(--t-xs); overflow-wrap: anywhere; }

.appended { margin-top: 22px; padding-top: 20px; border-top: 1px dashed var(--rule-strong); }
.appended h4 { margin-bottom: 6px; }
.appended p { font-size: var(--t-s); margin-bottom: .6em; }

/* ---------- sequence ---------- */
.sequence { list-style: none; padding: 0; margin: 44px 0 0; max-width: none; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0; counter-reset: step; }
.sequence > li { margin: 0; padding: 22px 26px 4px 0; position: relative; border-top: 2px solid var(--ink); counter-increment: step; }
.sequence > li + li { padding-left: 26px; border-left: 1px solid var(--rule); }
.sequence > li::before { content: counter(step); display: block; font-stretch: 125%; font-weight: 500; font-size: var(--t-xl); line-height: 1; color: var(--intaglio); margin-bottom: 18px; font-variant-numeric: tabular-nums; }
.sequence h3 { margin-bottom: 10px; }
.sequence p { font-size: var(--t-s); color: var(--ink); }
.sequence .where { color: var(--slate); font-size: var(--t-xs); }
@media (max-width: 900px) {
  .sequence { grid-template-columns: 1fr 1fr; row-gap: 28px; }
  .sequence > li:nth-child(3) { padding-left: 0; border-left: 0; }
}
@media (max-width: 560px) {
  .sequence { grid-template-columns: 1fr; }
  .sequence > li + li { padding-left: 0; border-left: 0; }
}

/* ---------- established / not yet ---------- */
.ledger { display: grid; grid-template-columns: 1fr 1fr; gap: 0; margin-top: 40px; border-top: 2px solid var(--ink); }
.ledger > div { padding: 24px 32px 8px 0; }
.ledger > div + div { padding-left: 32px; border-left: 1px solid var(--rule); }
.ledger h3 { margin-bottom: 16px; }
.ledger ul { list-style: none; padding: 0; margin: 0; }
.ledger li { position: relative; padding-left: 26px; margin-bottom: 16px; font-size: var(--t-s); }
.ledger li::before { content: ""; position: absolute; left: 0; top: .5em; width: 10px; height: 10px; border: 1.5px solid var(--intaglio); }
.ledger .est li::before { background: var(--intaglio); }
.ledger .not li::before { border-color: var(--slate); border-style: dashed; }
@media (max-width: 760px) {
  .ledger { grid-template-columns: 1fr; }
  .ledger > div + div { padding-left: 0; border-left: 0; border-top: 1px solid var(--rule); }
}

/* ---------- footnotes ---------- */
sup.fn { font-size: .68em; line-height: 0; margin-left: 1px; }
sup.fn a { text-decoration: none; font-weight: 600; }
.sources { font-size: var(--t-xs); color: var(--slate); }
.sources h2 { font-size: var(--t-m); font-stretch: 112%; color: var(--ink); margin-bottom: 12px; letter-spacing: 0; }
.sources ol { max-width: 92ch; padding-left: 1.6em; }
.sources li { margin-bottom: 6px; }
.sources li:target { color: var(--ink); background: var(--intaglio-wash); }

/* ---------- lists of claims ---------- */
.refuse { list-style: none; padding: 0; max-width: 70ch; counter-reset: none; }
.refuse li { padding: 14px 0; border-bottom: 1px solid var(--rule); margin: 0; }
.refuse li:first-child { border-top: 1px solid var(--rule); }
.refuse strong { display: block; font-weight: 600; }
.refuse span { color: var(--slate); font-size: var(--t-s); }

.split { display: grid; grid-template-columns: 1fr 1fr; gap: clamp(32px, 5vw, 72px); }
@media (max-width: 860px) { .split { grid-template-columns: 1fr; } }

/* ---------- tables ---------- */
.table-wrap { overflow-x: auto; margin: 0 0 1.4em; border-top: 2px solid var(--ink); }
table.data { border-collapse: collapse; width: 100%; font-size: var(--t-xs); font-variant-numeric: tabular-nums; }
table.data th { text-align: left; font-weight: 560; color: var(--slate); padding: 10px 14px 10px 0; border-bottom: 1px solid var(--rule-strong); white-space: nowrap; }
table.data td { padding: 10px 14px 10px 0; border-bottom: 1px solid var(--rule); vertical-align: top; }
table.data td.num { text-align: right; white-space: nowrap; }
table.data th.num { text-align: right; }
table.data tr.dim td { color: var(--slate); }

/* ---------- cutoff replay ---------- */
.replay { margin-top: 36px; }
.replay-track { position: relative; margin: 8px 0 0; padding: 0 0 8px; }
.tl { position: relative; height: 92px; margin: 8px 9px 6px; }
.tl-axis { position: absolute; left: 0; right: 0; top: 46px; border-top: 2px solid var(--ink); }
.tl-future {
  position: absolute; top: 18px; height: 44px; right: -9px; left: calc(var(--cut, 60%) + 1px); z-index: 0;
  background: repeating-linear-gradient(135deg, transparent 0 6px, var(--rule) 6px 7px);
  border-left: 2px solid var(--intaglio); transition: left .25s ease;
}
.tl-future span { position: absolute; top: -18px; left: 8px; font-size: var(--t-xs); color: var(--cancel); font-weight: 560; white-space: nowrap; }
.tl-node {
  position: absolute; top: 39px; left: calc(var(--i) * 20%); transform: translateX(-50%);
  width: 16px; height: 16px; border-radius: 50%; border: 2px solid var(--ink); background: var(--paper); padding: 0; cursor: pointer; z-index: 1;
}
.tl-node.known { background: var(--intaglio); border-color: var(--intaglio); }
.tl-node span { position: absolute; top: 24px; left: 50%; transform: translateX(-50%); font-size: var(--t-xs); color: var(--slate); white-space: nowrap; font-family: var(--sans); }
.tl-node:first-of-type span { left: 0; transform: none; }
.tl-node[data-goto="5"] span { left: auto; right: 0; transform: none; }
.tl-node.known span { color: var(--ink); }
.replay-label { display: block; font-size: var(--t-xs); color: var(--slate); margin-top: 6px; }
.replay input[type="range"] { width: 100%; margin: 0; accent-color: var(--intaglio); height: 32px; cursor: pointer; }
@media (max-width: 700px) { .tl-node:not(:first-of-type):not([data-goto="3"]):not([data-goto="5"]) span { display: none; } }
@media (prefers-reduced-motion: reduce) { .tl-future { transition: none; } }
.replay-readout { margin: 18px 0 26px; padding: 16px 18px; border-left: 3px solid var(--intaglio); background: var(--intaglio-wash); }
.replay-readout p { margin: 0; }
.replay-readout .when { font-weight: 620; font-stretch: 112%; margin-bottom: 4px; }
.events { list-style: none; padding: 0; margin: 0; max-width: none; }
.events li { display: grid; grid-template-columns: 9rem minmax(0, 1fr); gap: 16px; padding: 14px 0; border-top: 1px solid var(--rule); margin: 0; transition: opacity .25s ease; }
.events li:last-child { border-bottom: 1px solid var(--rule); }
.events time { font-size: var(--t-s); font-weight: 560; font-variant-numeric: tabular-nums; }
.events p { margin: 0; font-size: var(--t-s); }
.events .after time, .events .after p { color: var(--slate); }
.events .after p sup a { color: var(--slate); }
.events .after .unknown { display: inline; }
.events .unknown { display: none; color: var(--cancel); font-size: var(--t-xs); font-weight: 560; margin-left: 6px; }
.events li.is-cutoff { box-shadow: inset 3px 0 0 var(--intaglio); padding-left: 14px; }
@media (max-width: 560px) { .events li { grid-template-columns: 1fr; gap: 2px; } }
@media (prefers-reduced-motion: reduce) { .events li { transition: none; } }

/* ---------- verify ---------- */
.verify-grid { display: grid; grid-template-columns: minmax(0, 7fr) minmax(0, 4fr); gap: 36px; align-items: start; }
@media (max-width: 900px) { .verify-grid { grid-template-columns: 1fr; } }
.verify textarea {
  width: 100%; min-height: 360px; font-family: var(--mono); font-size: 12.5px; line-height: 1.55;
  color: var(--ink); background: var(--paper-2); border: 1px solid var(--rule-strong); border-radius: 4px; padding: 14px; resize: vertical;
}
.verify .status { margin-top: 14px; font-size: var(--t-s); font-weight: 600; }
.verify .status.ok { color: var(--pass); }
.verify .status.bad { color: var(--cancel); }
.verify .hashes { font-size: var(--t-xs); margin-top: 10px; }
.verify .hashes div { display: grid; grid-template-columns: 6.5rem minmax(0, 1fr); gap: 8px; margin-bottom: 6px; }
.verify .hashes code { background: none; padding: 0; overflow-wrap: anywhere; font-size: var(--t-xs); }
.verify .seal { max-width: 320px; }
.tabs { display: flex; gap: 0; border-bottom: 1px solid var(--rule-strong); margin-bottom: 14px; }
.tabs button { font: inherit; font-size: var(--t-s); background: none; border: 0; padding: 10px 16px 10px 0; margin-right: 16px; color: var(--slate); cursor: pointer; box-shadow: inset 0 -2px 0 transparent; }
.tabs button[aria-selected="true"] { color: var(--ink); box-shadow: inset 0 -2px 0 var(--intaglio); font-weight: 600; }

/* ---------- forms ---------- */
.form { max-width: 560px; }
.field { margin-bottom: 20px; }
.field label { display: block; font-weight: 560; font-size: var(--t-s); margin-bottom: 6px; }
.field .hint { display: block; color: var(--slate); font-size: var(--t-xs); margin-top: 4px; }
.field input, .field select, .field textarea {
  width: 100%; font: inherit; font-size: var(--t-m); color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule-strong); border-radius: 3px; padding: 10px 12px;
}
.field textarea { min-height: 120px; resize: vertical; }
.field input:focus, .field select:focus, .field textarea:focus { outline: 2px solid var(--intaglio); outline-offset: 0; border-color: var(--intaglio); }
.field [aria-invalid="true"] { border-color: var(--cancel); }
.field .error { color: var(--cancel); font-size: var(--t-xs); margin-top: 4px; display: block; }
.form-msg { margin-top: 18px; padding: 14px 16px; border-radius: 3px; font-size: var(--t-s); }
.form-msg.ok { background: var(--intaglio-wash); color: var(--ink); border-left: 3px solid var(--intaglio); }
.form-msg.bad { background: var(--cancel-wash); color: var(--ink); border-left: 3px solid var(--cancel); }

/* ---------- product list ---------- */
.products { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 0; margin-top: 36px; border-top: 2px solid var(--ink); }
.products > div { padding: 22px 26px 6px 0; }
.products > div + div { padding-left: 26px; border-left: 1px solid var(--rule); }
.products h3 { margin-bottom: 8px; }
.products p { font-size: var(--t-s); }
@media (max-width: 860px) {
  .products { grid-template-columns: 1fr; }
  .products > div + div { padding-left: 0; border-left: 0; border-top: 1px solid var(--rule); }
}

.permission { display: grid; grid-template-columns: 1fr 1fr; gap: 0; border-top: 2px solid var(--ink); margin-top: 20px; }
.permission > div { padding: 18px 24px 6px 0; }
.permission > div + div { padding-left: 24px; border-left: 1px solid var(--rule); }
.permission h4 { margin-bottom: 8px; }
.permission ul { font-size: var(--t-s); }
@media (max-width: 640px) { .permission { grid-template-columns: 1fr; } .permission > div + div { padding-left: 0; border-left: 0; border-top: 1px solid var(--rule); } }

/* ---------- footer ---------- */
.site-foot { border-top: 1px solid var(--rule); padding-block: 44px 56px; font-size: var(--t-s); color: var(--slate); }
.foot-grid { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); gap: 40px; }
.foot-grid .wordmark { display: inline-flex; margin-bottom: 10px; }
.foot-links { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 6px 24px; list-style: none; padding: 0; margin: 0; max-width: none; }
.foot-links a { color: var(--slate); text-decoration: none; }
.foot-links a:hover { color: var(--ink); text-decoration: underline; }
.foot-legal { margin-top: 32px; padding-top: 18px; border-top: 1px solid var(--rule); display: flex; flex-wrap: wrap; justify-content: space-between; gap: 12px 24px; font-size: var(--t-xs); }
.foot-legal p { margin: 0; max-width: 80ch; }
.theme-btn { font: inherit; font-size: var(--t-xs); color: var(--slate); background: none; border: 1px solid var(--rule-strong); border-radius: 3px; padding: 4px 10px; cursor: pointer; }
.theme-btn:hover { color: var(--ink); }
@media (max-width: 760px) { .foot-grid { grid-template-columns: 1fr; } .foot-links { grid-template-columns: 1fr 1fr; } }

/* ---------- misc ---------- */
.callout { padding: 18px 20px; border-left: 3px solid var(--rule-strong); background: var(--paper-2); font-size: var(--t-s); max-width: 70ch; margin: 0 0 1.4em; }
.callout p:last-child { margin-bottom: 0; }
.kv { display: grid; grid-template-columns: 13rem minmax(0, 1fr); gap: 10px 24px; margin: 0 0 1.4em; font-size: var(--t-s); max-width: 80ch; }
.kv dt { color: var(--slate); }
.kv dd { margin: 0; }
@media (max-width: 640px) { .kv { grid-template-columns: 1fr; gap: 2px; } .kv dd { margin-bottom: 10px; } }
.signins { list-style: none; padding: 0; max-width: 640px; }
.signins li { display: flex; justify-content: space-between; align-items: center; gap: 16px; padding: 18px 0; border-bottom: 1px solid var(--rule); margin: 0; }
.signins li:first-child { border-top: 1px solid var(--rule); }
.signins p { margin: 2px 0 0; font-size: var(--t-s); color: var(--slate); }
.notfound { min-height: 50vh; }
.verify .hashes div[hidden] { display: none; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .seal .s-band path { stroke-width: .62; } }
:root[data-theme="dark"] .seal .s-band path { stroke-width: .62; }