New Look, Same As The Old Look

I’ve given the site a minor facelift, switching to an updated version of the theme I’ve been using here for years. I’ve never been happy with the font on the previous theme; this one is much more readable. I might make more tweaks as I get used to the new options.