@charset "ISO-8859-1";
.comment {
	color: #800000;
	font-size: 16px;
}
.copyright {
	font-size: 12px;
	padding-top: 5px;
	border-top-width: 1px;
	border-top-style: solid;
	border-top-color: #CC9900;
}
.boxright {
	float: right;
	margin: 10px;
}
.red {
	font-weight: bold;
	color: #F00;
}
.orange {
	font-weight: bold;
	color: #FF8000;
}
.green {
	color: #008040;
	font-weight: bold;
}
.blue {
	color: #00F;
	font-weight: bold;
}
.boxleft {
	float: left;
	margin: 10px;
}
.description {
	font-size: 16px;
}
.hangingindent {
	text-indent: -35px;
	padding-left: 35px;
}