body {
	margin: 0px;
	padding: 0px;
	background-color: #CCCC99;
	font-size: 13px;
	line-height: 1.4em;
}
.mini {
	font-size: 10px;
}
.menu {
	padding-top: 5px;
	padding-bottom: 10px;
	padding-left: 10px;
	color: #FFFFFF;
}
a {
	font-weight: bold;
	color: #990000;
	text-decoration: underline;
}
.titlered {
	line-height: 1.2px;
	font-weight: bold;
	color: #520000;
	padding-bottom: 2px;
	border-top: medium dotted #520000;
	padding-top: 5px;
}

.style1 {font-size: x-small}

.style3 {font-size: x-small; color: #FFFFFF; }