New theme

I’ve changed the theme of the blog; the main reason was that I had become annoyed enough at how the previous one insisted in displaying italics in bold to look for an alternative. The new one’s default fonts are (maybe) a bit too small, but it is easy enough to make them a bit bigger in most browsers.