/* Evident - an encyclopedia you can check.
   Library, not laboratory: Source Serif for knowledge, Inter for controls,
   mono only for archived data. One column, hairline structure, receipts
   styled as catalog cards. */
@import url('https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,400..700;1,8..60,400..700&family=Inter:wght@400;500;600&family=IBM+Plex+Mono:wght@400;500&display=swap');

:root {
  color-scheme: light dark;
  --bg:        #FCFBF8;
  --panel:     #F5F3EC;
  --panel-2:   #EFECE3;
  --ink:       #1D1B17;
  --muted:     #6C675E;
  --faint:     #9B958A;
  --line:      #E8E5DC;
  --line-2:    #D8D4C9;
  --link:      #33557E;
  --verified:  #2F6B4F;
  --reject:    #A03C2C;
  --lean-l:    #33557E;
  --lean-r:    #A03C2C;
  --hl:        #F1E6C2;
  --serif: 'Source Serif 4', Georgia, 'Times New Roman', serif;
  --sans: 'Inter', -apple-system, 'Segoe UI', sans-serif;
  --mono: 'IBM Plex Mono', ui-monospace, monospace;
  --maxw: 780px;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg:       #161511;
    --panel:    #1E1C17;
    --panel-2:  #26231D;
    --ink:      #E9E5DB;
    --muted:    #A29B8E;
    --faint:    #746E62;
    --line:     #2C2922;
    --line-2:   #3B372E;
    --link:     #94B5D9;
    --verified: #85C4A1;
    --reject:   #DE9078;
    --lean-l:   #94B5D9;
    --lean-r:   #DE9078;
    --hl:       #3D361D;
  }
}

* { box-sizing: border-box; }
/* reserve the scrollbar gutter so short pages don't shift the centered column */
html { -webkit-text-size-adjust: 100%; scrollbar-gutter: stable; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 19px;
  line-height: 1.65;
  font-optical-sizing: auto;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 3px; }
::selection { background: var(--ink); color: var(--bg); }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; border-radius: 2px; }

.wrap { max-width: var(--maxw); margin: 0 auto; padding: 0 24px; }

/* ---- masthead ---- */
.masthead {
  position: sticky; top: 0; z-index: 20;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--line);
}
.masthead .bar { display: flex; align-items: center; gap: 26px; padding-top: 14px; padding-bottom: 14px; }
.brand {
  font-family: var(--serif); font-variant-caps: small-caps; letter-spacing: 0.06em;
  font-size: 21px; font-weight: 600; color: var(--ink); text-decoration: none;
}
.nav { display: flex; gap: 18px; }
.nav a {
  font-family: var(--sans); font-size: 13.5px; font-weight: 450;
  color: var(--muted); text-decoration: none; padding: 4px 0;
}
.nav a:hover { color: var(--ink); }
.nav a.active { color: var(--ink); font-weight: 550; box-shadow: 0 1.5px 0 0 var(--ink); }
.spring { flex: 1; }
.controls { display: flex; align-items: center; gap: 10px; }
.ed-label { font-family: var(--sans); font-size: 12px; color: var(--faint); }

/* ---- edition switcher: the site's most important control ---- */
.edition-switch { position: relative; display: flex; align-items: center; gap: 8px; }
.ed-btn {
  display: flex; align-items: baseline; gap: 8px; cursor: pointer;
  font-family: var(--sans); background: transparent;
  border: 1px solid var(--line-2); border-radius: 7px; padding: 6px 28px 6px 12px;
  color: var(--ink); position: relative;
}
.ed-btn::after {
  content: ''; position: absolute; right: 11px; top: 50%; margin-top: -2px;
  border: 4px solid transparent; border-top-color: var(--faint);
}
.ed-btn:hover { border-color: var(--faint); }
.ed-btn { white-space: nowrap; }
.ed-btn-name { font-size: 13.5px; font-weight: 600; }
.ed-btn-rule { font-size: 12px; color: var(--muted); max-width: 150px;
  overflow: hidden; text-overflow: ellipsis; }
.ed-menu {
  position: absolute; right: 0; top: calc(100% + 8px); width: 380px; max-width: 88vw;
  background: var(--bg); border: 1px solid var(--line-2); border-radius: 10px;
  box-shadow: 0 14px 40px rgba(0,0,0,0.14); z-index: 40; overflow: hidden;
}
.ed-menu-head {
  font-family: var(--serif); font-style: italic; font-size: 14px; color: var(--muted);
  padding: 12px 16px; border-bottom: 1px solid var(--line); line-height: 1.5;
}
.ed-row { padding: 11px 16px; cursor: pointer; border-bottom: 1px solid var(--line); }
.ed-row:hover, .ed-row:focus { background: var(--panel); outline: none; }
.ed-row.current { box-shadow: inset 3px 0 0 var(--verified); }
.ed-row-name { display: block; font-family: var(--sans); font-size: 13.5px; font-weight: 600; color: var(--ink); }
.ed-now { color: var(--verified); font-weight: 500; }
.ed-row-meta { display: block; font-family: var(--sans); font-size: 12px; color: var(--muted); margin-top: 2px; }
.ed-row-fine { display: block; font-family: var(--sans); font-size: 11px; color: var(--faint); margin-top: 2px; }
.ed-menu-foot { display: flex; gap: 20px; padding: 11px 16px; background: var(--panel); }
.ed-menu-foot a { font-family: var(--sans); font-size: 12.5px; font-weight: 500; text-decoration: none; }
.ed-menu-foot a:hover { text-decoration: underline; }

