/* bayesian demo: one stylesheet for every page. System fonts, no external
   requests; light and dark follow the system setting. */

:root {
  color-scheme: light dark;
  --bg: #f8f7f4;
  --surface: #ffffff;
  --surface-2: #f1efea;
  --text: #1c1d21;
  --muted: #5c5f66;
  --faint: #8a8d93;
  --border: #e2dfd8;
  --accent: #2f56c8;
  --accent-soft: #e7ecfb;
  --accent-ink: #ffffff;
  --belief: #2f8a57;
  --disbelief: #c8432f;
  --uncert: #b9bdc4;
  --uncert-stripe: #d5d8dd;
  --tone-true: #23764a;
  --tone-false: #b83a28;
  --tone-mislead: #a5650d;
  --tone-contest: #7445c4;
  --tone-disputed: #b5531c;
  --tone-neutral: #62666e;
  --tone-true-bg: #e5f3ea;
  --tone-false-bg: #fbe8e4;
  --tone-mislead-bg: #fbf0dc;
  --tone-contest-bg: #efe8fb;
  --tone-disputed-bg: #fcebdf;
  --tone-neutral-bg: #eeeff1;
  --shadow: 0 1px 2px rgba(20, 20, 30, 0.06), 0 2px 8px rgba(20, 20, 30, 0.04);
  --radius: 10px;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #131417;
    --surface: #1b1d21;
    --surface-2: #23262b;
    --text: #e9e7e3;
    --muted: #a4a7ad;
    --faint: #7c8087;
    --border: #33363c;
    --accent: #8ca8ff;
    --accent-soft: #232b44;
    --accent-ink: #0f1424;
    --belief: #4cb67d;
    --disbelief: #ec6d58;
    --uncert: #5b6069;
    --uncert-stripe: #4a4e56;
    --tone-true: #6fd09b;
    --tone-false: #f28b78;
    --tone-mislead: #e7b155;
    --tone-contest: #b796f2;
    --tone-disputed: #f0a06b;
    --tone-neutral: #a9adb4;
    --tone-true-bg: #193326;
    --tone-false-bg: #3a1e19;
    --tone-mislead-bg: #382a12;
    --tone-contest-bg: #2a2140;
    --tone-disputed-bg: #3a2516;
    --tone-neutral-bg: #2a2d32;
    --shadow: none;
  }
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 16px/1.55 var(--sans);
}
a { color: var(--accent); text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }
code, pre, .mono { font-family: var(--mono); font-size: 0.86em; }
code { background: var(--surface-2); padding: 0.05em 0.35em; border-radius: 4px; }
pre { background: var(--surface-2); padding: 12px 14px; border-radius: 8px; overflow-x: auto; line-height: 1.45; }
pre code { background: none; padding: 0; }
h1, h2, h3 { line-height: 1.25; letter-spacing: -0.01em; }
h1 { font-size: 1.9rem; margin: 0.2em 0 0.4em; }
h2 { font-size: 1.3rem; margin: 1.8em 0 0.6em; }
h3 { font-size: 1.05rem; margin: 1.2em 0 0.4em; }
p { margin: 0 0 0.9em; }
.muted { color: var(--muted); }
.small { font-size: 0.86rem; }
.nowrap { white-space: nowrap; }
[hidden] { display: none !important; }
.visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }

/* ---- header and layout ---- */
.site-header {
  background: var(--surface);
  border-bottom: 1px solid var(--border);
}
.site-header .inner {
  max-width: 1040px; margin: 0 auto; padding: 10px 16px;
  display: flex; align-items: center; gap: 18px; flex-wrap: wrap;
}
.brand { display: flex; align-items: center; gap: 8px; font-weight: 700; color: var(--text); text-decoration: none; font-size: 1.05rem; }
.brand img, .brand svg { width: 26px; height: 26px; display: block; }
.site-nav { display: flex; gap: 4px 14px; flex-wrap: wrap; font-size: 0.95rem; }
.site-nav a { color: var(--muted); text-decoration: none; padding: 4px 0; border-bottom: 2px solid transparent; }
.site-nav a:hover { color: var(--text); }
.site-nav a[aria-current="page"] { color: var(--text); border-bottom-color: var(--accent); }
main { max-width: 1040px; margin: 0 auto; padding: 24px 16px 64px; }
.narrow { max-width: 760px; }
.site-footer { border-top: 1px solid var(--border); color: var(--muted); font-size: 0.85rem; }
.site-footer .inner { max-width: 1040px; margin: 0 auto; padding: 16px; display: flex; gap: 8px 20px; flex-wrap: wrap; }

