How do I revert to the old default theme?