Blogger, the software on which I run this blog, is undergoing a redesign, seemingly intended to make everything about blogging more complicated. One of the side effects is a weird inconsistency in published font sizes that I have not yet figured out how to work around. Bear with me.