Skip to content

Commit bac4673

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

File tree

3 files changed

+66
-4
lines changed

3 files changed

+66
-4
lines changed

gcov/org.eclipse.linuxtools.gcov.docs/ChangeLog

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1+
2011-06-16 Jeff Johnston <[email protected]>
2+
3+
* build.properties: Add book.css and clean up.
4+
* book.css: New file.
5+
16
2011-06-03 Jeff Johnston <[email protected]>
27

38
Regenerate from updated wiki-page.
Lines changed: 59 additions & 0 deletions
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;}
Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,10 @@
11
bin.includes = META-INF/,\
22
plugin.xml,\
33
toc.xml,\
4-
cheatsheets/,\
54
about.html,\
65
plugin.properties,\
7-
doc/,\
86
Linux_Tools_Project/,\
9-
tools.xml,\
10-
images/
7+
images/,\
8+
book.css
119
jars.compile.order = .
1210

0 commit comments

Comments
 (0)