<?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&gt;ol&gt;li&gt;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>
