There appear to be different preferences regarding the font size of UI elements, in particular the font size of vertical tabs: https://orionfeedback.org/d/1488-revert-vertical-tab-font-back-to-smaller-font-from-previous-release
The current release seems to have reverted back to a smaller size, but this is too small for non-Retina screens. Is it possible to make this configurable?