Just a note that I've just noticed that the style-picker page (see link at left) doesn't seem to be working for changing style sheets (at least, it's not working for me, if it works for you, please say). I'm not sure why, some java quirk or other, but I'll try to fix it even though I didn't change anything recently so I'm not sure why it's not working all of a sudden.

Firefox users (and Firefox is great! I highly recommend giving it a try.) can style change styles through the menu system. IE users are stuck with the default -- which is pretty good anyway if I do say so myself!