### Eclipse Workspace Patch 1.0 #P org.eclipse.platform Index: book.css =================================================================== RCS file: /home/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 27 Jun 2006 18:31:10 -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.help.base Index: doc/book.css =================================================================== RCS file: /home/eclipse/org.eclipse.help.base/doc/book.css,v retrieving revision 1.3 diff -u -r1.3 book.css --- doc/book.css 8 May 2006 23:44:29 -0000 1.3 +++ doc/book.css 27 Jun 2006 18:31:10 -0000 @@ -1 +1,20 @@ -/******************************************************************************* * Copyright (c) 2003, 2004 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ P.Code { display: block; text-align: left; text-indent: 0.00pt; margin-top: 0.000000pt; margin-bottom: 0.000000pt; margin-right: 0.000000pt; margin-left: 15pt; font-size: 10.000000pt; font-weight: medium; font-style: Regular; color: #4444CC; text-decoration: none; vertical-align: baseline; text-transform: none; font-family: "Courier New"; } H6.CaptionFigColumn { display: block; text-align: left; text-indent: 0.000000pt; margin-top: 3.000000pt; margin-bottom: 11.000000pt; margin-right: 0.000000pt; margin-left: 0.000000pt; font-size: 9.000000pt; font-weight: medium; font-style: Italic; color: #000000; text-decoration: none; vertical-align: baseline; text-transform: none; font-family: "Arial"; } P.Note { display: block; text-align: left; text-indent: 0pt; margin-top: 19.500000pt; margin-bottom: 19.500000pt; margin-right: 0.000000pt; margin-left: 30pt; font-size: 11.000000pt; font-weight: medium; font-style: Italic; color: #000000; text-decoration: none; vertical-align: baseline; text-transform: none; font-family: "Arial"; } EM.UILabel { font-weight: Bold; font-style: Regular; text-decoration: none; vertical-align: baseline; text-transform: none; } EM.CodeName { font-weight: Bold; font-style: Regular; text-decoration: none; vertical-align: baseline; text-transform: none; font-family:"Courier New"; } SPAN.NoWrap { white-space: nowrap; } /* 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, 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} 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 } p { margin-top: 10px; margin-bottom: 10px } pre { margin-left: 6; font-size: 9pt } a:link { color: #0000FF } a:hover { color: #000080 } a:visited { text-decoration: underline } ul { margin-top: 0; margin-bottom: 10 } li { margin-top: 0; margin-bottom: 0 } li p { margin-top: 0; margin-bottom: 0 } ol { margin-top: 0; margin-bottom: 10 } dl { margin-top: 0; margin-bottom: 10 } dt { margin-top: 0; margin-bottom: 0; font-weight: bold } dd { margin-top: 0; margin-bottom: 0 } strong { font-weight: bold} em { font-style: italic} var { font-style: italic} div.revision { border-left-style: solid; border-left-width: thin; border-left-color: #7B68EE; padding-left:5 } th { font-weight: bold } \ No newline at end of file +/******************************************************************************* * Copyright (c) 2003, 2004 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ P.Code { display: block; text-align: left; text-indent: 0.00pt; margin-top: 0.000000pt; margin-bottom: 0.000000pt; margin-right: 0.000000pt; margin-left: 15pt; font-weight: normal; + font-style: normal; + color: #4444CC; text-decoration: none; vertical-align: baseline; text-transform: none; font-family: "Courier New", Courier, monospace; +} H6.CaptionFigColumn { display: block; text-align: left; text-indent: 0.000000pt; margin-top: 3.000000pt; margin-bottom: 11.000000pt; margin-right: 0.000000pt; margin-left: 0.000000pt; font-size: 75%; + font-weight: bold; + font-style: Italic; color: #000000; text-decoration: none; vertical-align: baseline; text-transform: none; } P.Note { display: block; text-align: left; text-indent: 0pt; margin-top: 19.500000pt; margin-bottom: 19.500000pt; margin-right: 0.000000pt; margin-left: 30pt; font-size: 110%; + font-weight: normal; + font-style: Italic; color: #000000; text-decoration: none; vertical-align: baseline; text-transform: none; } EM.UILabel { font-weight: Bold; font-style: normal; + text-decoration: none; vertical-align: baseline; text-transform: none; } EM.CodeName { font-weight: Bold; font-style: normal; + text-decoration: none; vertical-align: baseline; text-transform: none; font-family: "Courier New", Courier, monospace; +} SPAN.NoWrap { white-space: nowrap; } /* 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, code { font-family: "Courier New", Courier, monospace;} + /* end font face declarations */ 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 { font-size: 93%; margin-left: 6; color: #4444CC } +code { font-size: 93%; } +table { font-size: 100% } +a:link { color: #0000FF } a:hover { color: #000080 } a:visited { text-decoration: underline } ul { margin-top: 0; margin-bottom: 10 } li { margin-top: 0; margin-bottom: 0 } li p { margin-top: 0; margin-bottom: 0 } ol { margin-top: 0; margin-bottom: 10 } dl { margin-top: 0; margin-bottom: 10 } dt { margin-top: 0; margin-bottom: 0; font-weight: bold } dd { margin-top: 0; margin-bottom: 0 } strong { font-weight: bold} em { font-style: italic} var { font-style: italic} div.revision { border-left-style: solid; border-left-width: thin; border-left-color: #7B68EE; padding-left:5 } th { font-weight: bold } \ No newline at end of file #P org.eclipse.sdk Index: book.css =================================================================== RCS file: /home/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 27 Jun 2006 18:31:10 -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 }