body {
	background-color: #8a1005;
	background-image: url(stripe.gif);
	background-repeat: repeat-x;
}
.style2 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: small;
}
.style4 {
	font-size: large;
	color: #EAB60E;
}
.style5 {
	color: #AB1406;
	font-weight: bold;
}