body        { font-family: Arial, Helvetica }
a           { text-decoration: underline }
.a2         { text-decoration: none ; color: black }
.a2:hover   { color: red }
.a3         { text-decoration: none ; color: #ccafaf }
.a3:hover   { color: red }
.a4         { text-decoration: underline ; color: black }
.a4:hover   { color: red }
.a5         { text-decoration: underline ; color: blue }
.a5:hover   { color: red }
.a6         { font-weight: bold }
.a7         { font-size: 110%;font-weight: bold }
.a8         { text-decoration: none ; color: black }
.a8:hover   { text-decoration: underline ; color: red }
.a9         { text-decoration: none ; color: blue }
.a9:hover   { text-decoration: underline ; color: red }
.a10         { text-decoration: none ; color: #9999ff; }
.a10:hover   { text-decoration: underline ; color: red }
h1              { font-family: Arial, sans-serif; font-size: 14pt; font-weight: bold; color: #004488; }
h2              { font-family: Arial, sans-serif; font-size: 12pt; font-weight: bold; }
.h1             { font-family: Arial, sans-serif; font-size: 14pt; font-weight: bold; }
.h1bar          { font-family: Arial, sans-serif; font-size: 14pt; font-weight: bold; color: #004488; }
.h2             { font-family: Arial, sans-serif; font-size: 12pt; font-weight: bold; }
.biglabel       { font-family: Arial, sans-serif; font-size: 12pt; font-weight: bold; }
.label          { font-family: Arial, sans-serif; font-size: 10pt; font-weight: bold; }
.labelbar       { font-family: Arial, sans-serif; font-size: 10pt; font-weight: bold; }
.normal         { font-family: Arial, sans-serif; font-size: 10pt; }
.normalbar      { font-family: Arial, sans-serif; font-size: 10pt; }
.notice         { font-family: Arial, sans-serif; font-size: 10pt; color: #006699; }
.warning        { font-family: Arial, sans-serif; font-size: 10pt; color: #ff0000; }
.verbarleft     { font-family: Arial, sans-serif; font-size: 8pt; font-weight: bold; background-color: #ffffff;}
.horbartop      { font-family: Arial, sans-serif; font-size: 10pt; background-color: #ffffff; }
.nav            { background-color: #ffffcc; }
.error          { color: #ff0000; font-variant: small-caps }
.preformatted   { font-family: courier; font-size: 10pt; }