### Eclipse Workspace Patch 1.0
#P org.eclipse.sdk
Index: book.css
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.sdk/book.css,v
retrieving revision 1.9
diff -u -r1.9 book.css
--- book.css	29 May 2006 22:55:33 -0000	1.9
+++ book.css	2 Jan 2007 21:41:31 -0000
@@ -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 }
#P org.eclipse.platform
Index: book.css
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.platform/book.css,v
retrieving revision 1.7
diff -u -r1.7 book.css
--- book.css	29 May 2006 22:55:44 -0000	1.7
+++ book.css	2 Jan 2007 21:41:32 -0000
@@ -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 }