body         { font-family: Arial; font-size: 10pt }
.filename    { font-family: Arial; font-size: 8pt; color: #000000; text-decoration: none }
.required    { font-family: Arial; font-size: 10pt; color: #800000; font-weight: bold }
.example     { font-family: Arial; font-size: 10pt; color: #808080 }
.navcurrent  { font-family: Arial; font-size: 10pt; color: #800000; font-weight: bold }
.navlink     { font-family: Arial; font-size: 10pt; color: #800000; text-decoration: none }
.footer      { font-family: Arial; font-size: 8pt }
h1           { font-family: Arial; font-size: 12pt; font-weight: bold }
h2           { font-family: Arial; font-size: 10pt; font-weight: bold; margin-bottom:0 }
table        { font-family: Arial; font-size: 10pt }
.text        { font-family: Arial; font-size: 10pt }