Or at least the beginnings of one. I’m still not completely happy with it, but I think this is a good time for a change.
You may notice some other small tweaks as well. Comments, suggestions, and (constructive) criticisms welcome below. If you have any other site-related comments, they’re welcome too.