/* switch feedback */
.toast {
  position: fixed; left: 50%; bottom: 34px; transform: translateX(-50%);
  background: var(--ink); color: var(--bg); font-family: var(--sans); font-size: 13px;
  padding: 10px 18px; border-radius: 8px; z-index: 70; max-width: 80vw;
  box-shadow: 0 8px 24px rgba(0,0,0,0.2); animation: rise 0.25s ease;
  opacity: 1; transition: opacity 0.3s;
}
.toast.gone { opacity: 0; }
@keyframes rise { from { opacity: 0; transform: translate(-50%, 8px); } to { opacity: 1; transform: translate(-50%, 0); } }
.searchbox { position: relative; }
.searchbox input {
  font-family: var(--sans); font-size: 13px; width: 130px;
  padding: 6px 10px; border: 1px solid var(--line-2); background: transparent;
  color: var(--ink); border-radius: 6px; transition: width 0.15s ease;
}
.searchbox input:focus { width: 190px; background: var(--bg); }
.searchbox input::placeholder { color: var(--faint); }
.search-results {
  position: absolute; right: 0; top: calc(100% + 8px); width: 360px;
  background: var(--bg); border: 1px solid var(--line-2); border-radius: 8px;
  box-shadow: 0 10px 30px rgba(0,0,0,0.10); max-height: 60vh; overflow: auto; z-index: 30;
}
.search-results a { display: block; padding: 10px 14px; text-decoration: none; border-bottom: 1px solid var(--line); }
.search-results a:last-child { border-bottom: none; }
.search-results a:hover { background: var(--panel); }
.search-results .sr-page { font-family: var(--sans); font-size: 11.5px; font-weight: 550; color: var(--muted); }
.search-results .sr-claim { font-size: 15px; line-height: 1.4; margin-top: 2px; color: var(--ink); }

/* ---- glossary tooltip ---- */
.term { border-bottom: 1px dotted var(--faint); cursor: help; position: relative; color: inherit; }
.term::after {
  content: attr(data-def);
  position: absolute; left: 0; top: calc(100% + 8px); z-index: 60;
  width: 300px; max-width: 78vw; padding: 12px 14px;
  background: var(--ink); color: var(--bg); border-radius: 8px;
  font-family: var(--sans); font-size: 12.5px; line-height: 1.55; letter-spacing: 0;
  font-style: normal; font-weight: 400; font-variant-caps: normal; text-transform: none;
  opacity: 0; visibility: hidden; transition: opacity 0.12s; pointer-events: none;
}
.term:hover::after, .term:focus::after { opacity: 1; visibility: visible; }
.ex-link { color: var(--link); }

/* ---- page scaffolding ---- */
main { padding: 44px 0 100px; }
h1.title {
  font-family: var(--serif); font-weight: 560; font-size: 42px;
  line-height: 1.06; margin: 0 0 10px; letter-spacing: -0.012em;
}
h2.sub {
  font-family: var(--serif); font-weight: 560; font-size: 25px;
  margin: 56px 0 14px; letter-spacing: -0.008em;
}
.kicker {
  font-family: var(--serif); font-variant-caps: all-small-caps; letter-spacing: 0.14em;
  font-size: 16px; font-weight: 500; color: var(--muted); margin: 0 0 4px;
}
.lede { font-size: 20px; color: var(--muted); max-width: 60ch; margin: 0 0 10px; }
.home-lede { font-size: 21px; margin-bottom: 12px; }
.home-sub { font-family: var(--serif); font-size: 17px; color: var(--muted);
  max-width: 62ch; margin: 0 0 34px; line-height: 1.6; }
.home-sub a { color: var(--link); }
.compare-link { display: inline-block; margin: 10px 0 0 2px; font-family: var(--sans);
  font-size: 13px; text-decoration: none; }
.compare-link:hover { text-decoration: underline; }
.ctx { font-family: var(--sans); font-size: 13px; color: var(--muted); margin: 2px 0 20px; }
.loading, .err { font-family: var(--sans); font-size: 13px; color: var(--muted); padding: 30px 0; }
.err { color: var(--reject); }
.callout {
  font-size: 16.5px; color: var(--muted); background: var(--panel);
  border: 1px solid var(--line); border-radius: 8px; padding: 16px 18px; margin: 18px 0;
  line-height: 1.55;
}
.back {
  font-family: var(--sans); font-size: 12.5px; color: var(--muted);
  text-decoration: none; display: inline-block; margin-bottom: 20px;
}
.back:hover { color: var(--ink); }

/* ---- featured article (home) ---- */
.featured { margin: 0 0 12px; padding: 0; max-width: 62ch; }
.ftitle { font-family: var(--serif); font-weight: 560; font-size: 31px; margin: 0 0 10px; letter-spacing: -0.01em; }
.ftitle a { color: var(--ink); text-decoration: none; }
.ftitle a:hover { text-decoration: underline; text-decoration-thickness: 1.5px; }
.fprose { font-size: 19px; line-height: 1.68; margin: 0 0 12px; }
.fprose::first-letter {
  font-size: 3.35em; float: left; line-height: 0.82; padding: 4px 10px 0 0;
  font-weight: 500;
}
.featured .more { font-family: var(--sans); font-size: 13px; font-weight: 500; text-decoration: none; }
.featured .more:hover { text-decoration: underline; }