/* ---- generic pieces ---- */
.card { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 16px 18px; box-shadow: var(--shadow); }
.card + .card { margin-top: 14px; }
.grid { display: grid; gap: 14px; }
.grid.cols-2 { grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); }
.grid.cols-3 { grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); }
.tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(140px, 1fr)); gap: 12px; margin: 14px 0; }
.tiles.wide { grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); }
.tile { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 12px 14px; }
.tile .num { font-size: 1.6rem; font-weight: 700; letter-spacing: -0.02em; line-height: 1.1; font-variant-numeric: tabular-nums; }
.tile .lbl { color: var(--muted); font-size: 0.85rem; margin-top: 2px; }
.btn {
  display: inline-flex; align-items: center; gap: 6px; border-radius: 8px; padding: 9px 16px; font: inherit; font-weight: 600;
  border: 1px solid var(--accent); background: var(--accent); color: var(--accent-ink); cursor: pointer; text-decoration: none;
}
.btn.secondary { background: transparent; color: var(--accent); }
.btn.small { padding: 5px 10px; font-size: 0.85rem; font-weight: 600; }
.btn:disabled { opacity: 0.55; cursor: progress; }
.btn-row { display: flex; gap: 10px; flex-wrap: wrap; margin: 16px 0; }
.chip {
  display: inline-block; font-size: 0.76rem; line-height: 1.5; padding: 0 8px; border-radius: 999px;
  background: var(--surface-2); color: var(--muted); border: 1px solid var(--border); white-space: nowrap;
}
.chip.strong { color: var(--text); }
.notice { border-left: 4px solid var(--accent); background: var(--accent-soft); padding: 10px 14px; border-radius: 0 8px 8px 0; margin: 12px 0; }
.notice.warn { border-left-color: var(--tone-mislead); background: var(--tone-mislead-bg); }
.notice.err { border-left-color: var(--tone-false); background: var(--tone-false-bg); }
.notice > :last-child { margin-bottom: 0; }
.lede { font-size: 1.12rem; color: var(--text); max-width: 720px; }
.kicker { text-transform: uppercase; letter-spacing: 0.08em; font-size: 0.75rem; color: var(--muted); font-weight: 600; }
table { border-collapse: collapse; width: 100%; font-size: 0.92rem; }
th, td { text-align: left; padding: 7px 10px; border-bottom: 1px solid var(--border); vertical-align: top; }
th { color: var(--muted); font-weight: 600; font-size: 0.82rem; }
.table-wrap { overflow-x: auto; }
ol.rules, ul.plain { padding-left: 1.3em; }
ol.rules li, ul.plain li { margin: 0.35em 0; }
details > summary { cursor: pointer; }
input[type=text], input[type=password], input[type=email], input[type=number], textarea, select {
  font: inherit; color: var(--text); background: var(--surface); border: 1px solid var(--border); border-radius: 8px; padding: 8px 10px; width: 100%;
}
textarea { min-height: 180px; resize: vertical; line-height: 1.5; }
input:focus, textarea:focus, select:focus, .btn:focus-visible, summary:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
label { font-weight: 600; font-size: 0.92rem; }
.field { margin: 12px 0; }
.field .hint { font-weight: 400; color: var(--muted); font-size: 0.85rem; }
.modes { display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); gap: 10px; }
.mode { display: block; border: 1px solid var(--border); border-radius: 10px; padding: 10px 12px; background: var(--surface); cursor: pointer; font-weight: 400; }
.mode:has(input:checked) { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent) inset; }
.mode b { display: inline; }
.mode input { margin-right: 6px; }
.inline-fields { display: flex; gap: 12px 18px; flex-wrap: wrap; align-items: center; }
.inline-fields label { font-weight: 400; display: flex; gap: 6px; align-items: center; }
.inline-fields input[type=number] { width: 5em; }

