commit 1b1349ca473fcd058966bf540ecaa2b53ec1ac66
author teicher <teicher> Mon Jul 31 10:12:26 2006 +0000
committer teicher <teicher> Mon Jul 31 10:12:26 2006 +0000
tree c822dd8f84ca68a9e6f1e2cbc03acc44b5a18db2
parent 9b56f2461e852b414e44c04b1d183a1da7fc3fff

fix header font-size for hovers and javadoc

org.eclipse.jdt.ui/JavadocHoverStyleSheet.css

diff --git a/org.eclipse.jdt.ui/JavadocHoverStyleSheet.css b/org.eclipse.jdt.ui/JavadocHoverStyleSheet.css
index c629f18..257a8f2 100644
--- a/org.eclipse.jdt.ui/JavadocHoverStyleSheet.css
+++ b/org.eclipse.jdt.ui/JavadocHoverStyleSheet.css
Binary files differ

org.eclipse.jdt.ui/JavadocViewStyleSheet.css

diff --git a/org.eclipse.jdt.ui/JavadocViewStyleSheet.css b/org.eclipse.jdt.ui/JavadocViewStyleSheet.css
index cf16420..57eb0f3 100644
--- a/org.eclipse.jdt.ui/JavadocViewStyleSheet.css
+++ b/org.eclipse.jdt.ui/JavadocViewStyleSheet.css
@@ -1,5 +1,6 @@
 /* Font definitions */
 html         { font-family: sans-serif; font-size: 9pt; font-style: normal; font-weight: normal; }
+body, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt { font-size: 1em; }
 pre          { font-family: monospace; }
 h1           { font-size: 1.8em; }	
 h2           { font-size: 1.2em; }