/* ==========================================================================
   Alexandros — alexandros.ai
   One shared stylesheet. Light/dark via prefers-color-scheme.
   No external requests; system font stacks only.
   ========================================================================== */

:root {
  color-scheme: light dark;

  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, "Times New Roman", serif;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;

  --bg: #faf9f6;
  --surface: #ffffff;
  --surface-2: #f2f0e9;
  --ink: #1c1e21;
  --ink-2: #4c4f54;
  --muted: #75777c;
  --line: #e3e1d8;
  --line-strong: #cfccc0;

  --accent: #1a4a8a;
  --accent-hover: #123a70;
  --accent-soft: #e9eef7;

  /* verdict status colors (validated: green | grey | red, grey between) */
  --good: #0ca30c;
  --good-ink: #086c10;
  --good-bg: rgba(12, 163, 12, 0.10);
  --bad: #d03b3b;
  --bad-ink: #a02525;
  --bad-bg: rgba(208, 59, 59, 0.10);
  --ne: #8a887f;
  --ne-ink: #5b5a54;
  --ne-bg: rgba(138, 136, 127, 0.16);

  --code-bg: #f3f1ea;
  --pre-bg: #f7f5ef;
  --shadow: 0 1px 2px rgba(28, 30, 33, 0.05);

  --maxw-prose: 52rem;
  --maxw-wide: 80rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #14161a;
    --surface: #1b1e24;
    --surface-2: #21252c;
    --ink: #e9e7e0;
    --ink-2: #bcbbb3;
    --muted: #8d8e92;
    --line: #2b2f37;
    --line-strong: #3a3f49;

    --accent: #8db2e3;
    --accent-hover: #aac7ef;
    --accent-soft: rgba(141, 178, 227, 0.13);

    --good: #0ca30c;
    --good-ink: #6fcf7e;
    --good-bg: rgba(22, 163, 45, 0.16);
    --bad: #d03b3b;
    --bad-ink: #ef8f8f;
    --bad-bg: rgba(208, 59, 59, 0.16);
    --ne: #9a988f;
    --ne-ink: #b3b1a8;
    --ne-bg: rgba(154, 152, 143, 0.15);

    --code-bg: #232730;
    --pre-bg: #191c22;
    --shadow: none;
  }
}

/* ---------- reset-ish ---------- */

* { box-sizing: border-box; }

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
  -webkit-text-size-adjust: 100%;
}

img { max-width: 100%; }

a { color: var(--accent); text-decoration: none; }
a:hover { color: var(--accent-hover); text-decoration: underline; }

[id] { scroll-margin-top: 5rem; }

code, pre, kbd {
  font-family: var(--mono);
}

code {
  background: var(--code-bg);
  border-radius: 3px;
  padding: 0.08em 0.32em;
  font-size: 0.86em;
}

pre {
  background: var(--pre-bg);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 1rem 1.15rem;
  overflow-x: auto;
  font-size: 0.82rem;
  line-height: 1.55;
}
pre code { background: none; padding: 0; font-size: inherit; }

hr {
  border: none;
  border-top: 1px solid var(--line);
  margin: 2.5rem 0;
}

::selection { background: var(--accent-soft); }

/* ---------- top nav ---------- */

.topnav {
  position: sticky;
  top: 0;
  z-index: 50;
  background: color-mix(in srgb, var(--bg) 88%, transparent);
  backdrop-filter: blur(8px);
  -webkit-backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--line);
}

.topnav nav {
  max-width: var(--maxw-wide);
  margin: 0 auto;
  padding: 0.65rem 1.25rem;
  display: flex;
  align-items: baseline;
  gap: 1.6rem;
  flex-wrap: wrap;
}

.topnav .brand {
  font-family: var(--serif);
  font-size: 1.15rem;
  font-weight: 700;
  letter-spacing: 0.02em;
  color: var(--ink);
}
.topnav .brand:hover { color: var(--accent); text-decoration: none; }

.topnav .navlinks {
  display: flex;
  gap: 1.25rem;
  flex-wrap: wrap;
  font-size: 0.9rem;
  margin-left: auto;
}

.topnav .navlinks a {
  color: var(--ink-2);
  padding-bottom: 2px;
  border-bottom: 2px solid transparent;
}
.topnav .navlinks a:hover {
  color: var(--accent);
  text-decoration: none;
}
.topnav .navlinks a[aria-current="page"] {
  color: var(--accent);
  border-bottom-color: var(--accent);
  font-weight: 600;
}

/* ---------- generic layout ---------- */