/* ---- verdict view ---- */
.tone-true { --tone: var(--tone-true); --tone-bg: var(--tone-true-bg); }
.tone-false { --tone: var(--tone-false); --tone-bg: var(--tone-false-bg); }
.tone-mislead { --tone: var(--tone-mislead); --tone-bg: var(--tone-mislead-bg); }
.tone-contest { --tone: var(--tone-contest); --tone-bg: var(--tone-contest-bg); }
.tone-disputed { --tone: var(--tone-disputed); --tone-bg: var(--tone-disputed-bg); }
.tone-neutral { --tone: var(--tone-neutral); --tone-bg: var(--tone-neutral-bg); }
.label-chip { display: inline-block; color: var(--tone); background: var(--tone-bg); border-radius: 999px; padding: 1px 10px; font-weight: 600; font-size: 0.85rem; white-space: nowrap; }

.verdict-meta { display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 8px 18px; margin: 10px 0 4px; font-size: 0.9rem; }
.verdict-meta dt { color: var(--muted); font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.05em; }
.verdict-meta dd { margin: 0; overflow-wrap: anywhere; }
.summary-bar { display: flex; height: 12px; border-radius: 6px; overflow: hidden; margin: 10px 0 6px; background: var(--surface-2); }
.summary-bar span { display: block; height: 100%; background: var(--tone); }
.summary-legend { display: flex; flex-wrap: wrap; gap: 6px 10px; font-size: 0.85rem; }
.toolbar { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; margin: 18px 0 10px; }
.toolbar button { font: inherit; font-size: 0.85rem; border: 1px solid var(--border); background: var(--surface); color: var(--text); border-radius: 999px; padding: 3px 12px; cursor: pointer; }
.toolbar button[aria-pressed="true"] { background: var(--text); color: var(--bg); border-color: var(--text); }

.claim { background: var(--surface); border: 1px solid var(--border); border-left: 5px solid var(--tone); border-radius: var(--radius); padding: 14px 16px 12px; margin: 12px 0; box-shadow: var(--shadow); }
.claim[hidden] { display: none; }
.claim-top { display: flex; justify-content: space-between; gap: 10px; align-items: flex-start; flex-wrap: wrap; }
.claim-idx { color: var(--faint); font-variant-numeric: tabular-nums; font-size: 0.85rem; margin-right: 6px; }
.claim-text { margin: 4px 0 10px; font-size: 1.05rem; line-height: 1.45; }
.claim-text.paraphrase { color: var(--muted); font-style: italic; }
.shown { font-size: 1.25rem; font-weight: 700; color: var(--tone); letter-spacing: -0.01em; }
.shown .basis { display: block; font-size: 0.82rem; font-weight: 500; color: var(--muted); letter-spacing: 0; }
.literal { font-size: 0.88rem; color: var(--muted); margin-top: 2px; }

.opinion { margin: 10px 0 6px; }
.obar { position: relative; height: 22px; }
.obar .track { display: flex; height: 100%; border-radius: 6px; overflow: hidden; background: var(--surface-2); }
.obar .track > span { display: block; height: 100%; }
.obar .b { background: var(--belief); }
.obar .d { background: var(--disbelief); }
.obar .u { background: repeating-linear-gradient(135deg, var(--uncert) 0 6px, var(--uncert-stripe) 6px 12px); }
.obar .p { position: absolute; top: -5px; bottom: -5px; width: 3px; margin-left: -1.5px; background: var(--text); border-radius: 2px; }
.obar.mini { height: 10px; }
.obar.mini .track { border-radius: 3px; }
.obar.mini .p { top: -3px; bottom: -3px; width: 2px; }
.olegend { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: 0.84rem; color: var(--muted); margin-top: 6px; font-variant-numeric: tabular-nums; }
.olegend i { display: inline-block; width: 10px; height: 10px; border-radius: 2px; margin-right: 4px; vertical-align: -1px; }
.olegend .kb i { background: var(--belief); }
.olegend .kd i { background: var(--disbelief); }
.olegend .ku i { background: repeating-linear-gradient(135deg, var(--uncert) 0 3px, var(--uncert-stripe) 3px 6px); }
.olegend .kp i { width: 3px; background: var(--text); }
.olegend b { color: var(--text); font-weight: 600; }

