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