]> git.stg.codes - stg.git/blob - doc/xslt/html/docbook.css.xml
Fixed bfstream test compilation.
[stg.git] / doc / xslt / html / docbook.css.xml
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
11 div.blockquote-title {
12   font-weight: bold;
13   margin-top: 1em;
14   margin-bottom: 1em;
15 }
16
17 span.msgmain-title {
18   font-weight: bold;
19 }
20
21 span.msgsub-title {
22   font-weight: bold;
23 }
24
25 span.msgrel-title {
26   font-weight: bold;
27 }
28
29 div.msglevel, div.msgorig, div.msgaud {
30   margin-top: 1em;
31   margin-bottom: 1em;
32 }
33
34 span.msglevel-title, span.msgorig-title, span.msgaud-title {
35   font-weight: bold;
36 }
37
38 div.msgexplan {
39   margin-top: 1em;
40   margin-bottom: 1em;
41 }
42
43 span.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   font-weight: bold;
54   margin-top: 1em;
55   margin-bottom: 1em;
56 }
57
58
59 /* end of styles in autotoc.xsl */
60 /********************************/
61
62 /********************************/
63 /* start of styles in formal.xsl */
64
65 div.figure-title {
66   font-weight: bold;
67 }
68
69 div.example-title {
70   font-weight: bold;
71 }
72
73 div.equation-title {
74   font-weight: bold;
75 }
76
77 div.table-title {
78   font-weight: bold;
79 }
80
81 div.sidebar-title {
82   font-weight: bold;
83 }
84
85
86 /* end of styles in formal.xsl */
87 /********************************/
88
89 /********************************/
90 /* start of styles in verbatim.xsl */
91
92 div.programlisting {
93   white-space: pre;
94   font-family: monospace;
95 }
96
97 div.screen {
98   white-space: pre;
99   font-family: monospace;
100 }
101
102 div.synopsis {
103   white-space: pre;
104   font-family: monospace;
105 }
106
107 /* end of styles in verbatim.xsl */
108 /********************************/
109 </style>