.navbody     { background-color: #800000; }
.navlink1    { font-family: Arial, Helvetica, sans-serif; font-size:  8pt; font-weight: bold }
.navlink2    { font-family: Arial, Helvetica, sans-serif; font-size: 10pt; font-weight: bold }
.navtable    { background-color: #99FFCC; border-color: #C0C0C0}

.prodname    { font-family: Arial; font_size: 14pt; color: #FF0000; font-weight: bold }
.prodver     { font-family: Times New Roman; font_size:  8pt; color: #FF0000 }
.prodtable   { background-color: #99CCFF; border-color: #C0C0C0}
.platlink    { font-family: Arial, Helvetica, sans-serif; font-size:  8pt }

a            { color: #000000; text-decoration: underline }
a:hover      { color: #FF0000; text-decoration: underline }