body { font: 12pt "Times new Roman", Times, serif }

/* ----- super- and subscripts ----- */
 sup { vertical-align: 45% }
 sub { vertical-align: -25% }

/* ----- link ----- */
 a { text-decoration: none }
 a:visited { color: #0080a0 }
 a:hover, a:active { color: #ff0000; text-decoration: underline }

/* ----- lists ----- */
 ol { margin-left: 20pt }
 ul { margin-left: 14pt; list-style: url(../img/dots_gray.gif) }
 ul.smgn { padding: 0pt 0pt 0pt 0pt; margin: 0pt 0pt 0pt 14pt }
 li { margin: 5pt 0pt 5pt 0pt }
 li.nmgn { margin: 0pt 0pt 0pt 0pt }

/* ----- code printing ----- */
 pre { margin: 7pt 0pt 7pt 0pt; padding: 5pt 5pt 5pt 5pt;
      line-height: 100%; border: thin outset; background-color: #ffffea }
 pre.format { margin: 5pt 0pt 5pt 0pt; padding: 2pt 5pt 3pt 5pt;
      line-height: 110%; border: none; background-color: #eaeaff }
 pre.example { margin: 5pt 0pt 5pt 0pt; padding: 2pt 5pt 3pt 5pt;
      line-height: 110%; border: thin groove; background-color: #fffff0 }
 pre.files { margin: 5pt 0pt 5pt 0pt; padding: 2pt 5pt 3pt 5pt;
      line-height: 100%; border: none; background-color: #f0f0f0 }
 kbd { font-weight: bold }
 kbd.head { color: #007070; font-size: 95% }
 div.cmdl { margin: 5pt 0pt 5pt 8pt; padding: 2pt 5pt 2pt 5pt;
           background-color: #e8ffff }
 code { font-size: 95% }

/* ----- toc ----- */
 td.toc { background-color: #eaeaff }

/* ----- body text ----- */
 .pref { margin: 12pt 10pt 12pt 15pt }
 .head1 { margin: 12pt 0pt 12pt 0pt; color: #009000; font-size: 105%;
          font-weight: bold; font-style: italic }
 .head2 { margin: 6pt 0pt 6pt 0pt; color: #805020; font-size: 95%;
          font-weight: bold }
 .head3 { margin: 3pt 0pt 3pt 0pt; color: #605080; font-size: 90%;
          font-weight: bold }
 div.mgn { margin: 12pt 0pt 12pt 0pt }
 div.smgn { margin: 6pt 0pt 6pt 0pt }
 div.nmgn { margin: 3pt 0pt 6pt 0pt }
 div.figure { margin: 6pt 0pt 6pt 0pt; text-align: center }
 div.figrfl { margin: 6pt 0pt 6pt 0pt; text-align: center; float: right }
 .ind1 { margin-left: 8pt }
 .ind2 { margin-left: 16pt }
 .ind3 { margin-left: 24pt }
 .ind1mgn { margin: 12pt 0pt 12pt 8pt }
 .ind2mgn { margin: 12pt 0pt 12pt 16pt }
 .ind3mgn { margin: 12pt 0pt 12pt 24pt }
 .ind1smgn { margin: 6pt 0pt 6pt 8pt }
 .ind2smgn { margin: 6pt 0pt 6pt 16pt }
 .ind3smgn { margin: 6pt 0pt 6pt 24pt }
 .ind1nmgn { margin: 3pt 0pt 3pt 8pt }
 .ind2nmgn { margin: 3pt 0pt 3pt 16pt }
 .ind3nmgn { margin: 3pt 0pt 3pt 24pt }
 .floatright { float: right; margin: 0pt 0pt 0pt 12pt }
 .floatleft { float: left; margin: 0pt 12pt 0pt 0pt }
 .equivOL { margin: 10pt 0pt 10pt 20pt }
 dl { margin: 0pt 0pt 0pt 0pt }
 dd { margin-left: 8pt }

/* ----- table ----- */
 th, td { padding: 0pt 3pt 0pt 3pt }
 .csv { font-family: sans-serif; font-size: 80% }
 .mark { background-color: #fff0e0; font-weight: bold; }
 .wmrk { background-color: #fff0e0 }