/* Match landing-page aesthetic: white, system font, minimal. */

/* ── Global ── */
body {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  background: #fff;
  color: #24292f;
  line-height: 1.6;
}

code, kbd, pre, samp, .texttt, .ttfamily {
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 0.88em;
}

a { color: #0969da; }
a:hover { text-decoration: underline; }

/* ── Top header bar ── */
body > header {
  background: #fff;
  border-bottom: 1px solid #d8dee4;
  padding: 0.55rem 1rem;
}
h1#doc_title { font-size: 1.15rem; font-weight: 600; }
h1#doc_title a, h1#doc_title a:visited { color: #24292f; }

/* ── Sidebar / TOC ── */
nav.toc {
  font-size: 0.78rem;
  line-height: 1.35;
  background: #fff;
  border-right: 1px solid #d8dee4;
}
nav.toc ul { padding-left: 0.7em; margin: 0.1em 0; }
nav.toc li { margin-bottom: 0.06em; }
nav.toc .toc_ref { min-width: 1.4em; display: inline-block; }
.toc ul a { color: #57606a; font-size: 0.85rem; }
.toc ul a:hover { background: #f6f8fa; color: #24292f; }
.toc ul li.current { background: #fff; }

/* ── Layout ── */
.content-wrapper { max-width: 52rem; }
.main-text { max-width: 48rem; margin: 0 auto; }

/* ── Title page ── */
.titlepage {
  background: #fff;
  border: none;
  border-radius: 0;
  padding: 1.5rem 0 0.5rem;
  margin-bottom: 1.5rem;
  box-shadow: none;
  border-bottom: 1px solid #d8dee4;
}

/* ── Headings ── */
h1, h2, h3, h4, h5, h6 {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  color: #24292f;
}
.main-text h1 {
  margin-top: 2rem;
  padding-top: 0.5rem;
  border-top: 1px solid #d8dee4;
  font-size: 1.35rem;
  font-weight: 600;
}

/* ── Theorem / lemma blocks ── */
.lemma_thmwrapper,
.corollary_thmwrapper,
.proposition_thmwrapper,
.theorem_thmwrapper,
.definition_thmwrapper {
  border: 1px solid #d8dee4;
  border-left: 3px solid #0969da;
  border-radius: 6px;
  background: #fff;
  box-shadow: none;
  margin: 1.2rem 0;
  padding: 0.1rem 0;
}

div[class$=_thmheading] { font-size: 0.95rem; }
div[class$=_thmcontent] { font-size: 0.93rem; line-height: 1.6; }

/* ── Proof blocks ── */
.proof_wrapper {
  border: 1px solid #d8dee4;
  border-radius: 6px;
  background: #f6f8fa;
  margin: 0.8rem 0 1.2rem;
}
.proof_content { line-height: 1.6; font-size: 0.92rem; }

/* ── Code / verbatim ── */
pre.verbatim {
  background: #f6f8fa;
  border: 1px solid #d8dee4;
  border-radius: 6px;
  padding: 0.8rem 1rem;
  overflow-x: auto;
}

/* ── Misc ── */
h4 { margin-top: 1rem; margin-bottom: 0.35rem; }

.thm_header_hidden_extras .uses { line-height: 1.5; }
ul.itemize li, ol.enumerate li { margin-bottom: 0.3rem; }

/* ── Bottom nav ── */
nav.prev_up_next {
  background: #fff;
  border-top: 1px solid #d8dee4;
}
nav.prev_up_next a { color: #0969da; }

/* ── Modal ── */
div.modal-content {
  border: 1px solid #d8dee4;
  border-radius: 8px;
  box-shadow: 0 4px 12px rgba(0,0,0,0.12);
}
div.modal-content header {
  background: #f6f8fa;
  color: #24292f;
}

/* ── Wider sidebar on large screens ── */
@media (min-width: 1100px) {
  .wrapper { padding-left: 1rem; padding-right: 1rem; }
}