private float readFontSize(Element element, boolean isDefault, Float fontScale) {
    if (isDefault) {
      return UISettings.getDefFontSize();
    }
    // Use integer size for compatibility
    Integer intSize = myValueReader.read(Integer.class, element);
    if (intSize == null) {
      return -1;
    }
    return UISettings.restoreFontSize(intSize.floatValue(), fontScale);
  }
private float readFontSize(Element element, boolean isDefault, Float fontScale)