.container {
  max-width: var(--maxw-prose);
  margin: 0 auto;
  padding: 0 1.25rem;
}

.container-wide {
  max-width: var(--maxw-wide);
  margin: 0 auto;
  padding: 0 1.25rem;
}

.page-head {
  padding-top: 3rem;
  padding-bottom: 0.5rem;
}
.page-head h1 {
  font-family: var(--serif);
  font-size: 2rem;
  line-height: 1.25;
  margin: 0 0 0.5rem;
}
.page-head .lede {
  color: var(--ink-2);
  font-size: 1.02rem;
  max-width: 46rem;
  margin: 0;
}

/* ---------- prose (serif, manifesto + preprint) ---------- */

.prose {
  font-family: var(--serif);
  font-size: 1.0625rem;
  line-height: 1.7;
}

.prose h1, .prose h2, .prose h3, .prose h4 {
  font-family: var(--serif);
  line-height: 1.3;
  color: var(--ink);
}
.prose h1 { font-size: 1.85rem; margin: 0 0 1.2rem; }
.prose h2 { font-size: 1.45rem; margin: 2.6rem 0 0.9rem; }
.prose h3 { font-size: 1.15rem; margin: 2rem 0 0.7rem; }
.prose h4 { font-size: 1rem; margin: 1.6rem 0 0.6rem; }

.prose p { margin: 0 0 1.05rem; }
.prose ul, .prose ol { margin: 0 0 1.05rem; padding-left: 1.6rem; }
.prose li { margin-bottom: 0.45rem; }

.prose strong { font-weight: 700; }

.prose .table-wrap {
  overflow-x: auto;
  margin: 0 0 1.3rem;
  border: 1px solid var(--line);
  border-radius: 6px;
}
.prose table {
  border-collapse: collapse;
  width: 100%;
  font-size: 0.88rem;
  font-family: var(--sans);
  line-height: 1.45;
}
.prose th, .prose td {
  text-align: left;
  padding: 0.5rem 0.85rem;
  border-bottom: 1px solid var(--line);
  vertical-align: top;
}
.prose th {
  font-weight: 650;
  background: var(--surface-2);
  white-space: nowrap;
}
.prose tr:last-child td { border-bottom: none; }

/* ==========================================================================
   INDEX — hero, manifesto, stats, findings, contribute, footer
   ========================================================================== */

.hero {
  padding-top: 4.5rem;
  padding-bottom: 3rem;
  text-align: left;
}

.hero .kicker {
  font-family: var(--sans);
  font-size: 0.78rem;
  font-weight: 650;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--accent);
  margin: 0 0 1rem;
}

.hero h1 {
  font-family: var(--serif);
  font-size: clamp(2.4rem, 6vw, 3.6rem);
  line-height: 1.12;
  margin: 0 0 1.1rem;
  font-weight: 700;
  letter-spacing: -0.01em;
}

.hero h1 .subtitle {
  display: block;
  font-size: clamp(1.15rem, 2.6vw, 1.5rem);
  font-weight: 400;
  font-style: italic;
  color: var(--ink-2);
  margin-top: 0.55rem;
  letter-spacing: 0;
}

.hero .thesis {
  font-family: var(--serif);
  font-size: 1.15rem;
  line-height: 1.55;
  color: var(--ink);
  max-width: 44rem;
  margin: 0 0 1.8rem;
  padding-left: 1rem;
  border-left: 3px solid var(--accent);
}

.hero .cta-row {
  display: flex;
  gap: 0.8rem;
  flex-wrap: wrap;
  font-family: var(--sans);
}

