.top { 
  background-color:#9898ca;
  text-align:center;
  padding: 0px; margin: 0px;
}
.top p { padding-top: 4px; margin: 0px auto; }
.top h1 { 
  color: white; background-color:#2121c6; 
  padding: 2px; 
  margin: .5em 0em; 
}
.bottom {
  clear: both;
  margin-top: .7em;
  border-top: medium groove #ccc;
  padding-top: .3em;
  text-align: center;
  font-size: 10pt;
}
h1 { font-size: 1.6em; color: #369; }
h2 { font-size: 1.4em; color: #369; }
h3 { font-size: 1.2em; color: #369; }

dl.code {
   padding: 0ex 3ex;
}
dl.code dt {
  color: black; 
  font-family: courier, monospaced;
  margin-top: -.5em;
}
dl.code dd {
  margin-bottom: 0.75em; 
  margin-left: 3ex;
}
dl.codeRunin dt {
  display: run-in;
  color: black; 
  font-family: courier, monospaced;
  margin-top: -0.5em;
}
dl.codeRunin dd {
  text-indent: -3ex;
  margin-bottom: 0.75em; 
  margin-left: 6ex;
}
dl.codeRunin dt:after { content: url("emdash.gif");}

dl.codeSide {
  margin: -0.5em 0em -0.25em 0em; 
  padding: 0em;
}
dl.codeSide dt {
  float: left;
  clear: left;
  width: 15.5%;
  text-align: right;
  white-space: nowrap;
  padding-right: .75ex;
  color: black;
  font-family: courier, monospaced;
  padding-bottom: .25em;
}
dl.codeSide dd {
  margin-left: 16%;
  width: 80%;
  padding-bottom: .25em;
}
dl.codeSide + p {clear: left;}

div.filelistings { 
  text-align: center;
}
div.filelistings p {
   margin: 0px auto;
   color: black; background-color: #feb;
   padding: 3px 0px;
   width: 500pt;
}
div.filelistings pre {
  text-align: left;
  margin: 0px auto;
  padding: 3px 0px;
  color: black; background-color: #dcdcdc; 
  font-family: courier, monospaced;
  font-size: 9pt; width: 500pt;
}

span.option {
  font-family: courier, monospaced;
  color: black;
  left-margin: 5ex;
}
span.emdash:after, span.option:after { content: url("emdash.gif"); }

td.listing {
  width: 500pt;
  padding: 0pt;
  color: black; background-color: #dcdcdc;
  font-family: courier, monospaced;
  font-size: 9pt;
  white-space: pre;
}
pre.listing, pre.code{
  width: 500pt;
  color: black; background-color: #dcdcdc; 
  font-family: courier, monospaced;
  font-size: 9pt; 
}
span.listing, code {
  font-family: courier, monospaced;
  color: black;
}
span.ilisting, var {
  font-style: italic;
  padding-right: 0.5ex;
  font-family: courier, monospaced;
  color: black;
}

span.highlight td.highlight {
  font-color: #ff0000;
}
span.following {
  white-space:nowrap;
}
span.following:after { 
  content: ":";
}
ul.following li:after {
  content: ".";
}
ul.following li.last:after {
  content: ".";
} 
p.listing, p.code {
  font-family: courier, monospaced;
  color: black;
  margin-left: 40pt;
}
p.prelisting {
  font-family: courier, monospaced;
  color: black;
  margin-left: 40pt;
  white-space: pre;
}
li.b {
  font-weight: bold;
}
.boxed {
border-left-width: 2px;
border-top-width: 2px;
border-bottom-width: 2px;
border-right-width: 2px;
border-style: groove;
padding-right: 10pt;
padding-left: 10pt;
padding-top: 4pt;
padding-bottom: 3pt;
margin-left: 80px;
margin-right: 80px;
text-align: justify;
font-family: "arial narrow", arial, "gill sans", helvetica, geneva, sans-serif;
}
.noteI  { float: left}
.note   {
margin-right: 80px;
margin-left: 20px;
font-size: .85em;
text-align: justify;
font-family: "arial narrow", arial, "gill sans", helvetica, geneva, sans-serif
}