:root {
  --paper: #EEF1F4; --paper-card: #F7F9FB; --ink: #1B2733; --ink-soft: #465565; --slate: #5E6E7E;
  --indigo: #1F3A5F; --teal: #2E6F73; --teal-deep: #1F4E52; --ochre: #8A6D2F; --line: #C3CDD7;
  --font-display: 'Newsreader', serif; --font-body: 'Literata', serif; --font-mono: 'IBM Plex Mono', monospace;
}
* { box-sizing: border-box; }
html { background: var(--paper); }
body { margin: 0; color: var(--ink); font-family: var(--font-body); font-size: 18px; line-height: 1.6; background: var(--paper); }
a { color: var(--indigo); }
main { max-width: 46rem; margin: 0 auto; padding: 1.5rem 16px 4rem; }
.site-header { display: flex; flex-wrap: wrap; align-items: baseline; gap: 1rem 2rem; padding: 1.25rem 16px; border-bottom: 1px solid var(--line); }
.site-title-lockup { text-decoration: none; color: var(--ink); display: flex; flex-direction: column; }
.site-title { font-family: var(--font-display); font-size: 1.6rem; font-weight: 600; }
.site-tagline { font-family: var(--font-mono); font-size: 12px; color: var(--ink-soft); letter-spacing: 0.04em; }
.site-header nav { display: flex; gap: 1.25rem; flex-wrap: wrap; margin-left: auto; }
.site-header nav a { text-decoration: none; color: var(--ink); font-family: var(--font-mono); font-size: 14px; }
.site-header nav a[aria-current] { border-bottom: 2px solid var(--indigo); }
h1, h2, h3 { font-family: var(--font-display); font-weight: 600; line-height: 1.2; }
h1 { font-size: 2.1rem; margin: 0.4rem 0 0.6rem; }
.eyebrow, .entry-meta { font-family: var(--font-mono); font-size: 12px; color: var(--ink-soft); letter-spacing: 0.04em; text-transform: uppercase; }
.subhead { color: var(--ink-soft); font-style: italic; margin-top: 0; }
table { border-collapse: collapse; width: 100%; font-size: 15px; margin: 1rem 0; }
th, td { text-align: left; padding: 6px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { font-family: var(--font-mono); font-size: 12px; letter-spacing: 0.04em; color: var(--ink-soft); }
.table-wrap { overflow-x: auto; }
.table-wrap table { min-width: 0; }
blockquote { border-left: 3px solid var(--teal); margin: 1rem 0; padding: 0.25rem 1rem; background: var(--paper-card); font-style: italic; }
pre, code { font-family: var(--font-mono); font-size: 14px; }
pre { background: var(--paper-card); padding: 0.75rem 1rem; overflow-x: auto; }
code { overflow-wrap: anywhere; }
.rid { font-family: var(--font-mono); font-size: 0.85em; }
a.rid { text-decoration: none; border-bottom: 1px dotted var(--indigo); }
.entry-list { list-style: none; padding: 0; }
.entry-list li { padding: 0.9rem 0; border-bottom: 1px solid var(--line); }
.entry-list h2, .entry-list h3 { font-size: 1.25rem; margin: 0.1rem 0 0.3rem; }
.tag { font-family: var(--font-mono); font-size: 11px; color: var(--teal-deep); border: 1px solid var(--teal); border-radius: 20px; padding: 1px 8px; margin-right: 4px; }
.site-footer { border-top: 1px solid var(--line); padding: 1.5rem 16px 3rem; font-size: 14px; color: var(--ink-soft); }
.site-footer p { max-width: 46rem; margin: 0.4rem auto; }
/* Grade badges — the same GRAMMAR as ondits.com (solid → outlined → tinted → thin outline → dashed → struck)
   so a reader of one site reads the other's grades instantly; the hues are this site's own (decided 21 Sept 2026). */
.badge-proven { font-family: var(--font-mono); font-size: 11px; font-weight: 600; letter-spacing: 0.03em; color: var(--paper-card); background: var(--indigo); border: 1px solid var(--indigo); border-radius: 20px; padding: 3px 10px; }
.badge-probable-strong { font-family: var(--font-mono); font-size: 11px; font-weight: 600; letter-spacing: 0.03em; color: var(--indigo); background: var(--paper-card); border: 1px solid var(--indigo); border-radius: 20px; padding: 3px 10px; }
.badge-probable { font-family: var(--font-mono); font-size: 11px; font-weight: 600; letter-spacing: 0.03em; color: var(--teal-deep); background: rgba(46, 111, 115, 0.16); border: 1px solid var(--teal); border-radius: 20px; padding: 3px 10px; }
.badge-possible { font-family: var(--font-mono); font-size: 11px; font-weight: 500; letter-spacing: 0.03em; color: var(--slate); background: transparent; border: 1px solid var(--slate); border-radius: 20px; padding: 3px 10px; }
.badge-unproven { font-family: var(--font-mono); font-size: 11px; font-weight: 500; letter-spacing: 0.03em; color: var(--ink-soft); background: transparent; border: 1px dashed var(--line); border-radius: 20px; padding: 3px 10px; }
.badge-disproven { font-family: var(--font-mono); font-size: 11px; font-weight: 500; letter-spacing: 0.03em; color: var(--slate); background: transparent; border: 1px solid var(--line); border-radius: 20px; padding: 3px 10px; text-decoration: line-through; }
@media (max-width: 600px) { body { font-size: 17px; } h1 { font-size: 1.7rem; } .site-header nav { margin-left: 0; } }