div.HTML, caption.HTML
{
  display: block;
  font-family: Sans-Serif, Arial, Symbol, Verdana;
  font-size: 13px;
  overflow: auto;
}

div.Heading_2, caption.Heading_2
{
  color: Navy;
  font-family: Sans-Serif, Arial, Symbol, Verdana;
  font-size: 25px;
  font-style: italic;
  font-weight: bold;
  line-height: 1.2em;
  padding-bottom: 12pt;
  padding-top: 0pt;
}

div.Heading_3, caption.Heading_3
{
  color: Black;
  font-family: Sans-Serif, Arial, Symbol, Verdana;
  font-size: 17px;
  font-weight: bold;
  line-height: 1.2em;
  padding-bottom: 12pt;
  padding-top: 0pt;
}

div.Paragraph, caption.Paragraph
{
  font-family: Sans-Serif, Arial, Symbol, Verdana;
  font-size: 13px;
  line-height: 1.2em;
  padding-bottom: 6pt;
  padding-top: 0pt;
}

span.Code, span.Code a, span.Code a:active, abbreviation.Code, abbreviation.Code a, abbreviation.Code a:active, acronym.Code, acronym.Code a, acronym.Code a:active, citation.Code, citation.Code a, citation.Code a:active
{
  background-color: #efefef;
  font-family: Consolas;
  white-space: pre;
}

span.Italic, span.Italic a, span.Italic a:active, abbreviation.Italic, abbreviation.Italic a, abbreviation.Italic a:active, acronym.Italic, acronym.Italic a, acronym.Italic a:active, citation.Italic, citation.Italic a, citation.Italic a:active
{
  font-style: italic;
}