:root {
  --bg: #fbfaf7;
  --surface: #ffffff;
  --text: #1d2126;
  --muted: #5f6873;
  --rule: #e4e1da;
  --accent: #1f5fa8;
  --accent-soft: #e8f0fa;
  --ml: #0e7c66;
  --ml-soft: #e7f4f0;
  --corr: #b3261e;
  --corr-soft: #fbeceb;
  --mine: #7a4fb5;
  --code-bg: #f2f0ea;
  --table-alt: #f6f4ef;
  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --sans: "Inter", -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #15171a;
    --surface: #1c1f23;
    --text: #e6e3dc;
    --muted: #9aa3ad;
    --rule: #2e3237;
    --accent: #7fb0ec;
    --accent-soft: #1d2a3a;
    --ml: #5cc9ae;
    --ml-soft: #17302a;
    --corr: #f08a80;
    --corr-soft: #3a1f1d;
    --mine: #b99ae6;
    --code-bg: #24282d;
    --table-alt: #1f2226;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.65;
}
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
.wrap { max-width: 1180px; margin: 0 auto; padding: 0 20px; }

/* header / footer */
.site-header { border-bottom: 1px solid var(--rule); background: var(--surface); position: sticky; top: 0; z-index: 10; }
.header-inner { display: flex; align-items: center; justify-content: space-between; height: 56px; font-family: var(--sans); }
.brand { font-weight: 700; color: var(--text); font-size: 16px; }
.brand span { color: var(--muted); font-weight: 500; }
.top-nav a { margin-left: 20px; font-size: 14px; font-weight: 500; color: var(--muted); }
.top-nav a:hover { color: var(--accent); }
.site-footer { border-top: 1px solid var(--rule); margin-top: 64px; padding: 24px 0; font-family: var(--sans); font-size: 13px; color: var(--muted); }

/* layout */
.layout { display: block; padding-top: 32px; }
.layout.has-sidebar { display: grid; grid-template-columns: 270px minmax(0, 1fr); gap: 48px; }
.content { min-width: 0; max-width: 800px; }
.sidebar { font-family: var(--sans); font-size: 13.5px; position: sticky; top: 80px; align-self: start; max-height: calc(100vh - 100px); overflow-y: auto; padding-right: 8px; }
.sidebar summary { font-weight: 600; color: var(--muted); text-transform: uppercase; letter-spacing: .04em; font-size: 11.5px; cursor: pointer; margin-bottom: 8px; }
.sidebar ol { list-style: none; margin: 0; padding: 0; }
.sidebar li a { display: block; padding: 5px 10px; border-radius: 6px; color: var(--text); line-height: 1.35; }
.sidebar li a:hover { background: var(--accent-soft); text-decoration: none; }
.sidebar li.current a { background: var(--accent-soft); color: var(--accent); font-weight: 600; }

/* typography */
h1, h2, h3, h4 { font-family: var(--sans); line-height: 1.25; letter-spacing: -0.01em; }
h1 { font-size: 34px; margin: 6px 0 14px; }
.post h1 { font-size: 26px; margin-top: 44px; }
.post h2 { font-size: 23px; margin-top: 44px; padding-bottom: 6px; border-bottom: 1px solid var(--rule); }
.post h3 { font-size: 19px; margin-top: 32px; }
.post h4 { font-size: 17px; margin-top: 24px; }
p { margin: 0 0 16px; }
.post ul, .post ol { padding-left: 1.4em; margin: 0 0 16px; }
.post li { margin: 4px 0; }
.post li > p { margin-bottom: 6px; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 36px 0; }
strong { font-weight: 600; }
code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .86em; background: var(--code-bg); padding: 1px 5px; border-radius: 4px; }
pre { background: var(--code-bg); padding: 14px 16px; border-radius: 8px; overflow-x: auto; }
pre code { background: none; padding: 0; }
blockquote { margin: 0 0 16px; padding: 4px 18px; border-left: 3px solid var(--accent); background: var(--accent-soft); border-radius: 0 6px 6px 0; }

