4 /********************************/
5 /* start of styles in block.xsl */
11 div.blockquote-title {
29 div.msglevel, div.msgorig, div.msgaud {
34 span.msglevel-title, span.msgorig-title, span.msgaud-title {
43 span.msgexplan-title {
48 border: 0.5pt solid black;
54 /* end of styles in block.xsl */
55 /********************************/
57 /********************************/
58 /* start of styles in autotoc.xsl */
60 /* top level entries */
61 nav>ol>li>a {
67 /* end of styles in autotoc.xsl */
68 /********************************/
70 /********************************/
71 /* start of styles in formal.xsl */
94 /* end of styles in formal.xsl */
95 /********************************/
97 /********************************/
98 /* start of styles in verbatim.xsl */
101 white-space: pre-wrap;
102 font-family: monospace;
106 white-space: pre-wrap;
107 font-family: monospace;
111 white-space: pre-wrap;
112 font-family: monospace;
115 /* end of styles in verbatim.xsl */
116 /********************************/
118 /********************************/
122 list-style-type: none;
133 text-decoration: none;
135 font-family: sans-serif;