body {
 color: black; background-color: white; padding-top: 0.2em;
 font-family: Arial,Helvetica; font-size: 10pt; margin: 20px 20px 20px 20px;
}

td {
 font-family: Arial,Helvetica; font-size: 10pt; padding: 3px 15px; margin: 0px;
}

p,li { margin-top: 6pt; margin-bottom: 12pt }
pre { margin-top: 3pt; margin-bottom: 6pt }

pre b { font: bold 8pt "Lucida Console",Monaco; }

.example { margin-bottom: 12pt;
 border:0; cell-spacing:0; background-color: #e8e8e8;
  }

address { font-family: Palatino,"Times New Roman",Times }

blockquote { margin: 10pt; }

a { color: #336699; }

h1 {
 font-family: Verdana,Arial,Helvetica; font-weight: bold; text-decoration: none;
 color: #336699; font-size: large; font-variant: small-caps;
}
h2 {
 font-family: Arial,Helvetica; font-weight: bold; text-decoration: none;
 color: #336699; font-size: 15pt;
}
h3 { font-size:13pt; font-weight:bold; padding-top: 0.5em; }
h4 { font-size:11pt; font-weight:bold }
h5 { font-size:11pt; font-weight:bold }
h6 { font-size:11pt; font-weight:bold }

dl {
 font-weight: normal; text-decoration: none; color: #333333;
}

ul > li > a {
 font-family: Arial,Helvetica; font-weight: bold;
 color: #336699; font-size: 10pt;
}