/* PAT-413 — theme / font-size boot (was inline in index.html; external to avoid style-src unsafe-inline) */
html,
body {
  background: #f4f4f5;
}
html[data-theme="dark"],
html[data-theme="dark"] body {
  background: #131b20;
}
/* PAT-203 — appearance S/M/L: html root 12px / 14px / 16px */
html {
  font-size: 14px;
}
html[data-font-size="s"] {
  --font-scale: 0.857143;
  font-size: 12px;
}
html[data-font-size="m"] {
  --font-scale: 1;
  font-size: 14px;
}
html[data-font-size="l"] {
  --font-scale: 1.142857;
  font-size: 16px;
}
.hljs {
  background: var(--bg-code, #f6f8fa) !important;
}