3 /********************************/
4 /* start of styles in block.xsl */
10 div
.blockquote-title
{
28 div
.msglevel
, div
.msgorig
, div
.msgaud
{
33 span
.msglevel-title
, span
.msgorig-title
, span
.msgaud-title
{
42 span
.msgexplan-title
{
46 /* end of styles in block.xsl */
47 /********************************/
49 /********************************/
50 /* start of styles in autotoc.xsl */
58 /* end of styles in autotoc.xsl */
59 /********************************/
61 /********************************/
62 /* start of styles in formal.xsl */
85 /* end of styles in formal.xsl */
86 /********************************/
88 /********************************/
89 /* start of styles in verbatim.xsl */
93 font-family: monospace
;
98 font-family: monospace
;
103 font-family: monospace
;
106 /* end of styles in verbatim.xsl */
107 /********************************/