/* ---- article index ---- */
.index { margin-top: 6px; }
.index a {
  display: grid; grid-template-columns: 1fr auto; align-items: baseline; gap: 0 18px;
  text-decoration: none; padding: 15px 2px; border-top: 1px solid var(--line);
}
.index a:hover .name { text-decoration: underline; text-decoration-thickness: 1.5px; text-underline-offset: 3px; }
.index .name { font-family: var(--serif); font-size: 21px; font-weight: 500; color: var(--ink); }
.index .idx-sum { display: block; font-size: 15.5px; color: var(--muted); line-height: 1.5; margin-top: 2px; max-width: 58ch; }
.index .figs { font-family: var(--sans); font-size: 12px; color: var(--faint); white-space: nowrap; }

/* ---- article page ---- */
.pagehead { display: flex; align-items: baseline; justify-content: space-between; gap: 20px; }
.modeswitch {
  display: flex; border: 1px solid var(--line-2); border-radius: 7px;
  overflow: hidden; flex-shrink: 0; align-self: center;
}
.modebtn {
  font-family: var(--sans); font-size: 12.5px; font-weight: 450;
  background: transparent; border: none; padding: 6px 13px; cursor: pointer; color: var(--muted);
}
.modebtn + .modebtn { border-left: 1px solid var(--line-2); }
.modebtn.on { background: var(--panel); color: var(--ink); font-weight: 550; }

.trustbar {
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 6px 9px;
  font-family: var(--sans); font-size: 12.5px; color: var(--muted);
  border-top: 1px solid var(--line); border-bottom: 1px solid var(--line);
  padding: 10px 2px; margin: 18px 0 30px;
}
.trustbar .dot { color: var(--line-2); }
.trustbar .contested-chip { color: var(--reject); font-weight: 550; }
.trustbar .trust-hint { font-family: var(--serif); font-style: italic; color: var(--faint); }
.consist-out { font-family: var(--sans); font-size: 12.5px; color: var(--reject); }

.article { max-width: 62ch; }
.article .sec {
  font-family: var(--serif); font-variant-caps: all-small-caps; letter-spacing: 0.1em;
  font-weight: 560; font-size: 19px; color: var(--ink); margin: 42px 0 8px;
}
.prose { font-size: 19.5px; line-height: 1.72; margin: 0 0 6px; }
.article > .prose:first-child::first-letter {
  font-size: 3.35em; float: left; line-height: 0.82; padding: 4px 10px 0 0;
  font-weight: 500;
}
.defended { cursor: pointer; border-radius: 3px; transition: background 0.12s; }
.defended:hover, .defended.active { background: var(--panel-2); }
sup.cite {
  font-family: var(--sans); font-size: 11px; font-weight: 500; color: var(--link);
  cursor: pointer; margin-left: 1px; letter-spacing: 0; user-select: none;
}
sup.cite:hover { text-decoration: underline; }

/* omitted statements stay hidden until asked for */
.article .omit { display: none; color: var(--faint); }
.article.show-omitted .omit { display: inline; }
.omit-txt { text-decoration: line-through; text-decoration-color: var(--reject); text-decoration-thickness: 1px; }
.omit-tag { font-family: var(--sans); font-size: 11.5px; color: var(--reject); }
.omit-toggle {
  display: block; margin: 26px 0 0; font-family: var(--sans); font-size: 13px;
  color: var(--muted); background: none; border: none; padding: 0; cursor: pointer;
  text-decoration: underline; text-decoration-style: dotted; text-underline-offset: 3px; text-align: left;
}
.omit-toggle:hover { color: var(--ink); }

/* ---- the receipt: a catalog card ---- */
.inline-receipt {
  display: block; margin: 14px 0 18px; padding: 15px 18px;
  background: var(--panel); border: 1px solid var(--line); border-radius: 8px;
  font-size: 16px;
}
.inline-receipt .ir-src { display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px 10px;
  font-family: var(--sans); font-size: 12.5px; }
.inline-receipt .ir-refn { font-family: var(--sans); font-size: 11px; font-weight: 500; color: var(--link); }
.inline-receipt .ir-dom { color: var(--ink); font-weight: 600; text-decoration: none; }
.inline-receipt a.ir-dom:hover { text-decoration: underline; text-underline-offset: 3px; }
.inline-receipt .ir-when { color: var(--faint); margin-left: auto; font-size: 11.5px; }
.inline-receipt .ir-reason {
  font-family: var(--serif); font-style: italic; font-size: 17px; line-height: 1.55;
  color: var(--ink); border-left: 2px solid var(--verified); padding-left: 12px; margin: 12px 0 0;
}
.inline-receipt.rej .ir-reason { border-left-color: var(--reject); }
.inline-receipt .ir-canon {
  font-family: var(--sans); font-size: 12.5px; color: var(--muted);
  display: block; margin: 10px 0 0; line-height: 1.5;
}
.inline-receipt .ir-canon b { color: var(--faint); font-weight: 550; }
.inline-receipt .ir-excerpt {
  font-family: var(--mono); font-size: 12px; color: var(--muted);
  background: var(--bg); border: 1px solid var(--line); border-radius: 6px;
  padding: 10px 12px; margin-top: 12px; line-height: 1.55;
}
.inline-receipt .ir-excerpt .lbl { color: var(--faint); font-family: var(--sans); font-size: 10.5px;
  font-weight: 550; letter-spacing: 0.04em; text-transform: uppercase; display: block; margin-bottom: 6px; }
.defended.contested::after {
  content: '±'; font-family: var(--sans); font-size: 0.6em;
  vertical-align: super; color: var(--muted); margin-left: 2px;
}
.inline-receipt .ir-counter { margin-top: 12px; padding: 10px 12px; background: var(--bg);
  border-radius: 6px; border-left: 2px solid var(--line-2); }
