/* landing.css — the landing page (index.html), after primegaps.axiommath.ai. Tokens come from site.css. */

body.landing { font-family: "Inter Variable", var(--sans); line-height: 1.65; }
.nowrap { white-space: nowrap; }

/* ---- Hero ---- */
.hero {
  display: flex; flex-direction: column; align-items: center; text-align: center;
  padding: var(--s7) var(--s8) var(--s6); background: var(--brand-gradient);
}
.hero-brand {
  display: inline-flex; align-items: center; gap: 12px; margin: 0 0 var(--s3);
  font-weight: 600; font-size: 30px; letter-spacing: -0.01em;
}
.hero-brand .brand-logo { height: 84px; margin: 0 auto; }
.hero h1 { font-size: 51px; line-height: 1.12; max-width: 920px; margin: 0 0 var(--s2); text-wrap: balance; overflow-wrap: break-word; }
.hero-lead { max-width: 640px; margin: 0 0 var(--s2); font-size: 16.5px; line-height: 1.55; }
.hero-links { display: flex; gap: 22px; margin: 0 0 var(--s3); font-weight: 650; font-size: 15px; }
.hero-links a { color: var(--accent); }
.contributor-names { max-width: 800px; margin: 0; font-size: 12.5px; line-height: 1.65; }
.contributor-names + .contributor-names { margin-top: 4px; }
.contributor-group { font-weight: 700; }
.contributor-names sup, .contributor-legend sup { font-size: .75em; margin-left: 1px; }
.contributor-legend {
  display: flex; flex-wrap: wrap; justify-content: center; gap: 2px 16px; margin: 8px 0 var(--s4);
  font-size: 12px; color: #3d3d3d;
}
.hero-cta { display: flex; flex-wrap: wrap; justify-content: center; align-items: center; gap: 12px; }
.btn-large { padding: 18px 40px; font-size: 16px; font-weight: 700; }
.hero-cta .btn-secondary { background: rgba(255, 255, 255, .85); }

/* ---- Body ---- */
.content-body { max-width: 1280px; margin: 0 auto; padding: var(--s6) var(--s8) 0; display: flex; flex-direction: column; gap: var(--s6); }
.two-col { display: grid; grid-template-columns: repeat(auto-fit, minmax(336px, 1fr)); gap: var(--s6); }
.two-col > section { min-width: 0; }
.h2-wrap { margin: 0 0 var(--s2); }
.h2-wrap h2 { font-size: 28px; line-height: 1.25; margin: 0 0 8px; }
hr.rule { height: 2px; border: 0; margin: 0; background: var(--line); }
.content-body p { margin: 0 0 1em; }
.lead { color: var(--ink); max-width: 820px; }

.chapter-list { list-style: none; margin: 0; padding: 0; display: grid; gap: 4px; }
.chapter-list a {
  display: flex; align-items: baseline; gap: 12px; padding: 7px 12px; border-radius: 8px;
  color: var(--ink); background: var(--panel); font-weight: 550;
}
.chapter-list a:hover { background: var(--brand-light); color: var(--accent); text-decoration: none; }
.cl-no { color: var(--accent); font-weight: 700; min-width: 1em; font-variant-numeric: tabular-nums; }
.cl-count { margin-left: auto; color: var(--muted); font-size: 13px; font-weight: 500; white-space: nowrap; font-variant-numeric: tabular-nums; }

