3 ms·This seems as good a place as any to point this out: take a look at the numbers on the frontpage.by yzzxy 12y agoThis seems as good a place as any to point this out: take a look at the numbers on the frontpage._asummers 12y agoAnd the header bar at the top.yzzxy 12y agoGuess you have to disable topcolor for that?orik 12y agothe top color is #cc1010 if you want to set it up as your custom top color.deleted 12y ago[deleted]Rygu 12y agoAt the moment now it's default orange again. Xmas theme turned off?dang 12y agoThat 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.Rygu 12y agoNo worries. That's why we have 2 Christmas days.