[Request] Add option to set font size

[ErikSteiner]

I am on a HiDPI display and I would be very happy if one could change the font size of the tab bar. While the menu font is good to read, the smaller size on the tabs becomes more and more difficult to read.