.btn {
  display: inline-block;
  font-size: 0.9rem;
  font-weight: 600;
  padding: 0.55rem 1.1rem;
  border-radius: 6px;
  border: 1px solid var(--accent);
}
.btn.primary {
  background: var(--accent);
  color: #fff;
}
.btn.primary:hover { background: var(--accent-hover); border-color: var(--accent-hover); color: #fff; text-decoration: none; }
@media (prefers-color-scheme: dark) {
  .btn.primary { color: #10141b; }
  .btn.primary:hover { color: #10141b; }
}
.btn.ghost { color: var(--accent); }
.btn.ghost:hover { background: var(--accent-soft); text-decoration: none; }

.rule-double {
  border: none;
  border-top: 3px double var(--line-strong);
  margin: 0;
}

.manifesto {
  padding-top: 3rem;
  padding-bottom: 1rem;
}
.manifesto h2 {
  font-size: 0.78rem;
  font-family: var(--sans);
  font-weight: 650;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--muted);
  margin: 0 0 1.4rem;
}
.manifesto .prose p:first-of-type::first-letter {
  font-size: 3.1em;
  float: left;
  line-height: 0.85;
  padding: 0.06em 0.09em 0 0;
  color: var(--accent);
  font-weight: 700;
}

/* stats band */

.stats-band {
  background: var(--surface-2);
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  margin: 3rem 0;
  padding-top: 2.2rem;
  padding-bottom: 2.2rem;
}

.stats-grid {
  display: grid;
  grid-template-columns: repeat(5, 1fr);
  gap: 1.5rem 2rem;
  text-align: center;
}

.stat .num {
  display: block;
  font-size: clamp(1.6rem, 3.2vw, 2.3rem);
  font-weight: 700;
  color: var(--accent);
  line-height: 1.15;
}
.stat .lbl {
  display: block;
  margin-top: 0.3rem;
  font-size: 0.78rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--ink-2);
}

@media (max-width: 860px) {
  .stats-grid { grid-template-columns: repeat(2, 1fr); }
  .stats-grid .stat:last-child { grid-column: 1 / -1; }
}

/* findings cards */

.findings {
  padding-top: 1rem;
  padding-bottom: 3rem;
}
.findings > h2 {
  font-family: var(--serif);
  font-size: 1.6rem;
  margin: 0 0 0.4rem;
}
.findings > .sub {
  color: var(--ink-2);
  margin: 0 0 1.8rem;
  font-size: 0.95rem;
}

.cards {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.2rem;
}
@media (max-width: 760px) {
  .cards { grid-template-columns: 1fr; }
}

.card {
  display: flex;
  flex-direction: column;
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 1.3rem 1.4rem 1.1rem;
  box-shadow: var(--shadow);
}

.card .n {
  font-family: var(--serif);
  font-size: 0.85rem;
  font-weight: 700;
  color: var(--accent);
  letter-spacing: 0.08em;
  margin-bottom: 0.5rem;
}
.card h3 {
  font-family: var(--serif);
  font-size: 1.18rem;
  line-height: 1.35;
  margin: 0 0 0.55rem;
}
.card p {
  font-size: 0.92rem;
  color: var(--ink-2);
  margin: 0 0 0.9rem;
  line-height: 1.55;
}
.card .quote {
  font-family: var(--serif);
  font-style: italic;
  font-size: 0.92rem;
  color: var(--ink);
  border-left: 3px solid var(--line-strong);
  padding-left: 0.8rem;
  margin: 0 0 0.9rem;
}
.card .links {
  margin-top: auto;
  font-size: 0.86rem;
  font-weight: 600;
  display: flex;
  gap: 1.1rem;
  flex-wrap: wrap;
}

/* contribute */

.contribute {
  background: var(--surface-2);
  border-top: 1px solid var(--line);
  padding-top: 3rem;
  padding-bottom: 3rem;
}
.contribute h2 {
  font-family: var(--serif);
  font-size: 1.6rem;
  margin: 0 0 1rem;
}
.contribute .prose { font-size: 1.02rem; }

/* footer */

.footer {
  border-top: 1px solid var(--line);
  padding-top: 2rem;
  padding-bottom: 2.6rem;
  font-size: 0.86rem;
  color: var(--muted);
}
.footer .cols {
  display: flex;
  gap: 2rem;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: baseline;
}
.footer nav { display: flex; gap: 1.4rem; flex-wrap: wrap; }
.footer a { color: var(--ink-2); }
.footer a:hover { color: var(--accent); }
.footer .sig { font-family: var(--serif); font-style: italic; }

/* ==========================================================================
   PREPRINT — floating TOC + rendered markdown
   ========================================================================== */

.pp-wrap {
  display: grid;
  grid-template-columns: 15rem minmax(0, var(--maxw-prose));
  gap: 3rem;
  max-width: 76rem;
  margin: 0 auto;
  padding: 2.5rem 1.25rem 4rem;
  align-items: start;
}

.pp-toc details {
  position: sticky;
  top: 4.2rem;
  max-height: calc(100vh - 5.5rem);
  overflow-y: auto;
  font-size: 0.82rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface);
  padding: 0.8rem 1rem;
}
.pp-toc summary {
  cursor: pointer;
  font-weight: 650;
  font-size: 0.78rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
  list-style: none;
}
.pp-toc summary::-webkit-details-marker { display: none; }
.pp-toc summary::after { content: " ▾"; color: var(--muted); }
.pp-toc details[open] summary { margin-bottom: 0.6rem; }

