a { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #C90000; text-decoration: none}
a:hover { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #013571; text-decoration: none}
.white  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #FFFFFF}
.whitebold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #FFFFFF}
.red  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #C90000}
.redbold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #C90000}
.black  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #000000}
.blackbold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #000000}
.graybold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #626262}
.gray  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #626262}
.yellowbold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #EAA11E}
.yellow  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #EAA11E}
.whitecursor  { cursor:default; font-style: normal; font-variant: normal; font-weight: normal; font-size: 13.px; font-family: Arial; color: #FFFFFF}
.whiteboldcursor { cursor:default; font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #FFFFFF}
.bluebold  { font-style: normal; font-variant: normal; font-weight: bold; font-size: 13.px; font-family: Arial; color: #7FACF0}


.postred  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 11.px; font-family: Arial; color: #C90000}
.postblack  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 11.px; font-family: Arial; color: #000000}
.postgray  { font-style: normal; font-variant: normal; font-weight: normal; font-size: 11.px; font-family: Arial; color: #626262}