.ir-counter-tag { font-family: var(--sans); font-size: 11px; font-weight: 600; color: var(--muted); }
.ir-counter-claim { font-size: 16px; line-height: 1.45; margin: 5px 0; }
.ir-counter-src { font-family: var(--sans); font-size: 11.5px; color: var(--muted); }
.ir-challenge {
  display: inline-block; margin-top: 12px; font-family: var(--sans); font-size: 12.5px;
  font-weight: 500; background: none; border: 1px solid var(--line-2); border-radius: 6px;
  color: var(--ink); padding: 6px 12px; cursor: pointer;
}
.ir-challenge:hover { background: var(--panel-2); }

/* source tags */
.src-tag {
  font-family: var(--sans); font-size: 10.5px; font-weight: 550;
  padding: 1px 6px; margin-left: 6px; border: 1px solid var(--line-2);
  border-radius: 999px; vertical-align: middle; color: var(--muted);
}
.src-tag.lean-left { color: var(--lean-l); border-color: var(--lean-l); }
.src-tag.lean-right { color: var(--lean-r); border-color: var(--lean-r); }
.src-tag.kind-primary { color: var(--verified); border-color: var(--verified); }
.src-tag.warn { color: var(--reject); border-color: var(--reject); }

/* ---- compare with another edition, inline ---- */
.comparebar { display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; margin: -12px 0 22px; }
.compare-sel {
  font-family: var(--sans); font-size: 12.5px; color: var(--muted);
  background: transparent; border: 1px solid var(--line-2); border-radius: 6px;
  padding: 5px 24px 5px 10px; cursor: pointer; appearance: none;
  background-image: linear-gradient(45deg, transparent 50%, var(--faint) 50%),
                    linear-gradient(135deg, var(--faint) 50%, transparent 50%);
  background-position: calc(100% - 13px) 50%, calc(100% - 8px) 50%;
  background-size: 5px 5px, 5px 5px; background-repeat: no-repeat;
}
.compare-note { font-family: var(--serif); font-style: italic; font-size: 14px; color: var(--muted); }
.defended.cut { text-decoration: line-through; text-decoration-color: var(--reject);
  text-decoration-thickness: 1.5px; color: var(--muted); cursor: help; }
.compare-extra { max-width: 62ch; }
.compare-extra-claim { font-size: 17px; line-height: 1.6; color: var(--ink); margin: 8px 0; }
.compare-extra-why { font-family: var(--sans); font-size: 12px; color: var(--muted); }

/* one-time receipt hint */
sup.cite.pulse { animation: citepulse 1.4s ease 3; }
@keyframes citepulse {
  0%, 100% { background: transparent; }
  50% { background: var(--verified); color: var(--bg); border-radius: 3px; }
}

.statements-link { display: inline-block; margin-top: 18px; font-family: var(--sans);
  font-size: 13px; text-decoration: none; }
.statements-link:hover { text-decoration: underline; }

/* ---- sources list ---- */
.refs-h { margin-top: 48px; }
.refs { font-family: var(--sans); font-size: 13.5px; color: var(--muted); line-height: 1.75;
  padding-left: 20px; max-width: 62ch; }
.refs li { margin-bottom: 5px; }
.refs .ref-dom { color: var(--ink); font-weight: 550; }
.refs a { color: var(--muted); font-family: var(--mono); font-size: 12px; word-break: break-all; }

/* ---- statement cards (Statements view) ---- */
.specimen { padding: 20px 2px 16px; border-top: 1px solid var(--line); position: relative; }
.specimen .claim { font-size: 20px; line-height: 1.45; margin: 0 0 10px; max-width: 60ch; }
.seal { font-family: var(--sans); font-size: 12px; margin-bottom: 8px; }
.seal .mark { color: var(--verified); font-weight: 600; }
.seal.rej .mark { color: var(--reject); }
.seal .meta { display: inline; color: var(--faint); margin-left: 10px; font-size: 11.5px; }
.provenance { display: flex; flex-wrap: wrap; align-items: baseline; gap: 8px;
  font-family: var(--sans); font-size: 12.5px; color: var(--muted); }
.provenance .dom { color: var(--ink); font-weight: 550; }
.provenance a { color: var(--link); }
.provenance .dot { color: var(--line-2); }
.provenance .expand {
  margin-left: auto; background: none; border: none; cursor: pointer;
  font-family: var(--sans); font-size: 12.5px; color: var(--link);
  text-decoration: underline; text-underline-offset: 3px; padding: 0;
}
.receipt { display: none; margin-top: 14px; padding: 15px 18px;
  background: var(--panel); border: 1px solid var(--line); border-radius: 8px; }
.receipt.open { display: block; animation: unfurl 0.22s ease; }
@keyframes unfurl { from { opacity: 0; transform: translateY(-3px); } to { opacity: 1; transform: none; } }
.receipt .row { display: flex; flex-wrap: wrap; gap: 14px; font-family: var(--sans);
  font-size: 12px; color: var(--muted); margin-bottom: 10px; }
.receipt .reason { font-family: var(--serif); font-style: italic; font-size: 16.5px;
  line-height: 1.55; border-left: 2px solid var(--verified); padding-left: 12px; }
.receipt.rej .reason { border-left-color: var(--reject); }
.inline-receipt.rej .ir-reason { border-left-color: var(--reject); }
.receipt .excerpt { font-family: var(--mono); font-size: 12px; color: var(--muted);
  background: var(--bg); border: 1px solid var(--line); border-radius: 6px;
  padding: 10px 12px; margin-top: 12px; line-height: 1.55; }
