| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104 | 
							- <?xml version="1.0"?>
 
- <style>
 
- /********************************/
 
- /* start of styles in block.xsl */
 
- .formalpara-title {
 
-   font-weight: bold;
 
- }
 
- div.blockquote-title {
 
-   font-weight: bold;
 
-   margin-top: 1em;
 
-   margin-bottom: 1em;
 
- }
 
- span.msgmain-title {
 
-   font-weight: bold;
 
- }
 
- span.msgsub-title {
 
-   font-weight: bold;
 
- }
 
- span.msgrel-title {
 
-   font-weight: bold;
 
- }
 
- div.msglevel, div.msgorig, div.msgaud {
 
-   margin-top: 1em;
 
-   margin-bottom: 1em;
 
- }
 
- span.msglevel-title, span.msgorig-title, span.msgaud-title {
 
-   font-weight: bold;
 
- }
 
- div.msgexplan {
 
-   margin-top: 1em;
 
-   margin-bottom: 1em;
 
- }
 
- span.msgexplan-title {
 
-   font-weight: bold;
 
- }
 
- /* end of styles in block.xsl */
 
- /********************************/
 
- /********************************/
 
- /* start of styles in autotoc.xsl */
 
- /* end of styles in autotoc.xsl */
 
- /********************************/
 
- /********************************/
 
- /* start of styles in formal.xsl */
 
- div.figure-title {
 
-   font-weight: bold;
 
- }
 
- div.example-title {
 
-   font-weight: bold;
 
- }
 
- div.equation-title {
 
-   font-weight: bold;
 
- }
 
- div.table-title {
 
-   font-weight: bold;
 
- }
 
- div.sidebar-title {
 
-   font-weight: bold;
 
- }
 
- /* end of styles in formal.xsl */
 
- /********************************/
 
- /********************************/
 
- /* start of styles in verbatim.xsl */
 
- div.programlisting {
 
-   white-space: pre;
 
-   font-family: monospace;
 
- }
 
- div.screen {
 
-   white-space: pre;
 
-   font-family: monospace;
 
- }
 
- div.synopsis {
 
-   white-space: pre;
 
-   font-family: monospace;
 
- }
 
- /* end of styles in verbatim.xsl */
 
- /********************************/
 
- </style>
 
 
  |