.pp-toc nav a {
  display: block;
  color: var(--ink-2);
  padding: 0.18rem 0;
  line-height: 1.4;
  border-left: 2px solid transparent;
}
.pp-toc nav a:hover { color: var(--accent); text-decoration: none; }
.pp-toc nav a.h3 {
  padding-left: 0.9rem;
  font-size: 0.78rem;
  color: var(--muted);
}
.pp-toc nav a.h3:hover { color: var(--accent); }

@media (max-width: 1080px) {
  .pp-wrap { grid-template-columns: minmax(0, 1fr); gap: 1.5rem; }
  .pp-toc details { position: static; max-height: none; }
}

.pp-meta {
  font-family: var(--sans);
  font-size: 0.85rem;
  color: var(--muted);
  margin-bottom: 1.5rem;
}

/* ==========================================================================
   AUDIT EXPLORER
   ========================================================================== */

.audit-head { padding: 2.5rem 0 0; }

/* summary meter */

.audit-summary {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 1.3rem 1.5rem 1.4rem;
  margin: 1.6rem 0 1.4rem;
  box-shadow: var(--shadow);
}

.audit-summary .headline {
  font-size: 0.95rem;
  color: var(--ink-2);
  margin: 0 0 0.9rem;
}
.audit-summary .headline strong { color: var(--ink); font-size: 1.05rem; }

.meter {
  display: flex;
  gap: 2px;
  height: 20px;
  border-radius: 5px;
  overflow: hidden;
  background: var(--bg);
}
.meter .seg { display: block; height: 100%; }
.meter .seg.s-inside { background: var(--good); border-radius: 5px 0 0 5px; }
.meter .seg.s-ne { background: var(--ne); }
.meter .seg.s-outside { background: var(--bad); border-radius: 0 5px 5px 0; }

/* legend chips double as verdict filters */

.chips {
  display: flex;
  gap: 0.55rem;
  flex-wrap: wrap;
  margin-top: 0.95rem;
}

