float (@NotNull FontSize size) { int defSize = StartupUiUtil.getLabelFont().getSize(); return switch (size) { case SMALL -> Math.max(defSize - JBUIScale.scale(2f), JBUIScale.scale(11f)); case MINI -> Math.max(defSize - JBUIScale.scale(4f), JBUIScale.scale(9f)); default -> defSize; }; }