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