:root { color-scheme: light;
  --page:#f8f7f4; --surface:#ffffff; --ink:#151515; --ink-2:#4a4945; --muted:#7d7b75;
  --rule:#dddbd3; --rule-2:#ebe9e3; --accent:#1f5fae; --accent-ink:#ffffff; --code:#efeee9;
  --spark:#1f5fae; --up:#9a3b17; --down:#1f5f3a; }
@media (prefers-color-scheme: dark) { :root { color-scheme: dark;
  --page:#121212; --surface:#1b1b1a; --ink:#f1f0ec; --ink-2:#c4c2ba; --muted:#8f8d86;
  --rule:#34332f; --rule-2:#262624; --accent:#7fb0ef; --accent-ink:#0d1b2c; --code:#232321;
  --spark:#7fb0ef; --up:#f0a07c; --down:#8fd1a8; } }
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin:0; background:var(--page); color:var(--ink);
  font: 16px/1.6 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif; }
.serif, h1, h2, .lead, .doc { font-family: Charter, "Bitstream Charter", "Sitka Text", Cambria,
  Georgia, serif; }
a { color: var(--accent); text-underline-offset: 2px; }
a:hover { text-decoration-thickness: 2px; }

/* navigation: one line on a phone, scrolls sideways if it has to */
.nav { border-bottom: 1px solid var(--rule); background: var(--page); }
.nav .inner { max-width: 1040px; margin: 0 auto; padding: 0 16px; display:flex; align-items: center;
  gap: 20px; height: 52px; }
.nav .brand { font-weight: 650; color: var(--ink); text-decoration: none; white-space: nowrap;
  display:flex; align-items:center; gap: 8px; }
.nav .brand img { width: 20px; height: 20px; }
.nav .links { display:flex; gap: 18px; overflow-x: auto; scrollbar-width: none; white-space: nowrap;
  margin-left: auto; }
.nav .links::-webkit-scrollbar { display: none; }
.nav .links a { color: var(--ink-2); text-decoration: none; font-size: 15px; padding: 14px 0;
  border-bottom: 2px solid transparent; }
.nav .links a:hover { color: var(--ink); }
.nav .links a.here { color: var(--ink); border-bottom-color: var(--ink); }

main { max-width: 1040px; margin: 0 auto; padding: 40px 16px 72px; }
h1 { font-size: 40px; line-height: 1.15; margin: 0 0 18px; font-weight: 700; letter-spacing: -0.015em;
  max-width: 820px; }
h2 { font-size: 26px; line-height: 1.25; margin: 56px 0 10px; font-weight: 700; }
h3 { font-size: 18px; margin: 28px 0 6px; }
p, li { max-width: 700px; }
.dateline { color: var(--muted); font-size: 14px; margin: 0 0 10px; }
.lead { font-size: 21px; line-height: 1.5; color: var(--ink); max-width: 760px; margin: 0 0 22px; }
.lead b { font-weight: 700; }
.actions { display:flex; flex-wrap: wrap; gap: 10px 18px; align-items: center; margin: 0 0 8px; }
.button { display:inline-block; padding: 10px 18px; border-radius: 6px; background: var(--ink);
  color: var(--page); text-decoration: none; font-weight: 600; }
.button:hover { opacity: .88; }
.install { display:inline-flex; align-items:center; gap: 8px; background: var(--code);
  border-radius: 6px; padding: 4px 4px 4px 12px; }
.install code { background: none; padding: 0; }
.install button { font: inherit; font-size: 13px; border: 1px solid var(--rule); background: var(--surface);
  color: var(--ink-2); border-radius: 4px; padding: 3px 9px; cursor: pointer; }
code, pre { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 14px; }
code { background: var(--code); padding: 1px 5px; border-radius: 4px; }
pre { background: var(--code); padding: 12px 14px; border-radius: 6px; overflow-x: auto; }
pre code { background: none; padding: 0; }

/* the latest reading */
.ledger { display: table; width: 100%; max-width: 860px; border-collapse: collapse; margin: 14px 0 6px; font-variant-numeric: tabular-nums; }
.ledger th { font-size: 13px; font-weight: 500; color: var(--muted); text-align: right;
  border-bottom: 1px solid var(--rule); padding: 6px 10px; }
.ledger th:first-child { text-align: left; padding-left: 0; }
.ledger td { padding: 11px 10px; border-bottom: 1px solid var(--rule-2); text-align: right;
  vertical-align: middle; white-space: nowrap; }
.ledger td:first-child { text-align: left; white-space: normal; padding-left: 0; }
.ledger .name { font-weight: 550; }
.ledger .note { display:block; font-size: 13px; color: var(--muted); }
.ledger .value { font-size: 20px; font-weight: 650; }
.ledger td.chg { color: var(--ink-2); font-size: 14px; }
.ledger .spark { width: 132px; padding-right: 0; }
.ledger svg { display:block; margin-left: auto; overflow: visible; }
.foot { color: var(--muted); font-size: 13.5px; margin: 6px 0 0; }

figure { margin: 26px 0 36px; }
figure img { width: 100%; height: auto; display:block; border: 1px solid var(--rule); border-radius: 4px; }
figcaption { color: var(--ink-2); font-size: 15px; margin-top: 8px; max-width: 700px; }
.negatives li { margin-bottom: 8px; }
table { border-collapse: collapse; font-size: 14px; font-variant-numeric: tabular-nums;
  display:block; overflow-x:auto; max-width:100%; margin: 14px 0; }
th, td { padding: 6px 12px 6px 0; border-bottom: 1px solid var(--rule-2); text-align: left; }
th { color: var(--ink-2); font-weight: 600; border-bottom-color: var(--rule); }
blockquote { margin: 14px 0; padding: 2px 16px; border-left: 3px solid var(--rule); color: var(--ink-2); }
img { max-width: 100%; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 40px 0; }

/* documents: prose column with a contents list beside it on wide screens */
.docwrap { display:grid; grid-template-columns: minmax(0, 1fr); gap: 0 48px; }
.doc { font-size: 17.5px; line-height: 1.65; }
.doc h1 { font-size: 36px; }
.doc h2 { font-size: 25px; margin-top: 48px; }
.doc table, .doc pre, .doc .MathJax { font-family: system-ui, -apple-system, "Segoe UI", sans-serif; }
.doc pre, .doc code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
.doc img { border-radius: 4px; }
.doc p code, .doc li code, .doc td code { overflow-wrap: anywhere; }
mjx-container[display="true"] { display: block; overflow-x: auto; overflow-y: hidden; max-width: 100%; }
.toc { font: 14px/1.5 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif; }
.toc p { margin: 0 0 8px; color: var(--ink-2); }
.toc summary { cursor: pointer; color: var(--ink-2); font-weight: 600; margin-bottom: 6px; }
.toc ol { list-style: none; padding: 0; margin: 0; }
.toc li { margin: 0 0 6px; line-height: 1.35; }
.toc a { color: var(--ink-2); text-decoration: none; }
.toc a:hover { color: var(--accent); }
.toc.inline { margin: 0 0 24px; border: 1px solid var(--rule); border-radius: 6px; padding: 10px 14px; }
.toc.inline summary { margin: 0; }
.toc.inline[open] summary { margin-bottom: 8px; }
.toc.side { display: none; }
@media (min-width: 1000px) {
  .docwrap.has-toc { grid-template-columns: minmax(0, 1fr) 220px; }
  .docwrap.has-toc .toc.side { display: block; grid-column: 2; grid-row: 1; position: sticky; top: 24px;
    align-self: start; max-height: calc(100vh - 48px); overflow-y: auto; }
  .docwrap.has-toc .doc { grid-column: 1; grid-row: 1; }
  .toc.inline { display: none; }
}

footer { margin-top: 72px; padding-top: 18px; border-top: 1px solid var(--rule); color: var(--muted);
  font-size: 13.5px; }
footer p { max-width: 760px; margin: 0 0 6px; }
footer a { color: var(--ink-2); }

@media (max-width: 640px) {
  main { padding-top: 28px; }
  h1 { font-size: 30px; } h2 { font-size: 23px; margin-top: 44px; }
  .lead { font-size: 18.5px; }
  .doc { font-size: 17px; }
  /* long inline equations scroll sideways; on a list, so the markers stay in its padding */
  .doc p, .doc ul, .doc ol { overflow-x: auto; overflow-y: hidden; }
  .nav .inner { gap: 14px; }
  .nav .brand span { display: none; }
  .ledger .chg, .ledger th.chg { display: none; }
  .ledger td { padding: 9px 6px; }
  .ledger .name { line-height: 1.3; display: block; }
  .ledger .note { display: none; }
  .ledger .spark { width: 84px; }
  .ledger svg { width: 80px; height: auto; }
  .ledger .value { font-size: 17px; }
}