.receipt .excerpt .lbl { color: var(--faint); font-family: var(--sans); font-size: 11px;
  font-weight: 550; display: block; margin-bottom: 5px; }

/* ---- compare editions ---- */
.diverge-head { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; margin: 22px 0 14px; }
.diverge-head select {
  font-family: var(--sans); font-size: 13px; padding: 6px 26px 6px 10px;
  border: 1px solid var(--line-2); border-radius: 6px; background: transparent; color: var(--ink);
  appearance: none;
  background-image: linear-gradient(45deg, transparent 50%, var(--faint) 50%),
                    linear-gradient(135deg, var(--faint) 50%, transparent 50%);
  background-position: calc(100% - 14px) 13px, calc(100% - 9px) 13px;
  background-size: 5px 5px, 5px 5px; background-repeat: no-repeat;
}
.diverge-head .vs { font-family: var(--sans); font-size: 12px; color: var(--faint); }
.diff { border-top: 1px solid var(--line); }
.diff .grp-h {
  font-family: var(--sans); font-size: 13px; font-weight: 550; color: var(--ink);
  padding: 14px 2px 10px; border-bottom: 1px solid var(--line);
}
.diff .grp-h b { font-weight: 650; }
.drow { display: grid; grid-template-columns: 3fr 2fr; gap: 0 22px; border-bottom: 1px solid var(--line); }
.drow .side { padding: 14px 2px; }
.drow .side .pg { font-family: var(--sans); font-size: 11.5px; color: var(--faint); margin-bottom: 5px; }
.drow .side .pg a { color: var(--faint); }
.drow .side .cl { font-size: 16.5px; line-height: 1.45; }
.drow .side .why { font-family: var(--sans); font-size: 12.5px; color: var(--muted); line-height: 1.55; }
.drow .side .why .v { color: var(--reject); font-weight: 600; }
.empty-diff { padding: 40px 2px; color: var(--muted); font-style: italic; }

/* ---- requested articles ---- */
.bounty { display: flex; gap: 18px; align-items: baseline; padding: 14px 2px;
  border-top: 1px solid var(--line); }
.bounty .pg { font-family: var(--sans); font-size: 12.5px; font-weight: 550; color: var(--ink); min-width: 180px; }
.bounty .desc { font-size: 17px; color: var(--muted); flex: 1; }
.bounty .cover-link { font-family: var(--sans); font-size: 12.5px; font-weight: 500;
  text-decoration: none; white-space: nowrap; }
.bounty .cover-link:hover { text-decoration: underline; }

/* ---- contribute ---- */
.form { max-width: 620px; margin-top: 8px; }
.form .field { margin-bottom: 16px; }
.form label { display: block; font-family: var(--sans); font-size: 12px; font-weight: 550;
  color: var(--muted); margin-bottom: 6px; }
.form input, .form textarea {
  width: 100%; font-family: var(--serif); font-size: 17px; color: var(--ink);
  background: var(--bg); border: 1px solid var(--line-2); border-radius: 7px; padding: 10px 13px;
}
.form input.mono-in { font-family: var(--sans); font-size: 14px; }
.form textarea { min-height: 130px; resize: vertical; line-height: 1.55; }
.form input::placeholder, .form textarea::placeholder { color: var(--faint); }
.form .two { display: flex; gap: 14px; }
.form .two .field { flex: 1; }
button.burn {
  font-family: var(--sans); font-size: 14px; font-weight: 550;
  color: var(--bg); background: var(--ink); border: 1px solid var(--ink);
  border-radius: 7px; padding: 11px 20px; cursor: pointer;
}
button.burn:hover { opacity: 0.88; }
button.burn:disabled { opacity: 0.5; cursor: wait; }
.hint { font-family: var(--sans); font-size: 12.5px; color: var(--faint); margin-top: 13px; line-height: 1.6; max-width: 60ch; }
.hint b { color: var(--muted); }

/* live check */
.trial-live { margin-top: 26px; border: 1px solid var(--line); border-radius: 10px;
  background: var(--panel); padding: 20px 22px; }
.trial-live .running { font-family: var(--sans); font-size: 13px; color: var(--muted); }
.trial-live .running .scan { display: inline-block; width: 180px; height: 6px; margin-top: 12px;
  background: var(--panel-2); border-radius: 3px; position: relative; overflow: hidden; vertical-align: middle; }
.trial-live .running .scan::after { content: ''; position: absolute; top: 0; bottom: 0; width: 40%;
  border-radius: 3px; background: var(--faint); animation: scan 1.1s ease-in-out infinite; }
@keyframes scan { 0% { left: -40%; } 100% { left: 100%; } }
.verdict-reveal { animation: unfurl 0.3s ease; }
.trial-live .seal { font-size: 13px; }
.trial-live .row { display: flex; gap: 16px; font-family: var(--sans); font-size: 12px; color: var(--muted); }

/* research / ingest trace */
.trace-summary { font-family: var(--sans); font-size: 13px; font-weight: 550; color: var(--verified); margin-bottom: 14px; }
.trace-block { border-top: 1px solid var(--line); padding: 14px 0 6px; margin-bottom: 4px; }
.trace-src { margin-bottom: 8px; }
.trace-head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; }
.lean-tag { font-family: var(--sans); font-size: 10.5px; font-weight: 550; padding: 1px 7px;
  border: 1px solid var(--line-2); border-radius: 999px; color: var(--muted); }
