I’ve finally got round to retheming the site. It uses the Tarski theme as a base, but with a new header, background and font selection. (For one, I’ve completely gutted Times New Roman from the code, and replaced it with the gorgeous Hoefler Text—which appears if you’re on a Mac or iOS device—and Georgia, if you’re using Windows or a Linux installation that uses the Microsoft core web fonts.) It would be done earlier, had we had more time.