Skip to content

Commit 093ef6c

Browse files
committed
Merge book.css change into LTTng help plug-in.
1 parent 13b3dc1 commit 093ef6c

File tree

2 files changed

+61
-1
lines changed

2 files changed

+61
-1
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;}

lttng/org.eclipse.linuxtools.lttng.help/build.properties

+2-1
Original file line numberDiff line numberDiff line change
@@ -6,5 +6,6 @@ bin.includes = plugin.xml,\
66
doc/,\
77
toc-doc.xml,\
88
plugin.properties,\
9-
images/
9+
images/,\
10+
book.css
1011

0 commit comments

Comments
 (0)