At the moment now it's default orange again. Xmas theme turned off?
That was me. I turned it on in the REPL last night, but did it wrong. Leapt out of bed this morning thinking "Doh! I bet it switched off." Which it had.
No worries. That's why we have 2 Christmas days.
And the header bar at the top.
Guess you have to disable topcolor for that?
the top color is #cc1010 if you want to set it up as your custom top color.