145540 [Webapp] Help font does not adjust with system fonts
diff --git a/platform/org.eclipse.platform/book.css b/platform/org.eclipse.platform/book.css
index 40d4fd3..3fb6638 100644
--- a/platform/org.eclipse.platform/book.css
+++ b/platform/org.eclipse.platform/book.css
@@ -6,7 +6,6 @@
margin-bottom: 0.000000pt;
margin-right: 0.000000pt;
margin-left: 15pt;
- font-size: 10.000000pt;
font-weight: normal;
font-style: normal;
color: #4444CC;
@@ -23,7 +22,7 @@
margin-bottom: 11.000000pt;
margin-right: 0.000000pt;
margin-left: 0.000000pt;
- font-size: 9.000000pt;
+ font-size: 75%;
font-weight: bold;
font-style: Italic;
color: #000000;
@@ -39,7 +38,7 @@
margin-bottom: 19.500000pt;
margin-right: 0.000000pt;
margin-left: 30pt;
- font-size: 11.000000pt;
+ font-size: 110%;
font-weight: normal;
font-style: Italic;
color: #000000;
@@ -69,23 +68,19 @@
/* following font face declarations need to be removed for DBCS */
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
-pre { font-family: "Courier New", Courier, monospace;}
+pre, code { font-family: "Courier New", Courier, monospace;}
/* end font face declarations */
-/* following font size declarations should be OK for DBCS */
-body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
-pre { font-size: 10pt}
-
-/* end font size declarations */
-
-body { background: #FFFFFF; margin-bottom: 1em }
-h1 { font-size: 18pt; margin-top: 5; margin-bottom: 1 }
-h2 { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
-h3 { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
-h4 { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
+body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
+h1 { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
+h2 { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
+h3 { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
+h4 { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
p { margin-top: 10px; margin-bottom: 10px }
-pre { margin-left: 6; font-size: 9pt; color: #4444CC }
+pre { font-size: 93%; margin-left: 6; color: #4444CC }
+code { font-size: 93%; }
+table { font-size: 100% } /* needed for quirks mode */
a:link { color: #0000FF }
a:hover { color: #000080 }
a:visited { text-decoration: underline }
diff --git a/platform/org.eclipse.sdk/book.css b/platform/org.eclipse.sdk/book.css
index 1ecf145..beda434 100644
--- a/platform/org.eclipse.sdk/book.css
+++ b/platform/org.eclipse.sdk/book.css
@@ -6,7 +6,6 @@
margin-bottom: 0.000000pt;
margin-right: 0.000000pt;
margin-left: 15pt;
- font-size: 10.000000pt;
font-weight: normal;
font-style: normal;
color: #4444CC;
@@ -23,7 +22,7 @@
margin-bottom: 11.000000pt;
margin-right: 0.000000pt;
margin-left: 0.000000pt;
- font-size: 9.000000pt;
+ font-size: 75%;
font-weight: bold;
font-style: Italic;
color: #000000;
@@ -39,7 +38,7 @@
margin-bottom: 19.500000pt;
margin-right: 0.000000pt;
margin-left: 30pt;
- font-size: 11.000000pt;
+ font-size: 110%;
font-weight: normal;
font-style: Italic;
color: #000000;
@@ -69,23 +68,19 @@
/* following font face declarations need to be removed for DBCS */
body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
-pre { font-family: "Courier New", Courier, monospace;}
+pre, code { font-family: "Courier New", Courier, monospace;}
/* end font face declarations */
-/* following font size declarations should be OK for DBCS */
-body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
-pre { font-size: 10pt}
-
-/* end font size declarations */
-
-body { background: #FFFFFF; margin-bottom: 1em }
-h1 { font-size: 18pt; margin-top: 5; margin-bottom: 1 }
-h2 { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
-h3 { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
-h4 { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
+body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
+h1 { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
+h2 { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
+h3 { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
+h4 { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
p { margin-top: 10px; margin-bottom: 10px }
-pre { margin-left: 6; font-size: 9pt; color: #4444CC }
+pre { font-size: 93%; margin-left: 6; color: #4444CC }
+code { font-size: 93%; }
+table { font-size: 100% } /* needed for quirks mode */
a:link { color: #0000FF }
a:hover { color: #000080 }
a:visited { text-decoration: underline }