Go to a size a tad higher up the chain.

It looks a bit better and is easier to read. On the other hand the
price is that we have a couple less lines we can see, but that screen
estate is mostly taken up by other stuff.