body
  {
  background: #e8f0ff;
  color: #101010;
  line-height: 1.3;
  text-align: justify;
  font-family: arial, sans-serif;
  font-size: 12;
  }

.ptitle
  {
  color: #3040C8;
  font-size: 18pt;
  font-weight: 700;
  font-family: lucida, sans-serif;
  /*font-variant: small-caps; */
  border-bottom: solid;
  background: #d8e0f8;
  padding: 12pt 12pt 12pt 12pt;
  }
.ptitle:first-line {
  font-size: 36pt;
  /*padding: 1.5em 0*/
  /*line-height: 2.0*/
  border-bottom: none;
  }

.menu, .thumbs
  {
  color: #152590;
  font-size: 11pt;
  font-weight: 800;
  font-family: "sans serif", "verdana", "helvaticia", "bitstream vera serif", serif;
  text-align: left;
  background: #e0e8f0;
  }
.menu a 
  {
  display: block;
  padding: 0pt 12pt;
  font-size: 10pt;
  font-weight: 600;
  }

.menu address {font-size: 10pt; font-style: normal; text-decoration: none;}

/*.thumbs
  {
  color: #3040C8;
  font-size: 12pt;
  font-weight: 600;
  background: #e0e8f0;
  }*/
.thumbs a {font-size: 10pt}

a:link {
  text-decoration: none; color: #4050d0 }
a:visited {
  text-decoration: none; color: #551a8b }
a:active {
  text-decoration: none; color: #900 }
a:hover {
  text-decoration: underline; background: #D0D8FF }
.toc {
  margin: 0 0 0 16pt}
.picscreen
  {
  color: #3040C8;
  background: #d8e0f8;
}
.fineprint {
  font-size: 8pt }
h2
  {
  color: #2030C;
  font-size: 18pt;
  font-weight: 700;
  font-family: "bitstream vera serif", serif;
  border-bottom: thin solid;
  text-align: left;
  }
h3
  {
  color: #2030C;
  font-size: 16pt;
  font-weight: 700;
  font-family: "bitstream vera serif", serif;
  text-align: left;
  }