/* Colors from Settings, Branding. */
:root {
  --brand: #0d4b7e; --brand-ink: #ffffff; --brand-soft: #e4eef6;
  --top: #ffffff; --top-ink: #0d4b7e; --top-ink-2: #3f6283;
  --top-hover: rgba(13,75,126,0.07); --top-active: rgba(13,75,126,0.11);
  --accent: #9eca53; --mark: #9eca53; --mark-ink: #0d3a5f;
}
@media (prefers-color-scheme: dark) {
  :root {
  --brand: #6cc4ea; --brand-ink: #06141f; --brand-soft: #12293b;
  --top: #0b1824; --top-ink: #e6eef5; --top-ink-2: #91afc6;
  --top-hover: rgba(230,238,245,0.06); --top-active: rgba(230,238,245,0.1);
  --accent: #9eca53; --mark: #9eca53; --mark-ink: #0b1824;
}
}
.topbar { border-bottom: 1px solid var(--line); }