.lean-left { color: var(--lean-l); border-color: var(--lean-l); }
.lean-right { color: var(--lean-r); border-color: var(--lean-r); }
.trace-dom { font-family: var(--sans); font-size: 13px; font-weight: 550; color: var(--ink); }
.trace-link { font-family: var(--sans); font-size: 12px; }
.trace-lean-why { font-style: italic; font-size: 14.5px; color: var(--muted); margin-top: 6px; line-height: 1.5; }
.trace-excerpt { font-family: var(--mono); font-size: 12px; color: var(--muted); line-height: 1.55;
  margin-top: 8px; padding-left: 10px; border-left: 2px solid var(--line-2); }
.trace-claims { padding: 2px 0 6px; }
.trace-claim { padding: 9px 0; border-top: 1px dashed var(--line); }
.trace-verdict { font-family: var(--sans); font-size: 11.5px; font-weight: 600; margin-right: 8px; }
.trace-claim.ok .trace-verdict { color: var(--verified); }
.trace-claim.no .trace-verdict { color: var(--reject); }
.trace-text { font-size: 16px; }
.trace-reason { font-family: var(--sans); font-size: 12px; color: var(--muted); margin-top: 4px; line-height: 1.5; }
.contrib-switch { margin-top: 0; }

/* the sentence being corrected stays visibly held while the popover is open */
.defended.correcting { background: var(--hl); box-shadow: 0 0 0 2px var(--hl); border-radius: 3px; }
.correct-quote { grid-column: 1 / -1; font-family: var(--serif); font-style: italic; font-size: 14px;
  color: var(--muted); padding: 2px 4px 0; line-height: 1.45; }

/* correction popover */
.correct-pop { position: absolute; z-index: 45; width: 360px; background: var(--bg);
  border: 1px solid var(--line-2); border-radius: 10px;
  box-shadow: 0 12px 32px rgba(0,0,0,0.14); padding: 10px;
  display: grid; grid-template-columns: 1fr auto; gap: 8px; align-items: center; }
.correct-input { font-family: var(--serif); font-size: 16px; border: none; background: none;
  padding: 6px 4px; color: var(--ink); outline: none; }
.correct-input::placeholder { color: var(--faint); }
.correct-go { font-family: var(--sans); font-size: 15px; line-height: 1; background: var(--ink);
  color: var(--bg); border: none; border-radius: 7px; width: 32px; height: 32px; cursor: pointer; }
.correct-go:hover { opacity: 0.88; }
.correct-go:disabled { opacity: 0.5; cursor: wait; }
.correct-hint { grid-column: 1 / -1; font-family: var(--sans); font-size: 11.5px; color: var(--faint);
  line-height: 1.45; padding: 0 4px; }
.correct-out { grid-column: 1 / -1; }
.correct-out:empty { display: none; }
.correct-out .running { font-family: var(--sans); font-size: 12.5px; color: var(--muted); padding: 6px 4px; }
.correct-msg { font-family: var(--sans); font-size: 12px; color: var(--muted); line-height: 1.5; padding: 8px 4px 2px; }
.correct-result { padding: 8px 4px 2px; border-top: 1px solid var(--line); margin-top: 4px; }
.cr-src { display: flex; flex-wrap: wrap; align-items: baseline; gap: 6px 10px; }
.cr-verdict { font-family: var(--sans); font-size: 12px; font-weight: 600; }
.cr-verdict.ok { color: var(--verified); }
.cr-verdict.no { color: var(--reject); }
.cr-dom { font-family: var(--sans); font-size: 12px; color: var(--muted); }
.cr-reason { font-style: italic; font-size: 14.5px; line-height: 1.5; color: var(--ink); margin-top: 6px; }

.form select.form-select {
  width: 100%; font-family: var(--sans); font-size: 14px; color: var(--ink);
  background: var(--bg); border: 1px solid var(--line-2); border-radius: 7px;
  padding: 10px 13px; appearance: none; cursor: pointer;
  background-image: linear-gradient(45deg, transparent 50%, var(--faint) 50%),
                    linear-gradient(135deg, var(--faint) 50%, transparent 50%);
  background-position: calc(100% - 18px) 50%, calc(100% - 13px) 50%;
  background-size: 5px 5px, 5px 5px; background-repeat: no-repeat;
}

/* ---- about ---- */
.ed-list { max-width: 62ch; }
.ed-item { padding: 14px 0; border-top: 1px solid var(--line); }
.ed-head { display: flex; align-items: baseline; justify-content: space-between; gap: 14px; }
.ed-name { font-family: var(--sans); font-size: 14.5px; font-weight: 600; color: var(--ink); }
.ed-count { font-family: var(--sans); font-size: 12px; color: var(--faint); }
.ed-desc { font-family: var(--serif); font-size: 15.5px; color: var(--ink); margin-top: 3px; }
.ed-rule { font-family: var(--sans); font-size: 13px; color: var(--muted); margin-top: 3px; }
.ed-policy { font-style: italic; font-size: 15.5px; color: var(--muted); margin-top: 6px; line-height: 1.5; }

.ex-grid { display: grid; margin-top: 22px; max-width: 62ch; }
.ex-item { padding: 18px 0; border-top: 1px solid var(--line); }
.ex-item h4 { font-family: var(--sans); font-size: 13.5px; font-weight: 600; color: var(--ink); margin: 0 0 6px; }
.ex-item p { font-size: 17px; line-height: 1.6; margin: 0; color: var(--muted); }
.stats { display: flex; flex-wrap: wrap; gap: 0 48px; border-top: 1px solid var(--line);
  padding-top: 18px; margin-top: 8px; }