.framing { border: 1px solid var(--border); background: var(--tone-mislead-bg); border-radius: 8px; padding: 10px 12px; margin: 10px 0; font-size: 0.92rem; }
.framing .fk { font-weight: 700; color: var(--tone-mislead); }
.framing .std { margin-top: 6px; }
.flags { margin: 8px 0 0; padding-left: 1.2em; font-size: 0.86rem; color: var(--muted); }
.flags li { margin: 2px 0; overflow-wrap: anywhere; }
.derived { font-size: 0.88rem; margin: 8px 0 0; overflow-wrap: anywhere; }
ul.derivation { list-style: none; margin: 6px 0 0; padding-left: 1.1em; border-left: 1px dashed var(--border); font-size: 0.88rem; }
ul.derivation.root { padding-left: 0; border-left: 0; }
ul.derivation > li { margin: 6px 0; overflow-wrap: anywhere; }
.dnode code { font-size: 0.82rem; }
.grounding { font-size: 0.7rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.05em; padding: 1px 6px; border-radius: 4px; background: var(--tone-neutral-bg); color: var(--tone-neutral); }
.grounding.g-statute, .grounding.g-record, .grounding.g-measurement { background: var(--tone-true-bg); color: var(--tone-true); }
.grounding.g-supplied { background: var(--surface-2); color: var(--text); border: 1px solid var(--border); }
.grounding.g-judgement { background: var(--tone-mislead-bg); color: var(--tone-mislead); }
.grounding.g-analysis { background: var(--text); color: var(--bg); }
details.basis { display: inline-block; margin-left: 6px; }
details.basis > summary { cursor: pointer; }
details.basis ul { margin: 4px 0 0; }
.tech { font-family: var(--mono); font-size: 0.76rem; color: var(--faint); margin-top: 10px; overflow-wrap: anywhere; }
.claim-actions { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 10px; align-items: center; }
.explain-out { margin-top: 8px; font-size: 0.78rem; white-space: pre-wrap; }

details.chain { margin-top: 10px; border-top: 1px dashed var(--border); padding-top: 8px; }
details.chain > summary { font-weight: 600; font-size: 0.92rem; }
details.chain[open] > summary { margin-bottom: 6px; }
.chain-note { font-size: 0.8rem; color: var(--muted); margin: 4px 0 8px; }
.arg { border: 1px solid var(--border); border-radius: 8px; padding: 10px 12px; margin: 8px 0; background: var(--surface-2); }
.arg-head { display: flex; gap: 8px; align-items: baseline; flex-wrap: wrap; }
.arg-head code { background: none; padding: 0; font-size: 0.8rem; overflow-wrap: anywhere; }
.status { font-size: 0.72rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.06em; padding: 1px 7px; border-radius: 4px; }
.status.decisive { background: var(--text); color: var(--bg); }
.status.supporting { background: var(--tone-true-bg); color: var(--tone-true); }
.status.overridden { background: var(--tone-false-bg); color: var(--tone-false); }
.status.inapplicable { background: var(--tone-neutral-bg); color: var(--tone-neutral); }
.arg-meta { font-size: 0.82rem; color: var(--muted); margin: 6px 0; display: flex; flex-wrap: wrap; gap: 4px 14px; }
.arg .obar { margin-top: 8px; }
ul.evidence { list-style: none; margin: 8px 0 0; padding: 0; }
ul.evidence li { border-top: 1px solid var(--border); padding: 7px 0 6px; font-size: 0.88rem; }
.ev-side { font-weight: 700; font-size: 0.75rem; text-transform: uppercase; letter-spacing: 0.05em; margin-right: 6px; }
.ev-side.for { color: var(--tone-true); }
.ev-side.against { color: var(--tone-false); }
.ev-src { font-weight: 500; overflow-wrap: anywhere; }
.ev-meta { color: var(--muted); font-size: 0.8rem; margin-top: 2px; display: flex; flex-wrap: wrap; gap: 2px 12px; overflow-wrap: anywhere; }
.ev-status { display: inline-block; font-size: 0.72rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.04em; padding: 0 6px; border-radius: 4px; margin-left: 6px; background: var(--tone-neutral-bg); color: var(--tone-neutral); }
.ev-status.retracted, .ev-status.erroneous { background: var(--tone-false-bg); color: var(--tone-false); }
.ev-status.stale, .ev-status.superseded { background: var(--tone-mislead-bg); color: var(--tone-mislead); }
ul.evidence li.ev-retracted .ev-src, ul.evidence li.ev-retracted .kind { text-decoration: line-through; opacity: 0.75; }
.ev-prov { color: var(--faint); font-size: 0.76rem; }
.ev-flag { margin-left: 8px; padding: 1px 8px; font-size: 0.74rem; border: 1px solid var(--border); border-radius: 4px; background: var(--surface); color: var(--muted); cursor: pointer; }
.ev-flag:hover { color: var(--text); border-color: var(--muted); }
.flag-form { display: flex; flex-wrap: wrap; gap: 6px 8px; align-items: center; margin-top: 6px; font-size: 0.82rem; }
.flag-form select, .flag-form input { width: auto; padding: 3px 6px; font-size: 0.82rem; }
.flag-form input[type="text"] { flex: 1 1 14em; min-width: 0; }
.flag-out { font-size: 0.8rem; margin-top: 4px; }
.changes { margin: 10px 0; font-size: 0.9rem; }
.changes ul { margin: 4px 0 0; padding-left: 1.2em; }
.changes li { margin: 2px 0; overflow-wrap: anywhere; }
.version-diff { margin: 2px 0 4px 1.2em; padding: 0; list-style: none; font-size: 0.82rem; color: var(--muted); }
.version-diff li { overflow-wrap: anywhere; }
.kind { font-size: 0.72rem; font-weight: 600; border-radius: 4px; padding: 0 6px; margin-right: 6px; background: var(--surface); border: 1px solid var(--border); white-space: nowrap; }
.kind.official_record, .kind.proven { border-color: var(--tone-true); color: var(--tone-true); }
.kind.llm_recall, .kind.anecdote { color: var(--faint); }
.groups { font-size: 0.82rem; color: var(--muted); margin: 6px 0 0; padding-left: 1.2em; }

