#pubhub-container pre.screen .userinput code {
  font-size: inherit;
  font-weight: bold;
}

/********************************/
/* 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;
}

/* end of styles in block.xsl */
/********************************/

/********************************/
/* start of styles in autotoc.xsl */


/* 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;
  font-family: monospace;
}

div.screen {
  white-space: pre;
  font-family: monospace;
}

div.synopsis {
  white-space: pre;
  font-family: monospace;
}

/* end of styles in verbatim.xsl */
/********************************/
#pubhub-container .pubhub-doc-container pre.screen .userinput code {
  font-size: inherit;
  font-weight: bold;
}
#pubhub-container .pubhub-doc-container div.mediaobject table {
  max-height:60em;
  max-width:50em;
  width: initial !important;
}
#pubhub-container .pubhub-doc-container div.mediaobject img {
  width: initial;
}
#pubhub-container .pubhub-doc-container h3,
#pubhub-container .pubhub-doc-container h4,
#pubhub-container .pubhub-doc-container h5
{
  font-weight: 200;
}
#pubhub-container .pubhub-doc-container h2 {
  font-size: 2.2rem;
}
#pubhub-container .pubhub-doc-container h3 {
  font-size: 1.8rem;
}
#pubhub-container .pubhub-doc-container h4 {
  font-size: 1.6rem;
}
#pubhub-container .pubhub-doc-container h5 {
  font-size: 1.3rem;
}
#pubhub-container .pubhub-doc-container div.note,
#pubhub-container .pubhub-doc-container div.tip
{
  border-left-style: solid;
  border-color: gray;
  padding-left: 0.5em;
}
#pubhub-container .pubhub-doc-container div.note h3,
#pubhub-container .pubhub-doc-container div.tip h3
{
  font-size: inherit;
  font-weight: bold;
}