Changing faces!

Decided that it was about time to have a (minor!) change of appearance here; so have gone with one of the default themes (Twenty Eleven). I ran into a minor problem with header; I’d uploaded a couple (incidentally, if anyone knows of a tool, like Wordle & Tagexdo, that allows you to specify the size…