body {
	margin-left: 0px;
	margin-top: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	background-color: #e9dbb7;
}
.white_times {
	color: #FFFFFF;
	font-family: "Times New Roman", Times, serif;
	font-size: small;
}
.page_text {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #224E9A;
	font-size: small;
}
.catalogue {
	color: #224E9A;
	font-size: xx-small;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
a:hover {
	text-decoration: none;
}
.blue_times {
	font-family: "Times New Roman", Times, serif;
	font-weight: bold;
	color: #224E9A;
}