/*
 * Note that all selectors involve div.CodeViewer at the top level
 * to ensure that there are no collisions with other style sheets
 */
div.CodeViewer
{
  margin-right: 22pt;
  margin-top:    0px;
}

div.CodeViewer li.CodeViewerCode
{ 
  border-color: rgb(204,204,204);
  border-style: none none dotted solid;
  border-width: 1px;
  font-family: Monospace,Courier;
  font-size:   3vh;
  margin-left: 44pt;
  white-space: pre;
}


div.CodeViewer footer.CodeViewerControls
{
  background-color: rgb(153,153,153);
  color: white;
  font-family: sans-serif;
  font-size: 12px;
  margin-bottom: 10px;
  margin-top: 0px;
  width: 100%;
}

div.CodeViewer img.CodeViewerExpander {
  cursor: pointer;
  float: right;
}

div.CodeViewer ol.CodeViewerNoScroll
{
  border-color: rgb(153,153,153);
  border-style: solid;
  border-width: 1px;
  list-style-position: outside;
  list-style-type: decimal;
  margin-bottom: 0px;
  margin-top: 0px;
}


div.CodeViewer ol.CodeViewerScroll
{
  border-color: rgb(153,153,153);
  border-style: solid;
  border-width: 1px;
  height: 600px;
  list-style-position: outside;
  list-style-type: decimal;
  overflow: scroll;
  margin-bottom: 0px;
  margin-top: 0px;
}

div.codeViewer li
{
  margin-bottom: 0px;
  margin-top: 0px;
}

div.CodeViewer li.collapsed
{
  height: 6pt;
  visibility: hidden;
}

div.CodeViewer li.numbered
{
  list-style-type: decimal;
}

div.CodeViewer li.unnumbered
{
  list-style-type: none;
  margin-left: -30pt;
}

div.CodeViewer span.comment
{
  color: rgb(153,  0, 51);
}

div.CodeViewer span.constant
{
  color: rgb(153,153,153);
}

div.CodeViewer span.reserved
{
  color: rgb(153,  0,255);
}

div.CodeViewer span.type
{
  color: rgb(204,153,  0);
}