a.menu7 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bold;
	text-decoration: none;
; font-size: small; color: #006600
}

a.menu7:hover {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bold;
	text-decoration: underline;
; color: #FF0000
; font-size: small
	}