I understand how to increase the font size within an editor tab, but I'd like to increase the font size of the main navigation menu and most importantly, the tab titles. These do not change when I zoom in or out of an editor tab (using Cmd + mouse wheel on OSX). I do not see anything in the preferences menus.