TISTUD-5662 Windows: Font size
  - Modify the font sizes for tabs to be different on each OS. 14 on Mac, 11 on Windows, 12 on Linux. Use Segoe UI font on Windows, PT Sans on Mac, don't specify font on Linux.