@font-face { font-family: "JetBrains Mono NL"; src: url("fonts/JetBrainsMonoNL-Regular.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono NL"; src: url("fonts/JetBrainsMonoNL-Italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "JetBrains Mono NL"; src: url("fonts/JetBrainsMonoNL-SemiBold.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "JetBrains Mono NL"; src: url("fonts/JetBrainsMonoNL-Bold.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }

:root {
  --bg: #ffffff; --fg: #1b1f27; --mut: #5b6575; --head: #1d2b44; --accent: #3a5a8c;
  --line: #dfe5ef; --soft: #f3f6fb; --side: #f6f8fb; --th: #1d2b44; --th-fg: #fff;
  --code-bg: #f5f7fb; --code-border: #dfe5ef; --ic-bg: #eef2f8;
  --k: #1f4fbf; --t: #0f7a6c; --s: #a3402a; --c: #7a8494; --n: #8a4bb0;
  --key-bg: #e9eef6; --key-bar: #1d2b44; --tip-bg: #eef7f1; --tip-bar: #2e8b57; --warn-bg: #fff5e8; --warn-bar: #d98a1c;
  --row: #f8fafd; --fig-bg: transparent; --shadow: 0 1px 2px rgba(20,30,50,.06), 0 4px 16px rgba(20,30,50,.06);
  --sans: "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: "JetBrains Mono NL", ui-monospace, Menlo, Consolas, monospace;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0f141c; --fg: #e3e8f0; --mut: #9aa5b5; --head: #c9d8f2; --accent: #8fb0e8;
    --line: #273142; --soft: #161e2b; --side: #121923; --th: #22304a; --th-fg: #e3e8f0;
    --code-bg: #141b26; --code-border: #273142; --ic-bg: #1c2533;
    --k: #82a9ff; --t: #5fd0bf; --s: #f0a27e; --c: #7f8a9b; --n: #c9a2f2;
    --key-bg: #172235; --key-bar: #8fb0e8; --tip-bg: #13251c; --tip-bar: #4cbf80; --warn-bg: #2a2010; --warn-bar: #e0a040;
    --row: #131a25; --fig-bg: #f4f6fa; --shadow: none; color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #0f141c; --fg: #e3e8f0; --mut: #9aa5b5; --head: #c9d8f2; --accent: #8fb0e8;
  --line: #273142; --soft: #161e2b; --side: #121923; --th: #22304a; --th-fg: #e3e8f0;
  --code-bg: #141b26; --code-border: #273142; --ic-bg: #1c2533;
  --k: #82a9ff; --t: #5fd0bf; --s: #f0a27e; --c: #7f8a9b; --n: #c9a2f2;
  --key-bg: #172235; --key-bar: #8fb0e8; --tip-bg: #13251c; --tip-bar: #4cbf80; --warn-bg: #2a2010; --warn-bar: #e0a040;
  --row: #131a25; --fig-bg: #f4f6fa; --shadow: none; color-scheme: dark;
}

* { box-sizing: border-box; }
html { scroll-padding-top: 72px; }
body { margin: 0; background: var(--bg); color: var(--fg); font-family: var(--sans); font-size: 16px; line-height: 1.6; -webkit-font-smoothing: antialiased; }
a { color: var(--accent); }
b, strong { font-weight: 700; }

/* ---------- layout ---------- */
.layout { display: grid; grid-template-columns: 290px minmax(0, 1fr); min-height: 100vh; }
.side { position: sticky; top: 0; height: 100vh; overflow-y: auto; background: var(--side); border-right: 1px solid var(--line); padding: 22px 16px 40px; }
.side .brand { display: block; font-weight: 700; font-size: 19px; color: var(--head); text-decoration: none; margin: 0 8px 16px; letter-spacing: -.2px; }
.toc { list-style: none; margin: 0; padding: 0; }
.toc > li > a { display: flex; gap: 10px; align-items: baseline; padding: 6px 8px; border-radius: 6px; color: var(--fg); text-decoration: none; font-size: 14.5px; line-height: 1.35; }
.toc > li > a:hover { background: var(--soft); }
.toc .num { flex: 0 0 20px; color: var(--mut); font-size: 13px; text-align: right; }
.toc > li.active > a { background: var(--key-bg); color: var(--head); font-weight: 700; }
.toc ul { list-style: none; margin: 4px 0 8px; padding: 0 0 0 38px; border-left: 0; }
.toc ul a { display: block; padding: 3px 6px; font-size: 13.5px; color: var(--mut); text-decoration: none; border-radius: 4px; line-height: 1.35; }
.toc ul a:hover, .toc ul a.cur { color: var(--accent); background: var(--soft); }

.content { padding: 48px 56px 80px; max-width: 980px; width: 100%; }
.topbar { display: none; }
.theme { width: 38px; height: 38px; border-radius: 50%; border: 1px solid var(--line); background: var(--bg); color: var(--fg); cursor: pointer; display: grid; place-items: center; }
.theme::before { content: "☾"; font-size: 17px; line-height: 1; }
:root[data-theme="dark"] .theme::before { content: "☀"; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .theme::before { content: "☀"; } }
.theme.floating { position: fixed; top: 16px; right: 18px; z-index: 30; box-shadow: var(--shadow); }

/* ---------- search ---------- */
.search { position: relative; margin: 0 4px 16px; }
.search input { width: 100%; padding: 9px 12px; border-radius: 8px; border: 1px solid var(--line); background: var(--bg); color: var(--fg); font: inherit; font-size: 14.5px; }
.search input:focus { outline: 2px solid var(--accent); outline-offset: 0; border-color: transparent; }
.results { position: absolute; left: 0; right: -40px; top: calc(100% + 6px); z-index: 40; background: var(--bg); border: 1px solid var(--line); border-radius: 10px; box-shadow: 0 8px 30px rgba(0,0,0,.18); max-height: 70vh; overflow-y: auto; padding: 6px; }
.results a { display: block; padding: 8px 10px; border-radius: 6px; text-decoration: none; color: var(--fg); font-size: 14px; line-height: 1.4; }
.results a:hover, .results a.sel { background: var(--soft); }
.results .rc { font-size: 12px; color: var(--mut); }
.results .rh { font-weight: 700; color: var(--head); }
.results .rx { color: var(--mut); font-size: 13px; }
.results mark { background: #ffe58a; color: #1b1f27; border-radius: 2px; padding: 0 1px; }
.results .none { padding: 10px; color: var(--mut); font-size: 14px; }

/* ---------- typography ---------- */
.chap-title { font-size: 34px; line-height: 1.15; color: var(--head); margin: 0 0 22px; letter-spacing: -.6px; display: flex; gap: 14px; align-items: center; }
.chap-title span { background: var(--th); color: var(--th-fg); border-radius: 8px; font-size: 22px; min-width: 44px; height: 44px; display: inline-grid; place-items: center; padding: 0 10px; }
h3 { font-size: 21px; color: var(--accent); margin: 40px 0 12px; line-height: 1.25; position: relative; }
h3 .anchor { position: absolute; left: -22px; opacity: 0; text-decoration: none; color: var(--mut); font-weight: 400; }
h3:hover .anchor { opacity: 1; }
p { margin: 0 0 12px; }
ul, ol { padding-left: 22px; margin: 0 0 14px; }
li { margin-bottom: 4px; }
.small { font-size: 14px; color: var(--mut); }
code, .mono { font-family: var(--mono); font-size: .86em; font-variant-ligatures: none; }
p code, li code, td code, .box code { background: var(--ic-bg); padding: 1px 5px; border-radius: 4px; }

/* ---------- code ---------- */
.code { position: relative; background: var(--code-bg); border: 1px solid var(--code-border); border-left: 3px solid var(--accent); border-radius: 8px; margin: 10px 0 18px; }
.code .ct { font-size: 13px; font-weight: 700; color: var(--accent); padding: 10px 14px 0; font-family: var(--sans); }
.code pre { margin: 0; padding: 12px 14px; overflow-x: auto; font-family: var(--mono); font-size: 13.5px; line-height: 1.55; font-variant-ligatures: none; tab-size: 4; }
.code .k { color: var(--k); font-weight: 600; }
.code .t { color: var(--t); }
.code .s { color: var(--s); }
.code .c { color: var(--c); font-style: italic; }
.code .n { color: var(--n); }
.copy { position: absolute; top: 8px; right: 8px; font: 600 12px var(--sans); color: var(--mut); background: var(--bg); border: 1px solid var(--line); border-radius: 6px; padding: 4px 9px; cursor: pointer; opacity: 0; transition: opacity .15s; }
.code:hover .copy, .copy:focus-visible { opacity: 1; }
.copy.done { color: var(--tip-bar); border-color: var(--tip-bar); opacity: 1; }
@media (hover: none) { .copy { opacity: 1; } }

/* ---------- tables ---------- */
.tw { overflow-x: auto; margin: 10px 0 18px; border: 1px solid var(--line); border-radius: 8px; }
table { width: 100%; border-collapse: collapse; font-size: 14.5px; }
th { background: var(--th); color: var(--th-fg); text-align: left; font-weight: 500; padding: 8px 12px; }
td { border-top: 1px solid var(--line); padding: 7px 12px; vertical-align: top; }
tr:nth-child(even) td { background: var(--row); }
table.rel td { vertical-align: middle; }
td.relsvg { width: 34%; }
td.relsvg svg { display: block; width: 100%; max-width: 260px; height: auto; background: var(--fig-bg); border-radius: 4px; }

/* ---------- boxes, figures ---------- */
.box { border-radius: 8px; padding: 14px 18px; margin: 14px 0 20px; }
.box .bt { font-weight: 700; margin-bottom: 4px; }
.box.key { background: var(--key-bg); border-left: 4px solid var(--key-bar); }
.box.tip { background: var(--tip-bg); border-left: 4px solid var(--tip-bar); }
.box.warn { background: var(--warn-bg); border-left: 4px solid var(--warn-bar); }
.fig { margin: 14px 0 22px; }
.fig svg { max-width: 100%; height: auto; display: block; background: var(--fig-bg); border-radius: 8px; padding: 0; }
:root[data-theme="dark"] .fig svg { padding: 10px; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .fig svg { padding: 10px; } }
.fig .cap { font-size: 14px; color: var(--mut); margin-top: 6px; }
svg.uml text { font-family: var(--sans); font-size: 10.5px; fill: #1b1f27; white-space: pre; }
svg.uml text.nm { font-weight: 700; font-size: 11px; }
svg.uml text.st { font-size: 9.5px; fill: #3a4558; }
svg.uml text.lb { font-size: 9.5px; fill: #3a5a8c; }
svg.uml text.nt { font-size: 9.5px; fill: #5a4e16; }

.grid2 { display: grid; grid-template-columns: 1fr 1fr; gap: 24px; align-items: start; }
.grid2 > div { min-width: 0; }
.grid2:has(.code) { grid-template-columns: 1fr; gap: 0; }
.grid2 > div > h3:first-child { margin-top: 14px; }
.pat ul { columns: 2; column-gap: 24px; }

ul.check { list-style: none; padding-left: 0; }
ul.check li { padding-left: 18px; position: relative; }
ul.check li::before { content: "›"; position: absolute; left: 3px; color: var(--accent); font-weight: 700; }
ul.cb { list-style: none; padding-left: 0; }
ul.cb li { padding-left: 26px; position: relative; }
ul.cb input { position: absolute; left: 0; top: 5px; width: 15px; height: 15px; accent-color: var(--accent); }

/* ---------- start ---------- */
.hero { padding: 24px 0 8px; }
.hero h1 { font-size: 48px; letter-spacing: -1.2px; line-height: 1.05; color: var(--head); margin: 0 0 14px; }
.lead { font-size: 20px; font-weight: 300; color: var(--mut); max-width: 680px; }
.btn { display: inline-block; background: var(--th); color: var(--th-fg); padding: 10px 18px; border-radius: 8px; text-decoration: none; font-weight: 500; }
.cards-title { font-size: 22px; color: var(--head); margin: 40px 0 14px; }
.cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 14px; }
.card { display: grid; grid-template-columns: 34px 1fr; gap: 2px 12px; padding: 16px; border: 1px solid var(--line); border-radius: 10px; text-decoration: none; color: var(--fg); background: var(--bg); transition: border-color .15s, transform .15s; }
.card:hover { border-color: var(--accent); transform: translateY(-1px); }
.card .num { grid-row: span 2; background: var(--key-bg); color: var(--head); border-radius: 8px; height: 34px; display: grid; place-items: center; font-weight: 700; }
.card b { color: var(--head); line-height: 1.3; }
.card span:last-child { font-size: 14px; color: var(--mut); line-height: 1.45; }

/* ---------- prev/next ---------- */
.prevnext { display: grid; grid-template-columns: 1fr 1fr; gap: 14px; margin-top: 56px; padding-top: 24px; border-top: 1px solid var(--line); }
.prevnext a { display: block; padding: 14px 16px; border: 1px solid var(--line); border-radius: 10px; text-decoration: none; color: var(--head); font-weight: 700; line-height: 1.35; }
.prevnext a:hover { border-color: var(--accent); }
.prevnext small { display: block; font-weight: 400; color: var(--mut); font-size: 13px; margin-bottom: 2px; }
.prevnext .next { text-align: right; grid-column: 2; }

/* ---------- responsive ---------- */
@media (max-width: 1100px) { .content { padding: 40px 36px 72px; } }
@media (max-width: 900px) {
  .layout { grid-template-columns: 1fr; }
  .topbar { display: flex; align-items: center; justify-content: space-between; position: sticky; top: 0; z-index: 50; height: 56px; padding: 0 12px; background: var(--bg); border-bottom: 1px solid var(--line); }
  .topbar .brand { font-weight: 700; color: var(--head); text-decoration: none; font-size: 17px; }
  .menu { width: 40px; height: 40px; border: 0; background: none; display: grid; align-content: center; gap: 5px; cursor: pointer; padding: 0 9px; }
  .menu span { display: block; height: 2px; background: var(--fg); border-radius: 2px; }
  .theme.floating { display: none; }
  .side { position: fixed; top: 56px; left: 0; bottom: 0; height: auto; width: min(320px, 86vw); z-index: 45; transform: translateX(-100%); transition: transform .2s; box-shadow: 0 0 30px rgba(0,0,0,.2); }
  .side .brand { display: none; }
  body.nav-open .side { transform: none; }
  .content { padding: 28px 16px 64px; }
  .grid2 { grid-template-columns: 1fr; gap: 0; }
  .pat ul { columns: 1; }
  .chap-title { font-size: 27px; }
  .hero h1 { font-size: 36px; }
  .results { right: 0; }
  h3 .anchor { display: none; }
  .prevnext { grid-template-columns: 1fr; }
  .prevnext .next { grid-column: 1; }
}

/* ---------- uitleg bij code ---------- */
details.explain { margin: -10px 0 20px; border: 1px solid var(--code-border); border-top: 0; border-radius: 0 0 8px 8px; background: var(--bg); }
.code + details.explain { margin-top: -19px; }
.code:has(+ details.explain) { border-bottom-left-radius: 0; border-bottom-right-radius: 0; }
details.explain summary { cursor: pointer; list-style: none; padding: 7px 14px; font-size: 13.5px; font-weight: 600; color: var(--accent); user-select: none; display: flex; align-items: center; gap: 8px; }
details.explain summary::-webkit-details-marker { display: none; }
details.explain summary::before { content: ""; width: 7px; height: 7px; border-right: 2px solid currentColor; border-bottom: 2px solid currentColor; transform: rotate(-45deg); transition: transform .15s; margin-left: 2px; }
details.explain[open] summary::before { transform: rotate(45deg); }
details.explain summary:hover { background: var(--soft); }
.ex-body { padding: 4px 16px 14px; font-size: 15px; }
.ex-body p { margin: 0 0 10px; }
.terms .tt { font-size: 12px; text-transform: uppercase; letter-spacing: .6px; color: var(--mut); font-weight: 600; margin: 12px 0 6px; }
.terms dl { display: grid; grid-template-columns: max-content 1fr; gap: 6px 14px; margin: 0; font-size: 14px; }
.terms dt { margin: 0; }
.terms dd { margin: 0; color: var(--fg); }
@media (max-width: 900px) { .terms dl { grid-template-columns: 1fr; gap: 2px; } .terms dd { margin-bottom: 8px; } }