Liberated

While I’m at it, here’s another change: all of the styles here now use only the generic CSS font family names, i.e. serif, sans-serif, cursive and monospace. Why? I’ve recently started using the Liberation font set as my default, and when I looked at the comparatively chunky Lucida Grande here it felt like I was reading text written in crayon. So sayonara Lucida, Trebuchet, Verdana, Arial and the rest: you’ve been replaced by whatever the person reading this prefers.