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
fText.addControlListener(new ControlAdapter() {
				/*
				 * @see org.eclipse.swt.events.ControlAdapter#controlResized(org.eclipse.swt.events.ControlEvent)
				 */
				public void controlResized(ControlEvent e) {
					setInput(fText.getText());
				}
			});
		}
		
		getViewSite().setSelectionProvider(new SelectionProvider(getControl()));
	}
	
	/*
	 * @see AbstractInfoView#createActions()
	 */
	protected void createActions() {
		super.createActions();
		fSelectAllAction= new SelectAllAction(getControl(), (SelectionProvider)getSelectionProvider());
	}
	/*
 	 * @see AbstractInfoView#setForeground(Color)
 	 */
	protected void setForeground(Color color) {
		getControl().setForeground(color);
	}
	/*
	 * @see AbstractInfoView#setBackground(Color)
	 */