.stat .n { font-family: var(--serif); font-size: 30px; font-weight: 560; line-height: 1.1; }
.stat .l { font-family: var(--sans); font-size: 12px; color: var(--muted); margin-top: 3px; }

/* ---- credit & payments ---- */
.credit-chip {
  font-family: var(--sans); font-size: 12.5px; font-weight: 550; color: var(--verified);
  background: transparent; border: 1px solid var(--verified); border-radius: 999px;
  padding: 5px 12px; cursor: pointer; white-space: nowrap;
}
.credit-chip:hover { background: var(--panel); }
.pay-overlay { position: fixed; inset: 0; background: rgba(0,0,0,0.35); z-index: 80;
  display: flex; align-items: flex-start; justify-content: center; padding: 7vh 18px; overflow: auto; }
.pay-sheet { background: var(--bg); border: 1px solid var(--line-2); border-radius: 14px;
  max-width: 480px; width: 100%; padding: 20px 22px; box-shadow: 0 24px 60px rgba(0,0,0,0.25); }
.pay-head { display: flex; align-items: baseline; gap: 12px; }
.pay-title { font-family: var(--serif); font-size: 22px; font-weight: 560; }
.pay-bal { font-family: var(--sans); font-size: 12.5px; color: var(--verified); font-weight: 550; flex: 1; }
.pay-signout { font-family: var(--sans); font-size: 11.5px; color: var(--muted);
  background: none; border: 1px solid var(--line-2); border-radius: 6px; padding: 3px 9px; cursor: pointer; }
.pay-signout:hover { color: var(--ink); }
.pay-close { background: none; border: none; font-size: 22px; color: var(--faint); cursor: pointer; line-height: 1; }
.pay-notice { font-family: var(--sans); font-size: 13px; color: var(--reject);
  background: var(--panel); border-radius: 8px; padding: 10px 12px; margin-top: 12px; }
.pay-why { font-size: 15px; line-height: 1.55; color: var(--muted); margin: 12px 0 4px; }
.pay-sec { border-top: 1px solid var(--line); margin-top: 16px; padding-top: 14px; }
.pay-sec-h { font-family: var(--sans); font-size: 12.5px; font-weight: 600; color: var(--ink); margin-bottom: 10px; }
.pay-packs { display: flex; gap: 10px; }
.pay-pack { font-family: var(--sans); font-size: 14px; font-weight: 550; color: var(--ink);
  background: var(--panel); border: 1px solid var(--line-2); border-radius: 8px;
  padding: 9px 18px; cursor: pointer; }
.pay-pack:hover { background: var(--panel-2); }
.pay-pack:disabled { opacity: 0.5; }
.pay-hint { font-family: var(--sans); font-size: 12.5px; color: var(--muted); line-height: 1.55; margin: 0 0 10px; }
.pay-addr { display: flex; align-items: center; gap: 8px; background: var(--panel);
  border-radius: 8px; padding: 8px 10px; margin-bottom: 10px; }
.pay-addr code { font-family: var(--mono); font-size: 11px; word-break: break-all; color: var(--ink); flex: 1; }
.pay-copy { font-family: var(--sans); font-size: 11.5px; background: none; border: 1px solid var(--line-2);
  border-radius: 6px; padding: 4px 9px; cursor: pointer; color: var(--muted); }
.pay-verify { display: flex; gap: 8px; margin-bottom: 10px; }
.pay-verify input { flex: 1; font-family: var(--mono); font-size: 12px; padding: 8px 10px;
  border: 1px solid var(--line-2); border-radius: 8px; background: var(--bg); color: var(--ink); }
.pay-wallet { font-family: var(--sans); font-size: 12.5px; font-weight: 500; color: var(--link);
  background: none; border: none; padding: 0; cursor: pointer; text-decoration: underline; text-underline-offset: 3px; }
.pay-out { font-family: var(--sans); font-size: 12.5px; color: var(--muted); margin-top: 12px; line-height: 1.5; }
.pay-out:empty { display: none; }

/* ---- showcase (home) ---- */
.showcase { display: flex; flex-direction: column; gap: 8px; margin: 0 0 36px; }
.show-card {
  display: block; max-width: 46rem; text-decoration: none;
  border: 1px solid var(--line); border-left: 3px solid var(--reject);
  border-radius: 8px; background: var(--panel); padding: 12px 16px;
}
.show-card:hover { border-color: var(--line-2); background: var(--panel-2); }
.show-title { display: block; font-family: var(--sans); font-size: 13.5px; font-weight: 600; color: var(--ink); }
.show-note { display: block; font-family: var(--serif); font-style: italic; font-size: 15px; color: var(--muted); margin-top: 2px; }

/* ---- hero compare (home): the thesis, shown ---- */
.hero-compare {
  margin: 0 0 30px; padding: 20px 24px 18px; max-width: 46rem;
  border: 1px solid var(--line); border-radius: 10px; background: var(--panel);
}
.hero-compare .ftitle { margin-bottom: 6px; }
.hero-note { font-family: var(--sans); font-size: 13px; color: var(--muted); margin: 0 0 12px; line-height: 1.55; }
.hero-note b { color: var(--ink); font-weight: 600; }
.hero-prose { font-size: 17.5px; line-height: 1.66; margin: 0 0 14px; }
.hero-cut {
  text-decoration: line-through; text-decoration-color: var(--reject);
  text-decoration-thickness: 1.5px; color: var(--muted); cursor: help;
}
.hero-actions { display: flex; flex-wrap: wrap; gap: 8px; }
.hero-btn {
  font-family: var(--sans); font-size: 12.5px; font-weight: 550; text-decoration: none;
  color: var(--ink); border: 1px solid var(--line-2); border-radius: 7px; padding: 7px 13px;
  background: var(--bg);
}
.hero-btn:hover { background: var(--panel-2); }
.hero-btn.ghost { border-color: transparent; color: var(--link); }

