Bumping up the font sizes by 2 pixels each in the preferences seems to have a similar result. You can also just hit Ctrl-+ twice ...