/* generated from PORTAL_BG_COLOR / PORTAL_ACCENT_COLOR — see src/Theme.php */
:root {
    --bg: #563401;
    --card: #67481a;
    --ink: #f4f1ea;
    --muted: #d1c7b7;
    --line: #7b6139;
    --accent: #ffc857;
    --accent-ink: #1a1206;
    --ok-bg: #445517;
    --ok-ink: #d4f5dc;
    --err-bg: #882f13;
    --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; }