/* abstractmath.org rebuilt pages. One column, minimal chrome, the author's
   semantic paragraph colours kept in muted form. */
:root {
  --text: #1c1c1c;
  --muted: #5a5a5a;
  --bg: #ffffff;
  --rule: #d9d9d9;
  --link: #1a4a8a;
  --def: #203070;    /* original "blue": definitions and key statements */
  --warn: #8a2a2a;   /* original "red": warnings, headings, contents */
  --aside: #5c2d73;  /* original "purple": commentary and asides */
  --term: #8a2a2a;   /* original <font color="#911B1B">: defined terms */
  --measure: 42rem;
}
* { box-sizing: border-box; }
html { font-size: 112.5%; -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--text);
  font-family: Georgia, "Times New Roman", "Noto Serif", serif;
  line-height: 1.6;
}
a { color: var(--link); text-decoration-thickness: 1px; text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }
img { max-width: 100%; height: auto; }
table { max-width: 100%; border-collapse: collapse; }

/* chrome */
.site-header, .page, .site-footer {
  max-width: var(--measure); margin: 0 auto; padding: 0 1rem;
}
.site-header {
  padding-top: 1.1rem; padding-bottom: .8rem; margin-bottom: 1.5rem;
  border-bottom: 1px solid var(--rule);
  font-family: system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;
}
.site-title { display: flex; align-items: baseline; gap: .75rem; flex-wrap: wrap; }
.site-name { font-weight: 700; font-size: 1.25rem; color: var(--text); text-decoration: none; letter-spacing: -.01em; }
.site-tagline { color: var(--muted); font-size: .95rem; }
.site-nav { margin-top: .5rem; display: flex; gap: 1.1rem; flex-wrap: wrap; font-size: .9rem; }
.site-nav a { color: var(--muted); text-decoration: none; }
.site-nav a:hover { color: var(--link); text-decoration: underline; }
.site-footer {
  margin-top: 3rem; padding-top: 1rem; padding-bottom: 2.5rem;
  border-top: 1px solid var(--rule); color: var(--muted); font-size: .85rem;
  font-family: system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;
}
.site-footer p { margin: .4rem 0; }

/* content: neutralise the original pt-based layout styles */
.page p, .page div, .page li, .page pre, .page blockquote {
  margin: 0 0 .9rem; text-indent: 0; line-height: inherit; font-size: inherit; font-family: inherit;
}
.page p:empty { display: none; }
.page pre { white-space: pre-wrap; font-family: inherit; }
.page h1, .page h2, .page h3, .page h4, .page h5 {
  font-family: system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;
  line-height: 1.25; margin: 2rem 0 .7rem; font-weight: 700; color: var(--text);
}
.page h1 { font-size: 1.9rem; margin-top: .5rem; letter-spacing: -.01em; }
.page h2 { font-size: 1.45rem; }
.page h3 { font-size: 1.2rem; }
.page h4, .page h5 { font-size: 1.05rem; }
.page h1 span, .page h2 span, .page h3 span { font-size: inherit !important; font-family: inherit !important; }
.page ul, .page ol { padding-left: 1.4rem; margin: 0 0 .9rem; }
.page li { margin-bottom: .4rem; }
.page blockquote { margin: 1rem 0 1rem 1.2rem; color: var(--muted); }
.page b, .page strong { font-weight: 700; }
.page [style*="text-align:justify"], .page [style*="text-align: justify"] { text-align: left !important; }

/* the author's semantic paragraph classes, muted */
.page p.blue, .page p.blueit, .page p.bluesmall, .page p.bluesmallit, .page p.bluenoindent,
.page p.blueheader, .page p.axiom, .page p.axiomnoind {
  color: var(--def); font-weight: 600; border-left: 3px solid var(--def);
  padding-left: .8rem; margin: 1.1rem 0;
}
.page p.blueit, .page p.bluesmallit { font-style: italic; }
.page p.red, .page p.rednoindent { color: var(--warn); font-weight: 600; }
.page p.purple, .page li.purple { color: var(--aside); font-weight: 600; }
.page p.purpleprose, .page p.purpleproseleft, .page li.purpleprose {
  color: var(--aside); font-style: italic; border: 1px solid var(--aside);
  border-radius: 3px; padding: .6rem .9rem; margin: 1.1rem 0;
}
.page p.smallquote, .page p.smallnote, .page p.smallind, .page p.small {
  font-size: .9rem; color: var(--muted);
}
.page p.boxed, .page div.boxed {
  border: 1px solid var(--text); padding: .6rem .9rem; margin: 1.1rem 0;
}
.page p.toc, .page p.toc1, .page p.toc2 { margin: 0 0 .25rem; }
.page p.toc1 { padding-left: 1rem; }
.page p.toc2 { padding-left: 2rem; }
.page p.maintoc0 { font-weight: 700; margin-top: 1rem; }
.page p.maintoc1 { padding-left: 1rem; margin-bottom: .2rem; }
.page p.maintoc2 { padding-left: 2rem; margin-bottom: .2rem; }
.page p.maintoc3 { padding-left: 3rem; margin-bottom: .2rem; }
.page font[color] { color: var(--term) !important; font-weight: 600; }
.page span.red, .page span.Abmath { color: var(--warn); }
.page .eq-missing {
  display: inline-block; padding: 0 .3rem; border: 1px dashed var(--warn);
  color: var(--warn); font-size: .8em; border-radius: 3px;
}
.page div.diagram, .page p.center { text-align: center; }
mjx-container { overflow-x: auto; overflow-y: hidden; }
@media (max-width: 480px) {
  html { font-size: 105%; }
  .page h1 { font-size: 1.6rem; }
}