.stat-row { display: grid; grid-template-columns: repeat(auto-fit, minmax(96px, 1fr)); gap: 8px; margin: 0 0 var(--s3); }
.stat { display: flex; flex-direction: column; padding: 10px 12px; border-radius: var(--radius); background: var(--panel); border: 1px solid #e3eafc; }
.stat-n { font-family: var(--serif); font-size: 26px; line-height: 1.15; font-variant-numeric: tabular-nums; }
.stat-l { font-size: 12.5px; color: var(--muted); line-height: 1.3; }
.stat.st-formalized .stat-n { color: var(--st-formalized); }
.stat.st-assumed .stat-n { color: var(--st-assumed); }
.stat.st-excluded .stat-n { color: var(--st-excluded); }

/* Highlights */
.hl-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 440px), 1fr)); gap: var(--s2); }
.hl-card {
  display: flex; flex-direction: column; min-width: 0; padding: var(--s3); background: #fff; border-radius: 16px;
  border: 1px solid #e3eafc; border-top: 4px solid var(--accent); box-shadow: 0 8px 16px rgba(0, 54, 163, .07);
}
.hl-eyebrow { margin: 0 0 4px !important; font-size: 13px; font-weight: 650; color: var(--muted); }
.hl-card h3 { font-family: var(--serif); font-weight: 400; font-size: 22px; line-height: 1.25; margin: 0 0 10px; }
.hl-statement { padding: 10px 14px; background: var(--panel); border-left: 3px solid var(--brand); border-radius: 0 8px 8px 0; margin-bottom: 12px; overflow-wrap: break-word; }
.hl-statement p { margin: 0 !important; }
.hl-statement .katex-display { overflow-x: auto; overflow-y: hidden; }
.hl-more { font-size: 15px; color: #333; }
.hl-lean { margin: auto 0 0 !important; padding-top: 10px; border-top: 1px solid #edf1fa; font-size: 13px; overflow-wrap: anywhere; }
.hl-lean code { font-size: 12.5px; }
.hl-lean-k { font-weight: 700; color: var(--muted); font-size: 11.5px; letter-spacing: .05em; text-transform: uppercase; margin-right: 4px; }
.hl-badge { white-space: nowrap; }

/* Sources */
.resource-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(min(100%, 272px), 1fr)); gap: var(--s2); }
.resource-card {
  display: flex; flex-direction: column; justify-content: space-between; gap: var(--s2); padding: var(--s3);
  background: #fff; border-radius: 16px; box-shadow: 0 8px 16px rgba(0, 54, 163, .07); border: 1px solid #edf1fa;
}
.resource-card h3 { font-family: var(--serif); font-weight: 400; font-size: 21px; line-height: 1.35; margin: 0 0 8px; }
.resource-card p { font-size: 15px; color: #333; margin: 0 !important; }
.card-links { display: flex; flex-wrap: wrap; gap: 6px 20px; font-weight: 700; font-size: 15px; }

/* Process */
.process-section { padding: var(--s5); border-radius: 16px; background: linear-gradient(145deg, #f7faff 0%, #ebf1ff 100%); }
.process-intro h2 { color: var(--accent); font-size: 28px; margin: 0 0 var(--s2); }
.process-intro p { max-width: 820px; }
.process-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: var(--s2); margin-top: var(--s3); }
.process-step { padding: var(--s3); background: #fff; border-radius: 16px; box-shadow: 0 8px 16px rgba(0, 54, 163, .08); }
.process-step h3 { font-family: var(--serif); font-weight: 400; font-size: 21px; line-height: 1.35; margin: 0 0 var(--s2); }
.process-step p { color: var(--muted); font-size: 15.2px; line-height: 1.45; margin: 0 !important; }

/* Citation */
#cite { padding: var(--s2); border: 1px solid var(--line); border-radius: 8px; background: #fff; scroll-margin-top: 80px; }
.cite-head { display: flex; justify-content: space-between; align-items: center; gap: var(--s2); }
.cite-head h2 { font-family: var(--sans); font-size: 16px; font-weight: 700; margin: 0; letter-spacing: 0; }
.cite-copy {
  display: inline-flex; align-items: center; gap: 6px; padding: 4px 10px; border-radius: 6px;
  border: 1px solid var(--line); background: #fff; color: var(--accent); font: inherit; font-size: 13px; font-weight: 650; cursor: pointer;
}
.cite-copy:hover { background: var(--brand-light); }
#cite-bibtex {
  margin: 8px 0 0; font-family: var(--mono); font-size: 12px; line-height: 1.45; white-space: pre-wrap;
  overflow-wrap: anywhere; color: var(--ink);
}

/* Footer */
.landing-footer {
  max-width: 1280px; margin: var(--s6) auto 0; padding: var(--s3) var(--s8) var(--s5);
  display: flex; justify-content: space-between; gap: var(--s2); color: var(--muted); font-size: 15px;
  border-top: 2px solid var(--line);
}
.landing-footer p { margin: 0; }
.foot-links { display: flex; flex-wrap: wrap; gap: 8px 24px; }
.foot-links a { color: var(--muted); }
.foot-links a:hover { color: var(--accent); }

@media (max-width: 900px) {
  .process-grid { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 800px) {
  .hero { padding: var(--s5) var(--s3) var(--s5); }
  .hero h1 { font-size: 34px; }
  .content-body { padding: var(--s5) 16px 0; gap: var(--s5); }
  .landing-footer { flex-direction: column; padding: var(--s3) 16px var(--s5); }
  .process-section { padding: var(--s3) 16px; }
}
@media (max-width: 480px) {
  .hero { padding: var(--s4) 16px; }
  .hero h1 { font-size: 30px; }
  .hero-brand { font-size: 24px; }
  .hero-brand .brand-logo { height: 64px; }
  .two-col { grid-template-columns: minmax(0, 1fr); }
  .btn-large { padding: 14px 28px; width: 100%; }
  .hero-cta .btn { width: 100%; }
  .hl-card, .resource-card, .process-step { padding: 18px 16px; }
}

/* Live data: draft tags and the notes shown when data/blueprint.json cannot be loaded */
.tag-draft {
  display: inline-block; font-size: 10.5px; font-weight: 700; letter-spacing: .04em; text-transform: uppercase;
  padding: 0 5px; border-radius: 4px; line-height: 1.6; color: #6a4a00; background: #fff1cc; vertical-align: 1px;
}
.data-note {
  display: flex; flex-wrap: wrap; align-items: center; gap: 6px 12px; padding: 8px 12px; border-radius: 8px;
  background: #fff7e0; border: 1px solid #f0d28a; color: #5c4200; font-size: 14px; line-height: 1.45;
}
.data-retry {
  font: inherit; font-size: 13px; font-weight: 650; padding: 3px 12px; border-radius: 999px; cursor: pointer;
  border: 1px solid var(--accent); background: #fff; color: var(--accent);
}
.data-retry:disabled { opacity: .6; cursor: default; }
.hl-unavailable { color: var(--muted); font-style: italic; }