.how { border: 1px solid var(--border); background: var(--surface); border-radius: var(--radius); padding: 14px 18px; margin: 16px 0; }
.how h2 { margin: 0; font-size: 1.05rem; display: inline; }
.how > summary { margin-bottom: 8px; }
.how:not([open]) > summary { margin-bottom: 0; }
.how dl { display: grid; grid-template-columns: max-content 1fr; gap: 6px 14px; margin: 0; font-size: 0.92rem; }
.how dt { font-weight: 700; }
.how dd { margin: 0; }
@media (max-width: 560px) { .how dl { grid-template-columns: 1fr; } .how dd { margin-bottom: 6px; } }

.source-text { white-space: pre-wrap; font-size: 0.92rem; max-height: 360px; overflow-y: auto; background: var(--surface-2); padding: 12px 14px; border-radius: 8px; margin-top: 8px; }
.side-lists { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 12px; margin-top: 18px; }
.side-lists .card ul { margin: 6px 0 0; padding-left: 1.2em; font-size: 0.86rem; color: var(--muted); max-height: 280px; overflow-y: auto; }
.side-lists .card li { overflow-wrap: anywhere; margin: 2px 0; }

.status-line { display: flex; align-items: center; gap: 10px; font-size: 0.95rem; }
.spinner { width: 16px; height: 16px; border: 2px solid var(--border); border-top-color: var(--accent); border-radius: 50%; animation: spin 0.8s linear infinite; }
@keyframes spin { to { transform: rotate(360deg); } }
@media (prefers-reduced-motion: reduce) { .spinner { animation: none; } }

.sample-card h3 { margin: 6px 0 6px; font-size: 1.02rem; }
.sample-card h3 a { color: var(--text); text-decoration: none; }
.sample-card h3 a:hover { color: var(--accent); }
.sample-card .summary-bar { height: 8px; }

