| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142 | 
							- <?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;
 
- }
 
- div.sidebar {
 
-   border: 0.5pt solid black;
 
-   margin-top: 1em;
 
-   margin-bottom: 1em;
 
-   padding: 8px;
 
- }
 
- /* end of styles in block.xsl */
 
- /********************************/
 
- /********************************/
 
- /* start of styles in autotoc.xsl */
 
- /* top level entries */
 
- nav>ol>li>a {
 
-   margin-top: 1em;
 
-   margin-bottom: 1em;
 
- }
 
- /* 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-wrap;
 
-   font-family: monospace;
 
- }
 
- div.screen {
 
-   white-space: pre-wrap;
 
-   font-family: monospace;
 
- }
 
- div.synopsis {
 
-   white-space: pre-wrap;
 
-   font-family: monospace;
 
- }
 
- /* end of styles in verbatim.xsl */
 
- /********************************/
 
- /********************************/
 
- /* NAVIGATION */
 
- nav ol {
 
- list-style-type: none;
 
- margin: 0 0 0 2em;
 
- padding: 0 0 0 0;
 
- }
 
- nav ol li {
 
- margin: 0 0 0 0;
 
- padding: 0 0 0 0;
 
- }
 
- nav ol li a {
 
- text-decoration: none;
 
- color: black;
 
- font-family: sans-serif;
 
- }
 
- #guide {
 
- display: none;
 
- }
 
- </style>
 
 
  |