I've (theoretically) fixed the different styles so everyone is now using the same one ("Default"). This should also solve the problem of people seeing a DEFCON 4 alert banner.
Let me know if anyone has any problems of if you are seeing other styles available.
Let me know if anyone has any problems of if you are seeing other styles available.