[leros]

I have noticed the font sizes getting a bit larger in recent updates to a few of the UI frameworks that I use. It must be the standard new thing.