/* ---- audit teaser (home) + audit page ---- */
.audit-teaser {
  display: flex; align-items: baseline; gap: 14px; max-width: 46rem;
  margin: 0 0 34px; padding: 14px 18px; text-decoration: none;
  border: 1px solid var(--line); border-left: 3px solid var(--reject);
  border-radius: 8px; background: var(--panel);
}
.audit-teaser:hover { background: var(--panel-2); }
.audit-n { font-family: var(--serif); font-size: 34px; font-weight: 600; color: var(--reject); }
.audit-t { font-family: var(--sans); font-size: 13.5px; color: var(--ink); line-height: 1.5; }
.audit-hero { display: flex; align-items: baseline; gap: 20px; flex-wrap: wrap; margin: 8px 0 22px; max-width: 62ch; }
.audit-big { font-family: var(--serif); font-size: 76px; font-weight: 600; color: var(--reject); line-height: 1; }
.audit-big-l { font-family: var(--sans); font-size: 15px; color: var(--ink); max-width: 34ch; line-height: 1.55; }

/* ---- receipt: corroboration / dissent / freshness lines ---- */
.inline-receipt .ir-line {
  font-family: var(--sans); font-size: 12.5px; color: var(--muted);
  margin-top: 10px; line-height: 1.5;
}
.inline-receipt .ir-line .lbl { color: var(--faint); font-size: 10.5px; font-weight: 550;
  letter-spacing: 0.04em; text-transform: uppercase; margin-right: 6px; }
.inline-receipt .ir-cor a { color: var(--ink); font-weight: 550; text-decoration: none; }
.inline-receipt .ir-cor a:hover { text-decoration: underline; text-underline-offset: 3px; }
.inline-receipt .ir-cs { color: var(--verified); }
.inline-receipt .ir-rv { color: var(--muted); }
.inline-receipt .ir-rv.warn { color: var(--reject); }
.ir-actions { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 10px; }
.ir-action { display: inline-flex; align-items: center; gap: 6px; }
.ir-action-out { font-family: var(--sans); font-size: 12px; color: var(--muted); }
.ir-action-out:empty { display: none; }

/* ---- ledger of refusals ---- */
.ledger { max-width: 62ch; }
.ledger-row { padding: 13px 0; border-top: 1px solid var(--line); }
.lr-top { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px 14px; align-items: baseline; }
.lr-verdict { font-family: var(--sans); font-size: 12px; font-weight: 600; color: var(--reject); }
.lr-meta { font-family: var(--sans); font-size: 11.5px; color: var(--faint); }
.lr-claim { font-size: 16.5px; line-height: 1.5; margin-top: 4px; }
.lr-reason { font-family: var(--sans); font-size: 12.5px; color: var(--muted); margin-top: 3px; line-height: 1.5; }

/* ---- advanced disclosure (forms) ---- */
details.advanced { margin: 4px 0 16px; border: 1px solid var(--line); border-radius: 8px; padding: 0 14px; }
details.advanced summary {
  font-family: var(--sans); font-size: 12.5px; font-weight: 550; color: var(--muted);
  padding: 10px 0; cursor: pointer; user-select: none;
}
details.advanced[open] summary { border-bottom: 1px solid var(--line); margin-bottom: 14px; }
details.advanced .field:last-child { margin-bottom: 14px; }

/* ---- footer ---- */
footer { border-top: 1px solid var(--line); margin-top: 40px; }
footer .wrap { display: flex; flex-wrap: wrap; gap: 6px 28px; padding: 22px 24px 30px;
  font-family: var(--sans); font-size: 12.5px; color: var(--muted); }
footer b { color: var(--ink); font-weight: 600; }

/* ---- responsive ---- */
@media (max-width: 820px) {
  .masthead .bar { flex-wrap: wrap; gap: 12px 18px; }
  .nav { order: 3; width: 100%; overflow-x: auto; white-space: nowrap; scrollbar-width: none; }
  .nav::-webkit-scrollbar { display: none; }
}
@media (max-width: 720px) {
  body { font-size: 18px; }
  .ed-menu { position: fixed; left: 0; right: 0; bottom: 0; top: auto; width: 100%;
    max-width: none; border-radius: 16px 16px 0 0; border-bottom: none;
    max-height: 72vh; overflow-y: auto; box-shadow: 0 -12px 40px rgba(0,0,0,0.25); }
  .ed-menu::before { content: ''; display: block; width: 40px; height: 4px;
    border-radius: 2px; background: var(--line-2); margin: 10px auto 2px; }
  h1.title { font-size: 32px; }
  .prose { font-size: 18.5px; }
  .searchbox input { width: 100px; }
  .searchbox input:focus { width: 140px; }
  .drow { grid-template-columns: 1fr; gap: 0; }
  .drow .side + .side { padding-top: 0; }
  .index a { grid-template-columns: 1fr; }
  .index .figs { display: none; }
  .ftitle { font-size: 25px; }
  .pagehead { flex-direction: column; align-items: flex-start; gap: 10px; }
  .modeswitch { align-self: flex-start; }
  .stats { gap: 0 32px; }
}
@media (prefers-reduced-motion: reduce) {
  * { animation: none !important; transition: none !important; }
}