Skip to content

Commit 39d51c8

Browse files
committed
Add missing book.css to ChangeLog docs.
2011-06-16 Jeff Johnston <[email protected]> * build.properties: Add book.css and clean up. * book.css: New file.
1 parent bac4673 commit 39d51c8

File tree

1 file changed

+59
-0
lines changed
  • changelog/org.eclipse.linuxtools.changelog.doc

1 file changed

+59
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
/* following font face declarations need to be removed for DBCS */
2+
3+
4+
body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, sans-serif; color: #000000}
5+
pre { font-family: Courier, monospace}
6+
7+
/* end font face declarations */
8+
9+
/* following font size declarations should be OK for DBCS */
10+
body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 12pt; }
11+
pre { font-size: 12pt}
12+
13+
/* end font size declarations */
14+
15+
body { background: #FFFFFF}
16+
h1 { font-size: 18pt; margin-top: 5; margin-bottom: 1 }
17+
h2 { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
18+
h3 { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
19+
h4 { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
20+
h5 { font size: 13.5pt; }
21+
p { font-size: 12pt; }
22+
pre { margin-left: 6; font-size: 9pt }
23+
24+
a:link { color: #006699 }
25+
a:visited { color: #996699 }
26+
a:hover { color: #006699 }
27+
28+
ul { margin-top: 0; margin-bottom: 10 }
29+
li { margin-top: 0; margin-bottom: 0 }
30+
li p { margin-top: 0; margin-bottom: 0 }
31+
ol { margin-top: 0; margin-bottom: 10 }
32+
dl { margin-top: 0; margin-bottom: 10 }
33+
dt { margin-top: 0; margin-bottom: 0; font-weight: bold }
34+
dd { margin-top: 0; margin-bottom: 0 }
35+
strong { font-weight: bold}
36+
em { font-style: italic}
37+
var { font-style: italic}
38+
div.revision { border-left-style: solid; border-left-width: thin;
39+
border-left-color: #7B68EE; padding-left:5 }
40+
th { font-weight: bold }
41+
.hidden {
42+
display: none;
43+
}
44+
45+
/* Mike Behm's addition to the style sheet */
46+
.userinput { font-family: monospace; }
47+
.guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel,
48+
.notetitle {
49+
color: #000000;
50+
font-family: helvetica, arial, sans-serif;
51+
font-weight: bold;
52+
}
53+
div.linux {display:none;}
54+
.firsterm {font-style:italic;}
55+
56+
.typewriter {font-family:monospace;}
57+
.bold {font-weight:600;}
58+
.linethrough {text-decoration: line-through;}
59+
.underline {text-decoration: underline;}

0 commit comments

Comments
 (0)