Just to follow up on this: if you normally work on a machine with a
high-res display (such that the system-wide display scale factor is
>100%, like a Retina-display Mac or equivalent Windows/Linux machine),
it would be good to check legibility of this small text on a low-res
screen as well. Small text that is still adequately readable (if I look
closely) on my PowerBook "retina" screen can become terribly blurry when
the window is moved to a non-hidpi external display.