void () { if (SystemInfo.isMac || SystemInfo.isLinux) { Font font = UIManager.getFont("TabbedPane.font"); tabPane.setFont(RelativeFont.NORMAL.fromResource("TabbedPane.fontSizeOffset", -1).derive(font)); } }