p, table, td, th {  font-family: arial, helvetica, geneva; font-size: 10pt}
pre {  font-family: "Courier New", Courier, mono; font-size: 10pt}
h2 { font-family: arial, helvetica, geneva; font-size: 18pt; font-weight: bold ; line-height: 14px}
code {  font-family: "Courier New", Courier, mono; font-size: 10pt}
sup {  font-family: arial,helvetica,geneva; font-size: 10px}
h3 {  font-family: arial, helvetica, geneva; font-size: 14pt; font-weight: bold}
li {  font-family: arial, helvetica, geneva; font-size: 10pt}
h1 {  font-family: arial, helvetica, geneva; font-size: 28px; font-weight: bold}
body {  
  font-family: arial, helvetica, geneva; 
  font-size: 10pt; 
  clip:   rect(   ); 
  margin-top: 5mm; 
  margin-left: 3mm
}
.indextop { font-size: x-large;; font-family: Verdana, Arial, Helvetica, sans-serif; font-weight: bold}
.indexsub { font-size: xx-small;; font-family: Arial, Helvetica, sans-serif; color: #8080FF}

div.figure {
}

div.figure-caption {
  text-align: center;
}

span.figure-number {
  font-weight: bold;
}
  
pre.program {
  margin-left: 1em;
  margin-right: 1em;
  padding: 5px;
  background-color: whitesmoke;
}

dt {
  font-weight: bold;
  margin-left: 2ex;
}

dd {
  margin-left: 5ex;
}

a.cite {
  text-decoration: none;
  background-color: whitesmoke;
}