a.headerlinks{
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
	line-height: normal;
	text-decoration: none;
	color: navy;
}

a.headerlinks:hover{
	font-family: "Times New Roman", Times, serif;
	font-style: normal;
	line-height: normal;
	text-decoration: underline;
	color: navy;
}