.crumbs { font-family: var(--sans); font-size: 13px; color: var(--muted); margin: 0; }
.source-note { font-size: 15.5px; color: var(--muted); font-style: italic; border-left: 3px solid var(--rule); padding-left: 14px; }
.lede { font-size: 20px; color: var(--muted); }
.legend { font-size: 16px; }

/* math */
.math-display { overflow-x: auto; overflow-y: hidden; margin: 14px 0 18px; padding: 2px 0; }
mjx-container[display="true"] { margin: 0 !important; }
mjx-container { max-width: 100%; }
mjx-container:not([display="true"]) { white-space: nowrap; }

/* tables */
.table-wrap { overflow-x: auto; margin: 8px 0 22px; border: 1px solid var(--rule); border-radius: 8px; background: var(--surface); }
table { border-collapse: collapse; width: 100%; font-size: 15.5px; line-height: 1.45; }
th, td { padding: 9px 12px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--rule); }
th { font-family: var(--sans); font-size: 13px; font-weight: 600; background: var(--table-alt); }
tr:last-child td { border-bottom: 0; }
tbody tr:nth-child(even) td { background: var(--table-alt); }

/* Q&A + markers */
.qa-q { font-family: var(--sans); font-size: 15.5px; background: var(--accent-soft); border-radius: 8px; padding: 12px 16px; margin: 6px 0 20px; }
.qa-tag { display: inline-block; font-size: 11px; font-weight: 700; text-transform: uppercase; letter-spacing: .05em; color: var(--accent); margin-right: 6px; }
.mk-corr { color: var(--corr); }
.mk-ml { color: var(--ml); }

.box { padding: 12px 16px; border-radius: 0 8px 8px 0; font-size: 16.5px; }
.box-ml { background: var(--ml-soft); border-left: 3px solid var(--ml); }
.box-ml > strong:first-child { color: var(--ml); }
.box-corr { background: var(--corr-soft); border-left: 3px solid var(--corr); }
.box-corr > strong:first-child { color: var(--corr); }

/* pager */
.pager { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; margin-top: 56px; font-family: var(--sans); }
.pager a { border: 1px solid var(--rule); border-radius: 10px; padding: 14px 16px; background: var(--surface); color: var(--text); font-weight: 600; font-size: 15px; line-height: 1.35; }
.pager a:hover { border-color: var(--accent); text-decoration: none; }
.pager small { display: block; font-weight: 500; color: var(--muted); font-size: 12px; margin-bottom: 4px; }
.pager .next { text-align: right; }

/* index pages */
.toc { list-style: none; padding: 0; margin: 24px 0; font-family: var(--sans); font-size: 16px; border-top: 1px solid var(--rule); }
.toc li a { display: flex; gap: 16px; padding: 11px 4px; border-bottom: 1px solid var(--rule); color: var(--text); line-height: 1.4; }
.toc li a:hover { background: var(--accent-soft); text-decoration: none; }
.toc .num { color: var(--muted); font-variant-numeric: tabular-nums; min-width: 26px; }
.hero { padding: 20px 0 8px; }
.section-title { font-size: 14px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin-top: 32px; }
.card { display: block; border: 1px solid var(--rule); border-radius: 12px; padding: 22px 24px; background: var(--surface); color: var(--text); max-width: 760px; }
.card:hover { border-color: var(--accent); text-decoration: none; }
.card h3 { margin: 0 0 8px; font-size: 20px; color: var(--accent); }
.card p { margin: 0 0 12px; font-size: 16.5px; color: var(--muted); }
.card .meta { font-family: var(--sans); font-size: 13px; color: var(--muted); }

@media (max-width: 900px) {
  .layout.has-sidebar { display: block; }
  .sidebar { position: static; max-height: none; margin-bottom: 24px; border: 1px solid var(--rule); border-radius: 10px; padding: 12px; background: var(--surface); }
  .sidebar details:not([open]) summary { margin-bottom: 0; }
  body { font-size: 17px; }
  h1 { font-size: 28px; }
  .wrap { padding: 0 16px; }
  .brand span { display: none; }
  .top-nav a { margin-left: 14px; }
  .pager { grid-template-columns: 1fr; }
  .pager .next { text-align: left; }
}