1<?xml version="1.0"?>
2<style>
3
4/********************************/
5/* start of styles in block.xsl */
6
7.formalpara-title {
8  font-weight: bold;
9}
10
11div.blockquote-title {
12  font-weight: bold;
13  margin-top: 1em;
14  margin-bottom: 1em;
15}
16
17span.msgmain-title {
18  font-weight: bold;
19}
20
21span.msgsub-title {
22  font-weight: bold;
23}
24
25span.msgrel-title {
26  font-weight: bold;
27}
28
29div.msglevel, div.msgorig, div.msgaud {
30  margin-top: 1em;
31  margin-bottom: 1em;
32}
33
34span.msglevel-title, span.msgorig-title, span.msgaud-title {
35  font-weight: bold;
36}
37
38div.msgexplan {
39  margin-top: 1em;
40  margin-bottom: 1em;
41}
42
43span.msgexplan-title {
44  font-weight: bold;
45}
46
47/* end of styles in block.xsl */
48/********************************/
49
50/********************************/
51/* start of styles in autotoc.xsl */
52
53
54/* end of styles in autotoc.xsl */
55/********************************/
56
57/********************************/
58/* start of styles in formal.xsl */
59
60div.figure-title {
61  font-weight: bold;
62}
63
64div.example-title {
65  font-weight: bold;
66}
67
68div.equation-title {
69  font-weight: bold;
70}
71
72div.table-title {
73  font-weight: bold;
74}
75
76div.sidebar-title {
77  font-weight: bold;
78}
79
80
81/* end of styles in formal.xsl */
82/********************************/
83
84/********************************/
85/* start of styles in verbatim.xsl */
86
87div.programlisting {
88  white-space: pre;
89  font-family: monospace;
90}
91
92div.screen {
93  white-space: pre;
94  font-family: monospace;
95}
96
97div.synopsis {
98  white-space: pre;
99  font-family: monospace;
100}
101
102/* end of styles in verbatim.xsl */
103/********************************/
104</style>
105