body {
	background-color: #FFFFFF;
	background-image: url(images/background.gif);
	background-repeat: repeat-y;
}
p {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 13px;
	font-weight: normal;
	color: #000000;
	line-height: 19px;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
	color: #000094;
}
a {
	font-style: italic;
	color: #000094;
	text-decoration: none;
}
a:hover {
	font-style: italic;
	color: #000094;
	text-decoration: underline;
}
pre {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	font-weight: normal;
}
ul {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 13px;
	font-weight: normal;
	color: #000000;
	line-height: 19px;
}
.smaller {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
}