Make theme switching (hopefully) orthogonal to settings:

- Move all theme-switching variables in one place
- Per-theme mascot list