a:link { font-weight:bold; color:#000080; text-decoration:underline }
a:visited { font-weight:bold; color:#000080; text-decoration:underline }
a:hover { font-weight:bold; color:#800080; text-decoration:underline }
a:active { font-weight:bold; color:#800080; text-decoration:underline }
a:focus { font-weight:bold; color:#800080; text-decoration:underline }

body { font-family: Times New Roman; font-size: 10pt; color:000080 }

.top1 { font-family: Times New Roman; font-size: 8pt; color:000080 }

.hlex1a { font-family: Times New Roman; font-size: 18pt; color:800080; text-decoration: underline; font-weight: bold }
.hlex1b { font-family: Times New Roman; font-size: 14pt; color:000080; text-decoration: underline; font-weight: bold }

.hlex2 { font-family; Times New Roman; font-size: 12pt; color:800080 }

.synlex { font-family: Times New Roman; font-size: 9pt; letter-spacing: 1px; 
font-style: italic; font-weight:bold; color:800080 }

.free1 { font-family: Verdana; font-size: 10pt; color:008080 }

.link1 { font-family: Arial; font-size: 10pt; font-weight:bold; color:800080; background-color:DEDEDE }

.link2 { font-family: Arial; font-size: 9pt; font-weight:bold; color:800080; background-color:DEDEDE }

.link3 { font-family: Courier New; font-size: 9pt; font-weight:normal; color:800080; background-color:DEDEDE }

.td1 { border-left: 1 solid #800080; border-right: 1 solid #000080; border-top: 1 solid #800080; border-bottom: 1 solid #000080; border-style: outset }

.th1 { border-left: 1 solid #800080; border-right: 1 solid #000080; border-top: 1 solid #800080; border-bottom: 1 solid #000080; border-style: outset }

.input1 { background-color: #DEDEDE; border-left: 1 solid #800080; border-right: 1 solid #000080; border-top: 1 solid #800080; border-bottom: 1 solid #000080 }

.select1 { background-color: #DEDEDE; color: #000080; font-family: Times New Roman; font-size: 10pt; font-weight: bold; border-left: 1 solid #800080; border-right: 1 solid #000080; border-top: 1 solid #800080; border-bottom: 1 solid #000080; margin-left: 10; margin-top: 10 }

.area1 { background-color: #DEDEDE; border-left: 1 solid #800080; border-right: 1 solid #000080; border-top: 1 solid #800080; border-bottom: 1 solid #000080 font-family: Times New Roman; font-size: 12; font-color: #000080 }

#noborder { border-style: none }

#gl { color:#008080 }
#rl { color:#800080 }
#r5 { font-size:18pt;color:#800080 }
#r4 { font-size:14pt;color:#800080 }
#r3 { font-size:12pt;color:#800080 }
#b5 { font-size:18pt;color:#000080 }
#b4 { font-size:14pt;color:#000080 }
#b3 { font-size:12pt;color:#000080 }