.body_text {
	font-family: Tahoma;
	font-size: small;
	color: #1C3F75;
	text-decoration: none;
}
.html_menu {
	font-family: Tahoma;
	font-size: 8px;
	color: #003F7C;
	text-decoration: none;
}