.chip {
  font: inherit;
  font-size: 0.84rem;
  font-weight: 600;
  color: var(--ink-2);
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: 999px;
  padding: 0.32rem 0.85rem;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  line-height: 1.2;
}
.chip:hover { border-color: var(--accent); color: var(--accent); }
.chip[aria-pressed="true"] {
  background: var(--accent);
  border-color: var(--accent);
  color: #fff;
}
@media (prefers-color-scheme: dark) {
  .chip[aria-pressed="true"] { color: #10141b; }
}
.chip .dot {
  width: 10px;
  height: 10px;
  border-radius: 50%;
  display: inline-block;
  flex: none;
}
.chip .dot.d-inside { background: var(--good); }
.chip .dot.d-ne { background: var(--ne); }
.chip .dot.d-outside { background: var(--bad); }
.chip[aria-pressed="true"] .dot { outline: 2px solid rgba(255,255,255,0.7); }

/* toolbar */

.audit-toolbar {
  display: flex;
  gap: 0.7rem;
  flex-wrap: wrap;
  align-items: center;
  margin: 0 0 1.1rem;
}

.audit-toolbar input[type="search"] {
  flex: 1 1 16rem;
  font: inherit;
  font-size: 0.92rem;
  color: var(--ink);
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  padding: 0.5rem 0.8rem;
}
.audit-toolbar input[type="search"]:focus {
  outline: 2px solid var(--accent);
  outline-offset: -1px;
  border-color: var(--accent);
}

.audit-toolbar select {
  font: inherit;
  font-size: 0.88rem;
  color: var(--ink);
  background: var(--surface);
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  padding: 0.48rem 0.6rem;
}

.audit-toolbar .mini {
  font: inherit;
  font-size: 0.82rem;
  font-weight: 600;
  color: var(--ink-2);
  background: none;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  padding: 0.45rem 0.75rem;
  cursor: pointer;
}
.audit-toolbar .mini:hover { color: var(--accent); border-color: var(--accent); }

.audit-count {
  font-size: 0.85rem;
  color: var(--muted);
  margin-left: auto;
  white-space: nowrap;
}

/* record cards */

.recs { display: flex; flex-direction: column; gap: 0.7rem; padding-bottom: 4rem; }

.rec {
  background: var(--surface);
  border: 1px solid var(--line);
  border-left-width: 4px;
  border-radius: 8px;
  box-shadow: var(--shadow);
}
.rec.v-inside { border-left-color: var(--good); }
.rec.v-outside { border-left-color: var(--bad); }
.rec.v-ne { border-left-color: var(--ne); }

.rec summary {
  cursor: pointer;
  list-style: none;
  display: flex;
  gap: 0.85rem;
  align-items: flex-start;
  padding: 0.85rem 1.1rem;
}
.rec summary::-webkit-details-marker { display: none; }
.rec summary:hover .rec-title { color: var(--accent); }

.rec .chev {
  flex: none;
  margin-top: 0.35rem;
  width: 0.55rem;
  color: var(--muted);
  font-size: 0.7rem;
  transition: transform 0.15s;
}
.rec[open] .chev { transform: rotate(90deg); }

.rec-head { min-width: 0; flex: 1; }

.rec-title {
  display: block;
  font-weight: 650;
  font-size: 0.97rem;
  line-height: 1.4;
  color: var(--ink);
}

.rec-meta {
  display: block;
  margin-top: 0.25rem;
  font-size: 0.8rem;
  color: var(--muted);
  overflow-wrap: anywhere;
}
.rec-meta code {
  font-size: 0.76rem;
  background: none;
  padding: 0;
  color: var(--muted);
}

.badge {
  flex: none;
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  border-radius: 4px;
  padding: 0.22rem 0.55rem;
  margin-top: 0.15rem;
  white-space: nowrap;
}
.badge.v-inside { background: var(--good-bg); color: var(--good-ink); }
.badge.v-outside { background: var(--bad-bg); color: var(--bad-ink); }
.badge.v-ne { background: var(--ne-bg); color: var(--ne-ink); }

.rec-body {
  border-top: 1px solid var(--line);
  padding: 1rem 1.2rem 1.2rem;
  display: grid;
  gap: 1rem;
}

.rec-body h4 {
  margin: 0 0 0.35rem;
  font-size: 0.74rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
}
.rec-body p {
  margin: 0;
  font-size: 0.92rem;
  line-height: 1.6;
  color: var(--ink-2);
  overflow-wrap: anywhere;
}

.rec-body .eval pre {
  margin: 0;
  white-space: pre-wrap;
  overflow-wrap: anywhere;
  font-size: 0.85rem;
  line-height: 1.65;
  color: var(--ink);
  border-left: 3px solid var(--accent);
  border-radius: 4px;
}

@media (max-width: 620px) {
  .rec summary { flex-wrap: wrap; padding: 0.8rem 0.9rem; }
  .badge { order: -1; }
  .rec .chev { display: none; }
  .rec-body { padding: 0.9rem 0.9rem 1rem; }
}

/* load error */

.load-error {
  background: var(--bad-bg);
  border: 1px solid var(--bad);
  color: var(--ink);
  border-radius: 8px;
  padding: 1rem 1.2rem;
  font-size: 0.92rem;
  margin: 2rem 0;
}
.load-error code { background: var(--surface); }

.loading { color: var(--muted); font-size: 0.9rem; padding: 2rem 0; }

/* ==========================================================================
   THEOREMS
   ========================================================================== */

.thm-list {
  font-size: 0.95rem;
}
.thm-list li { margin-bottom: 0.55rem; }
.thm-list .tname { font-weight: 700; color: var(--ink); font-family: var(--mono); font-size: 0.85em; }

.lean-file {
  margin: 2.6rem 0;
}

.lean-file header {
  display: flex;
  align-items: baseline;
  gap: 0.9rem;
  flex-wrap: wrap;
  margin-bottom: 0.7rem;
}

.lean-file h2 {
  font-family: var(--mono);
  font-size: 1.02rem;
  font-weight: 700;
  margin: 0;
}

.badge-compile {
  font-size: 0.74rem;
  font-weight: 700;
  letter-spacing: 0.03em;
  color: var(--good-ink);
  background: var(--good-bg);
  border: 1px solid color-mix(in srgb, var(--good) 45%, transparent);
  border-radius: 999px;
  padding: 0.22rem 0.7rem;
  white-space: nowrap;
}
.badge-compile::before { content: "✓ "; }

.lean-file .fmeta { font-size: 0.8rem; color: var(--muted); }

pre.lean {
  max-height: 34rem;
  overflow: auto;
  tab-size: 2;
}

/* lean tinting */
.lc { color: var(--muted); font-style: italic; }              /* comment */
.lk { color: var(--accent); font-weight: 600; }               /* keyword */
.ls { color: var(--good-ink); }                               /* string */

/* ---------- small print ---------- */

.smallnote {
  font-size: 0.82rem;
  color: var(--muted);
}