body {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 80%;
  }

p  { margin-top: 6; margin-bottom: 0 }
h1 { font-size: 120%; font-weight: bold; }
h2 { font-size: 110%; font-weight: bold; }
h3 { font-size: 100%; font-weight: bold; }

table.source { background-color: #F7EBC6; margin-top:12; margin-bottom:12; }
.source    { background-color: #F7EBC6; }
.count     { background-color: #F7EBC6; }

li {
  padding-bottom: .25em
}

td {
  font-size: 80%; 
  vertical-align: top;
  padding-right: .5em;
  font-family: Arial, Helvetica, sans-serif;
  }


.SectionHead{ 
  ols-style-type: paragraph;
  font-size: 150%;
  font-weight: bold;
  font-family: Arial, Helvetica, sans-serif}
.Title{ 
  ols-style-type: paragraph;
  font-size: 200%;
  font-weight: bold;
  font-family: Arial, Helvetica, sans-serif}
.Heading{ 
  ols-style-type: paragraph;
  font-size: 120%;
  font-weight: bold;
  font-family: Arial, Helvetica, sans-serif}
.Contents{ 
  ols-style-type: paragraph;
  font-family: Arial, Helvetica, sans-serif;
  margin-left: 0.25in;
  font-size: 120%}
.Code{ 
  ols-style-type: paragraph;
  font-family: Courier New, Courier, mono;
  margin-top: 0in;
  margin-bottom: 0in;
  margin-left: 0.25in;
  font-size: 10pt
}