| <?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> |