/* Colors from Settings, Branding. */
:root {
  --brand: #1f5fa8; --brand-ink: #ffffff; --brand-soft: #e5eef9;
  --top: #15304f; --top-ink: #eaf1f9; --top-ink-2: #a7bdd6;
  --top-hover: rgba(234,241,249,0.06); --top-active: rgba(234,241,249,0.1);
  --accent: #15304f; --mark: #2f6db5; --mark-ink: #ffffff;
}
@media (prefers-color-scheme: dark) {
  :root {
  --brand: #7fb2ee; --brand-ink: #0b1726; --brand-soft: #1a2a3e;
  --top: #0c1522; --top-ink: #e6edf5; --top-ink-2: #8ea6c2;
  --top-hover: rgba(230,237,245,0.06); --top-active: rgba(230,237,245,0.1);
  --accent: #0c1522; --mark: #2f6db5; --mark-ink: #ffffff;
}
}