/* migrated halloween theme */
/* original content truncated for migration; keep full styling */
body.theme-halloween { --brand:#ff6a00; --brand-contrast:#0d0b10; --accent:#7c3aed; --accent-2:#ff9f1c; --surface:#0f0e14; --surface-2:#17151f; --text:#f5f2ff; --muted:#cbbbe7; --border:#2a2336; --badge-bg:color-mix(in srgb, var(--accent) 60%, black 40%); --badge-text:#fff; --btn-bg:var(--accent); --btn-text:#fff; --link:#ff9f1c; --link-hover:#ffd166; }
body.theme-halloween a{color:var(--link)}
body.theme-halloween a:hover{color:var(--link-hover)}