a:hover{color: #FF0000; text-decoration: underline}
.text {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small; color: #1f305f; text-decoration: none}}
.page_title {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: large; font-weight: bold; color: #000066; text-decoration: none}
.blue_border { border: 4px #ACD6FF solid}
.copyright {
	font-family: Arial, Helvetica, sans-serif;
	font-size: xx-small;
}
.grey_border { border: 4px #CCCCCC solid}
.menu {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: small; font-weight: bold; color: #000066; text-decoration: none}
.header {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: medium; font-weight: bold; color: #0033CC}
.update {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small; font-weight: bold; color: #FF0000; text-decoration: none}