Bug 63390 JavaDoc view should use a style sheet
The JavaDoc view is now using the HTML widget. To improve the rendering of the javadoc it should make sure that the corresping style sheet is available.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/infoviews/JavadocView.java
/**
	 * Preference key for the preference whether to show a dialog
	 * when the SWT Browser widget is not available.
	 * @since 3.0
	 */
	private static final String DO_NOT_WARN_PREFERENCE_KEY= "JavadocView.error.doNotWarn"; 
	
	private static final int LABEL_FLAGS=  JavaElementLabels.ALL_FULLY_QUALIFIED
		| JavaElementLabels.M_PRE_RETURNTYPE | JavaElementLabels.M_PARAMETER_TYPES | JavaElementLabels.M_PARAMETER_NAMES | JavaElementLabels.M_EXCEPTIONS 
		| JavaElementLabels.F_PRE_TYPE_SIGNATURE;
	
	private Browser fBrowser;
	
	private StyledText fText;
	
	private DefaultInformationControl.IInformationPresenter fPresenter;
	
	private TextPresentation fPresentation= new TextPresentation();
	
	private SelectAllAction fSelectAllAction;
	private boolean fIsUsingBrowserWidget;
	/**
	 * The Javadoc view's select all action.
	 */
	private static class SelectAllAction extends Action {