.headings {
	font-family: "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bold;
	color: #008000;
}
.warnings {
	font-family: "Times New Roman", Times, serif;
	font-size: large;
	font-weight: bold;
	color: #FF0000;
	}
.pagetitle {
	font-family: "Times New Roman", Times, serif;
	font-size: xx-large;
	font-weight: normal;
	color: #800000;
}
.body {
	margin-left: 80px;
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	font-style: normal;
	color: #000080;
}
.background {
	background-color: #FFF09D;
}
.footer {
	font-family: "Times New Roman", Times, serif;
	font-size: xx-small;
	font-weight: normal;
	color: #800080;
	background-color: #FFF09D;
}
.revision {
	font-family: "Times New Roman", Times, serif;
	font-size: xx-small;
	font-weight: normal;
	color: #800080;
}