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.
Settings/Preferences
Appearance & Behavior | Appearance
Override default fonts by
option -- it will allow to change font used for GUI as well override its size