.figure { background: #fff; border: 1px solid var(--border); border-radius: 8px; padding: 6px; }
.figure img { display: block; width: 100%; height: auto; }
figure { margin: 0; }
figcaption { font-size: 0.82rem; color: var(--muted); margin-top: 6px; }

.hero { padding: 18px 0 6px; }
.hero h1 { font-size: 2.2rem; max-width: 760px; }
@media (max-width: 560px) { .hero h1 { font-size: 1.7rem; } h1 { font-size: 1.55rem; } }
.endpoint { font-family: var(--mono); font-size: 0.85rem; white-space: nowrap; }
.method { font-weight: 700; display: inline-block; min-width: 3.4em; }
.mode .hint { display: block; margin-top: 2px; }
.claim.compact { padding: 9px 14px 8px; border-left-width: 3px; box-shadow: none; }
.claim.compact .claim-text { font-size: 0.95rem; margin: 2px 0 6px; }
.compact-line { display: grid; grid-template-columns: minmax(80px, 220px) 1fr; gap: 12px; align-items: center; }
.claim.compact details.chain { margin-top: 6px; padding-top: 4px; }
.claim.compact details.chain > summary { font-weight: 500; font-size: 0.82rem; color: var(--muted); }
.claim.compact details.chain details.chain { border-top: 0; }

/* ---- recent checks (check page) ---- */
#recent { scroll-margin-top: 12px; }
.recent-head { display: flex; justify-content: space-between; align-items: baseline; gap: 6px 18px; flex-wrap: wrap; margin: 2.2em 0 0.4em; }
.recent-head h2 { margin: 0; }
.recent-toggle { font-weight: 400; display: flex; gap: 6px; align-items: center; font-size: 0.92rem; cursor: pointer; }
.recent-list { list-style: none; margin: 10px 0 14px; padding: 0; }
.recent-sep { font-size: 0.82rem; font-weight: 700; color: var(--muted); text-transform: uppercase; letter-spacing: 0.05em; margin: 14px 0 6px; }
.recent-item {
  display: flex; gap: 10px 14px; align-items: flex-start; justify-content: space-between;
  background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 10px 14px; margin: 8px 0; box-shadow: var(--shadow);
}
.recent-item.current { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent) inset; }
.recent-body { min-width: 0; flex: 1; }
.recent-text { display: block; font-weight: 500; color: var(--text); text-decoration: none; overflow-wrap: anywhere; }
a.recent-text:hover { color: var(--accent); text-decoration: underline; }
.recent-item.expired .recent-text { color: var(--muted); }
.recent-meta { display: flex; flex-wrap: wrap; gap: 2px 12px; align-items: center; font-size: 0.84rem; color: var(--muted); margin-top: 4px; font-variant-numeric: tabular-nums; }
.recent-item .summary-bar { height: 6px; margin: 8px 0 4px; max-width: 420px; }
.recent-labels, .recent-note { font-size: 0.82rem; color: var(--muted); overflow-wrap: anywhere; }
.recent-note { margin-top: 4px; }
.recent-empty { color: var(--muted); font-size: 0.9rem; padding: 6px 0; }
.jstat { display: inline-block; font-size: 0.72rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.05em; padding: 0 7px; border-radius: 4px; background: var(--surface-2); color: var(--muted); }
.jstat.queued, .jstat.running { background: var(--accent-soft); color: var(--accent); }
.jstat.done { background: var(--tone-neutral-bg); color: var(--text); }
.jstat.failed { background: var(--tone-false-bg); color: var(--tone-false); }
.jstat.interrupted { background: var(--tone-mislead-bg); color: var(--tone-mislead); }
.jstat.expired, .jstat.unknown { background: var(--surface-2); color: var(--faint); }

/* ---- investigating open gaps (check page and verdict page) ---- */
.investigate { margin-top: 12px; padding-top: 10px; border-top: 1px solid var(--border); }
.investigate-row { display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: center; }
.investigate-row label { font-weight: 400; display: flex; gap: 6px; align-items: center; font-size: 0.9rem; }
.investigate-row select, .inline-fields select { width: auto; padding: 5px 8px; }
.investigate p { margin: 8px 0 0; }
.inv-status .notice { margin: 10px 0 0; }
.recent-item.investigation { margin-left: 18px; }
@media (max-width: 560px) { .recent-item.investigation { margin-left: 8px; } }
/* ---- premises and contexts: what a verdict assumes, and its other readings ---- */
.assumes { border: 1px solid var(--border); background: var(--surface-2); border-radius: 8px; padding: 8px 12px; margin: 10px 0; font-size: 0.9rem; }
.assumes ul.plain { margin: 2px 0 6px; padding-left: 1.1em; }
.assumes-head { font-weight: 700; font-size: 0.8rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); }
.assumes .where { font-size: 0.8rem; color: var(--muted); overflow-wrap: anywhere; }
.assumes .where code { font-size: 0.76rem; }
.readings { margin-top: 6px; }
.readings p { margin: 2px 0 6px; }
.readings-table td.num, .readings-table th:nth-child(2), .readings-table th:nth-child(4) { text-align: right; white-space: nowrap; }
.readings-table td { padding: 5px 8px; }
.review-table td.num { text-align: right; white-space: nowrap; }
.review-table .changed { font-weight: 700; color: var(--tone-contest); }
.review-table tr.changed-row td { background: var(--tone-contest-bg); }
.review-table .tech { margin-top: 4px; }
.versions { margin: 10px 0; font-size: 0.92rem; }
.versions ul { margin: 4px 0 0; }
.versions li { margin: 2px 0; }

