/* OreAlgebraLean — styling in the spirit of the Axiom Math "PrimeGaps"
 * project pages (primegaps.axiommath.ai): white background, deep blue
 * accent, serif display headings.
 * This file is loaded last, so these rules override the shipped theme. */

:root {
  --oal-accent: #2340a0;
  --oal-accent-dark: #1a3180;
  --oal-ink: #21242c;
  --oal-muted: #555b66;
  --oal-rule: #d9dce3;
}

/* ---------- Typography ---------- */

body,
div.content,
div.main-text {
  font-family: "Source Sans 3", "Source Sans Pro", "Segoe UI", system-ui, sans-serif;
  color: var(--oal-ink);
}

h1, h2, h3, h4, h5, h6,
#doc_title {
  font-family: "Source Serif 4", "Source Serif Pro", Georgia, "Times New Roman", serif;
  color: var(--oal-ink);
}

h1 {
  font-weight: 600;
  border-bottom: 2px solid var(--oal-accent);
  padding-bottom: 0.35rem;
}h2 {
  font-weight: 600;
  margin-top: 2rem;
}

h3 {
  font-weight: 600;
  color: var(--oal-accent-dark);
}

p, li {
  line-height: 1.6;
}

a {
  color: var(--oal-accent);
}

a:hover {
  color: var(--oal-accent-dark);
}

/* ---------- Top bar ---------- */

/* Brand bar injected on every blueprint page (see script at the bottom of
 * this file). Matches the landing page (public/index.html) topbar so the
 * blueprint feels like part of the same site and always offers a way back. */
.oal-topbar {
  position: sticky;
  top: 0;
  z-index: 1000;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.7rem 2rem;
  background: #ffffff;
  border-bottom: 1px solid var(--oal-rule);
}

.oal-topbar .oal-brand {
  font-family: "Source Serif 4", Georgia, serif;
  font-size: 1.2rem;
  font-weight: 700;
  color: var(--oal-ink);
  text-decoration: none;
}

.oal-topbar .oal-brand span { color: var(--oal-accent); }
.oal-topbar .oal-brand:hover { color: var(--oal-accent-dark); }

.oal-topbar nav { display: flex; align-items: center; gap: 1.4rem; }
.oal-topbar nav a {
  font-weight: 600;
  color: var(--oal-accent);
  text-decoration: none;
}

.oal-topbar nav a.oal-pill {
  display: inline-block;
  padding: 0.35rem 1.1rem;
  border-radius: 999px;
  background: var(--oal-accent);
  color: #fff;
  border: 2px solid var(--oal-accent);
}

.oal-topbar nav a.oal-pill:hover {
  background: var(--oal-accent-dark);
  border-color: var(--oal-accent-dark);
  color: #fff;
}

header {
  background: #ffffff;
  border-bottom: 1px solid var(--oal-rule);
  padding: 0.6rem 1.2rem;
  align-items: center;
  gap: 1rem;
}

#doc_title {
  font-size: 1.25rem;
  font-weight: 600;
}

#doc_title a {
  color: var(--oal-ink);
  text-decoration: none;
}

#doc_title a:hover {
  color: var(--oal-accent);
}

#doc_title {
  border-bottom: 2px solid var(--oal-accent);
  padding-bottom: 0.15rem;
}

#toc-toggle {
  cursor: pointer;
}

/* ---------- Sidebar TOC ---------- */

nav.toc {
  background: #fbfbfd;
  border-right: 1px solid var(--oal-rule);
  padding: 1.2rem 0.8rem;
}

nav.toc a {
  text-decoration: none;
  color: var(--oal-muted);
}

nav.toc a:hover {
  color: var(--oal-accent);
}

nav.toc li.active > a,
nav.toc li.active > a .toc_ref {
  color: var(--oal-accent);
  font-weight: 600;
}

nav.toc .toc_ref {
  color: var(--oal-accent);
  font-weight: 600;
}

nav.local_toc a {
  color: var(--oal-accent);
  text-decoration: none;
}

nav.local_toc a:hover {
  text-decoration: underline;
}

/* ---------- Content ---------- */

div.main-text {
  max-width: 46rem;
  margin: 0 auto;
  padding: 2rem 1rem 4rem;
}

/* Theorem/proof accents in project blue */
div.theorem_thmcontent,
div.proposition_thmcontent {
  border-left: 0.15rem solid var(--oal-accent);
}

div.lemma_thmcontent,
div.corollary_thmcontent {
  border-left: 0.1rem solid var(--oal-accent);
}

div.proof_content {
  border-left: 0.08rem solid var(--oal-rule);
}

div.amsthm_title {
  color: var(--oal-accent-dark);
  font-weight: 600;
}