/* generated from PORTAL_BG_COLOR / PORTAL_ACCENT_COLOR — see src/Theme.php */
:root {
    --bg: #112835;
    --card: #293e49;
    --ink: #f4f1ea;
    --muted: #c2c5c2;
    --line: #455761;
    --accent: #ff9f4a;
    --accent-ink: #1a1206;
    --ok-bg: #1e4e34;
    --ok-ink: #d4f5dc;
    --err-bg: #62282f;
    --err-ink: #ffd9d4;
    --warn-bg: #f9c74f;
    --warn-ink: #2b1d00;
    --danger: #ff8a7a;
    --hover: rgba(255,255,255,0.05);
    color-scheme: dark;
}
header.top .brand .logo { filter: none; }