/* Norms at a site: the requirement as the act words it, claimed against required, the assumptions. */
.norms { margin: 18px 0; }
.norm { background: var(--surface); border: 1px solid var(--border); border-left: 4px solid var(--tone); border-radius: var(--radius); padding: 12px 14px; margin: 10px 0; box-shadow: var(--shadow); }
.norm-head { display: flex; flex-wrap: wrap; gap: 6px 10px; align-items: baseline; overflow-wrap: anywhere; }
.norm-head .fk { font-weight: 700; text-transform: capitalize; }
.norm-req { margin: 8px 0; padding: 6px 10px; border-left: 3px solid var(--border); background: var(--surface-2); font-size: 0.92rem; white-space: pre-line; overflow-wrap: anywhere; }
.norm-values { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 6px 14px; margin: 8px 0; font-size: 0.9rem; }
.norm-values dt { color: var(--muted); font-size: 0.8rem; }
.norm-values dd { margin: 0; overflow-wrap: anywhere; }
.norm-conditions { margin: 6px 0; overflow-wrap: anywhere; }
.site-fields { border: 1px solid var(--border); border-radius: 10px; padding: 8px 12px; }
.site-fields legend { font-weight: 600; padding: 0 4px; }
.site-fields .inline-fields { margin: 6px 0; }
.site-fields input[type=number] { width: 9em; }

/* Languages: the selector, the original marker and toggle, quotes with their reading beside them. */
.lang-select select { font: inherit; font-size: 0.85rem; color: var(--muted); background: transparent; border: 1px solid var(--border); border-radius: 6px; padding: 2px 6px; }
.lt-toggle { font: inherit; font-size: 0.72rem; color: var(--muted); background: transparent; border: 1px solid var(--border); border-radius: 999px; padding: 0 6px; margin-left: 2px; cursor: pointer; vertical-align: 1px; white-space: nowrap; }
.lt-toggle:disabled { cursor: default; opacity: 0.8; }
.lt-toggle:not(:disabled):hover { color: var(--text); }
.lt-beside { display: block; color: var(--muted); font-size: 0.9em; margin-top: 2px; }
.ev-quote { margin: 6px 0 2px; padding: 4px 10px; border-left: 3px solid var(--border); font-size: 0.92rem; }
.reading { color: var(--muted); font-size: 0.85rem; font-style: italic; }
.sample-items li { margin: 4px 0; }

/* Accounts: signing in, accepting an invite, the account page and the admin's. */
.form-narrow { max-width: 480px; }
.kv { display: grid; grid-template-columns: repeat(auto-fit, minmax(160px, 1fr)); gap: 8px 18px; margin: 8px 0; font-size: 0.92rem; }
.kv dt { color: var(--muted); font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.05em; }
.kv dd { margin: 0; overflow-wrap: anywhere; }
.secret { font-family: var(--mono); font-size: 0.86rem; background: var(--surface-2); border: 1px dashed var(--border); border-radius: 8px; padding: 8px 10px; overflow-wrap: anywhere; word-break: break-all; user-select: all; margin: 8px 0; }
.meter { height: 10px; border-radius: 5px; background: var(--surface-2); overflow: hidden; margin: 6px 0 2px; }
.meter > span { display: block; height: 100%; background: var(--accent); }
.list-plain { list-style: none; padding: 0; margin: 8px 0; }
.list-plain > li { border-top: 1px solid var(--border); padding: 8px 0; overflow-wrap: anywhere; }
.list-plain > li:first-child { border-top: 0; }
.settings-fields { display: flex; flex-wrap: wrap; gap: 8px 14px; align-items: flex-end; margin: 8px 0; }
.settings-fields label { font-weight: 400; font-size: 0.85rem; display: flex; flex-direction: column; gap: 2px; }
.settings-fields input[type=number] { width: 8.5em; }
.notice-item.seen { opacity: 0.7; }