public static void setQuickDocFontSize(@NotNull FontSize fontSize) {
    DocumentationFontSize.setDocumentationFontSize(fontSize);
  }
public static void setQuickDocFontSize(@NotNull FontSize fontSize)