I've managed to confuse myself further. I've somehow set things up so that:
- Boot without SD card, no theme
- Boot with SD card, red theme (EmuNAND?)
- Boot into gridloader through menuhax (holding L during startup), launch CakesFW with emunand enabled patch, blue theme (still EmuNAND?)