a:visited {
	font-family: "Times New Roman", Times, serif;
	font-size: inherit;
	color: #000080;
}
a:hover {
	color: #0000FF;
	font-family: "Times New Roman", Times, serif;
	font-size: inherit;
	background-color: #E0FE42;
}
a {
	font-family: "Times New Roman", Times, serif;
	font-size: inherit;
	color: #000080;
}
plaintext {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
}
table {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
}