Font () { Font font = super.getFont(); return (isFontSet() || !myTabs.useSmallLabels()) ? font : RelativeFont.NORMAL.fromResource("EditorTabs.fontSizeOffset", -2, JBUIScale.scale(11f)).derive(StartupUiUtil.getLabelFont()); }