/* base.css - design tokens, reset, layout primitives, typography, links */

:root{
  --bg:#eceef1;
  --panel:#ffffff;
  --fg:#17191c;
  --dim:#666b73;
  --line:#e0e3e8;
  --rule:#17191c;
  --link:#1f5fa6;
  --green:#1f7a4d;
  --orange:#cf6a1a;
  --teal:#2c7a8c;
  --purple:#6c4f9c;
  --kill:#c0392b;
  --hl:#cfe0f2;
  --mono:'SFMono-Regular',Menlo,'DejaVu Sans Mono',Consolas,'Liberation Mono',monospace;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth;overflow-x:hidden}
body{
  margin:0;background:var(--bg);color:var(--fg);
  font-family:var(--mono);font-size:15.5px;line-height:1.65;
  -webkit-font-smoothing:antialiased;
}
.wrap{max-width:760px;margin:0 auto;padding:0 22px}
.wrap.wide{max-width:940px}
::selection{background:var(--hl)}

a{color:var(--link);text-decoration:none;border-bottom:1px solid #aabfd8}
a:hover{background:#eaf0f8}
a.ext::after{content:" \2197";color:var(--dim)}
.gh{border-bottom:1px solid #aabfd8;white-space:nowrap}
.ghmark{display:inline-block;vertical-align:-2px;margin-right:7px}

p{margin:.7em 0}
.lead{font-size:17px;line-height:1.6}
.dim{color:var(--dim)}
.small{font-size:13.5px}
hr{border:none;border-top:1px dashed var(--line);margin:34px 0}

.reveal{opacity:0;transform:translateY(22px) scale(.992);
  transition:opacity .55s ease,transform .55s cubic-bezier(.22,.61,.36,1)}
.reveal.in{opacity:1;transform:none}
@media (prefers-reduced-motion:reduce){.reveal{opacity:1;transform:none;transition:none}}

/* keep wide content (equations, tables, images) from forcing the page sideways */
img,svg{max-width:100%;height:auto}
.block,.forms .inner{overflow-x:auto}
mjx-container[display="true"]{overflow-x:auto;overflow-y:hidden;max-width:100%}
.cap-mini{display:none}