/* 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; }
}