OLD | NEW |
| (Empty) |
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 | |
54 /* end of styles in autotoc.xsl */ | |
55 /********************************/ | |
56 | |
57 /********************************/ | |
58 /* start of styles in formal.xsl */ | |
59 | |
60 div.figure-title { | |
61 font-weight: bold; | |
62 } | |
63 | |
64 div.example-title { | |
65 font-weight: bold; | |
66 } | |
67 | |
68 div.equation-title { | |
69 font-weight: bold; | |
70 } | |
71 | |
72 div.table-title { | |
73 font-weight: bold; | |
74 } | |
75 | |
76 div.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 | |
87 div.programlisting { | |
88 white-space: pre; | |
89 font-family: monospace; | |
90 } | |
91 | |
92 div.screen { | |
93 white-space: pre; | |
94 font-family: monospace; | |
95 } | |
96 | |
97 div.synopsis { | |
98 white-space: pre; | |
99 font-family: monospace; | |
100 } | |
101 | |
102 /* end of styles in verbatim.xsl */ | |
103 /********************************/ | |
104 | |
105 /* footnote rule */ | |
106 hr.footnote-hr { | |
107 width: 100; | |
108 } | |
109 | |
110 </style> | |
OLD | NEW |