/* Generated from JSON theme tokens — migrate to theme.css */
:root {
  --brand: #218aff;
  --brand-glow: rgba(33, 138, 255, 0.1);
  --brand-hover: #0779ef;
  --brand-on: #ffffff;
  --brand-surface: #e8f4fd;
  --nav-bg: #3B4B63;
  --nav-bg-dark: #2A3545;
}