:root {
  color-scheme: light dark;
  --bg: #fafafa; --card: #fff; --line: #dedede; --ink: #1b1b1b; --dim: #6b6b6b;
  --accent: #0b5fb0; --warn: #8a5a00; --warnbg: #fff6e0; --code: #f1f1f1;
  --bad: #a1262d; --badbg: #fbeaea; --good: #1d6b3a;
  --go: #007d9c; --py: #3572a5; --cpp: #a8467a; --diffbg: #f3ecff; --diff: #5a2d91;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #131417; --card: #1b1d22; --line: #2c2f36; --ink: #e8e9ec; --dim: #9aa0a8;
    --accent: #6cb2f0; --warn: #f0c060; --warnbg: #2a2410; --code: #23262c;
    --bad: #f08a8f; --badbg: #3a1d1f; --good: #7fd39a;
    --go: #4fc3e0; --py: #7fb0ff; --cpp: #e08ab8; --diffbg: #26203a; --diff: #c9b3f0;
  }
}
* { box-sizing: border-box; }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font: 16px/1.5 system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif;
}
main { max-width: 900px; margin: 0 auto; padding: 16px 16px 64px; }
h1 { font-size: 28px; margin: 12px 0 4px; }
h2 { font-size: 21px; margin: 44px 0 10px; padding-top: 8px; border-top: 1px solid var(--line); }
h3 { font-size: 17px; margin: 24px 0 6px; }
h4 { font-size: 15px; margin: 16px 0 4px; color: var(--dim); font-weight: 600; text-transform: uppercase; letter-spacing: .04em; }
p { margin: 0 0 10px; }
a { color: var(--accent); }
code, pre, kbd { font: 13.5px/1.45 ui-monospace, Consolas, "SF Mono", Menlo, monospace; }
code { background: var(--code); padding: 1px 5px; border-radius: 3px; }
pre { background: var(--code); padding: 10px 12px; border-radius: 4px; overflow-x: auto; margin: 6px 0 10px; }
pre code { background: none; padding: 0; }
.lead { font-size: 18px; margin-bottom: 14px; }
.meta { color: var(--dim); font-size: 14px; }
.meta code { font-size: 13px; }
nav.site { display: flex; gap: 14px; flex-wrap: wrap; align-items: baseline; font-size: 14px;
  padding: 10px 0; border-bottom: 1px solid var(--line); }
nav.site .name { font-weight: 700; color: var(--ink); text-decoration: none; margin-right: 6px; }
nav.site a[aria-current] { color: var(--ink); font-weight: 600; text-decoration: none; }
nav.site .right { margin-left: auto; }
.wrap { overflow-x: auto; margin: 6px 0 12px; }
table { border-collapse: collapse; width: 100%; font-size: 14px; }
td, th { text-align: left; padding: 5px 8px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { color: var(--dim); font-weight: 500; white-space: nowrap; }
.num td:not(:first-child) { text-align: right; white-space: nowrap; font-variant-numeric: tabular-nums; }
.num th:not(:first-child) { text-align: right; }
ul, ol { margin: 6px 0 10px; padding-left: 22px; }
li { margin: 2px 0; }
.card { background: var(--card); border: 1px solid var(--line); border-radius: 6px; padding: 14px 16px; margin: 0 0 14px; }
.card h3 { margin-top: 0; }
.warn { background: var(--warnbg); border: 1px solid var(--line); border-radius: 6px; padding: 10px 14px; margin: 10px 0; }
.diff { background: var(--diffbg); color: var(--diff); border-left: 3px solid var(--diff); padding: 8px 12px; margin: 8px 0 10px; font-size: 14px; border-radius: 0 4px 4px 0; }
.diff strong { color: inherit; }
.bad { color: var(--bad); font-weight: 600; }
.good { color: var(--good); }
.unproven { font: 600 12px ui-monospace, Consolas, Menlo, monospace; color: var(--warn); }
.tag { font: 12px ui-monospace, Consolas, Menlo, monospace; color: var(--dim); }
.state { font-size: 13px; color: var(--dim); border-left: 3px solid var(--line); padding: 4px 10px; margin: 6px 0 12px; }
.demo { overflow-x: auto; border: 1px solid var(--line); border-radius: 4px; background: #12131a; margin-top: 12px; }
.demo img { display: block; width: 100%; min-width: 730px; height: auto; }
.caption { color: var(--dim); font-size: 14px; margin-top: 6px; }
footer { margin-top: 48px; color: var(--dim); font-size: 14px; border-top: 1px solid var(--line); padding-top: 12px; }
@media (max-width: 600px) {
  body { font-size: 15px; } h1 { font-size: 24px; } h2 { font-size: 19px; }
  td, th { padding: 4px 6px; }
  .lead { font-size: 16px; }
}
.arch { display: block; width: 100%; min-width: 860px; height: auto; font: 13px system-ui, -apple-system, "Segoe UI", Helvetica, Arial, sans-serif; }
.arch text { fill: var(--ink); }
.arch .t { font-weight: 600; font-size: 15px; }
.arch .dim { fill: var(--dim); font-size: 12px; }
.arch .mono { font-family: ui-monospace, Consolas, Menlo, monospace; font-size: 12px; }
.arch .box { fill: var(--card); stroke: var(--line); }
.arch .app { fill: var(--code); stroke: var(--line); }
.arch .dep { fill: none; stroke: var(--accent); stroke-width: 1.5; }
.arch .mk-dep { fill: var(--accent); }
.arch .no { fill: none; stroke: var(--bad); stroke-width: 1.5; stroke-dasharray: 5 4; }
.arch .mk-no { fill: var(--bad); }
.arch .no-l { fill: var(--bad); font-weight: 600; }

h1 .mark { vertical-align: -0.18em; margin-right: .4rem; }
@media (max-width: 480px) { h1 .mark { width: 44px; height: 44px } }