/* Dark theme, "deep blue", never grey. Apply with <html data-theme="dark"> or any scoped container.
   Logic: light = blue on white; dark = white on near-black blue. Borders flip to white; yellow unchanged. */
[data-theme="dark"]{
--page:#00102E;--card:#001A4D;--tint:#0A2058;--line-dark:#26407F;
--text-primary:var(--white);--text-inverse:var(--blue-deep);--text-muted:#A9B8E0;
--surface-page:var(--page);--surface-brand:var(--blue);--surface-card:var(--card);--surface-tint:var(--tint);
--line:var(--line-dark);
--action-primary:var(--white);--action-primary-hover:#E0E7F5;
--focus-ring:var(--yellow);
--border-color:var(--white);
--sev-ok-bg:transparent;--sev-ok-border:var(--white);--sev-ok-text:var(--white);
--sev-attention-bg:var(--yellow);--sev-attention-border:var(--yellow);--sev-attention-text:var(--blue-deep);
--sev-risk-bg:var(--white);--sev-risk-border:var(--white);--sev-risk-text:var(--blue-deep);
color:var(--text-primary);background:var(--surface-page);
}
