/* Halloween seasonal theme: visuals defined by THEME-001.10 core overrides. */