New look

I’ve changed over this blog to WordPress’s “Garland” theme. It makes better use of screen width, and I think it looks nicer in general. The CSS may get some tweaking for better contrast of text against background.