.menu {background-color:#ccccff; color:#000099; text-decoration:none; font-family:Arial; font-size:9pt};
a.menu:hover {background-color:#eeeeff; color:#000099; text-decoration:none; font-family:Arial; font-size:9pt};
.menuon {background-color:#eeeeff; color:#000099; text-decoration:none; font-family:Arial; font-size:9pt};
.header {font-family: Arial, Helvetica, sans-serif; font-size: 13pt; font-weight:bold}
.bodytext {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt}
a {  font-family: Arial, Helvetica, sans-serif; font-size: 9pt; font-weight: normal; color: #0000FF}
.user {  font-family: Arial, Helvetica, sans-serif; font-size: 7pt}
.option { font-family:Arial, Helvetica, sans-serif; font-size: 9pt; font-weight:normal; color:#0000ff; text-decoration:none}
a.option:hover {font-family:Arial, Helvectica, sans-serif; font-size: 9pt; font-weight:normal; color:#ff0000; text-decoration:underline}
.small { font-family: Arial, Helvetica, sans-serif;font-weight:normal; color: #000000; font-size:7pt;}