body {
	background-color: #DDFFDD;
}

.doublespacing {	line-height: 150%;}

.header3 {
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #4d2b20;
}

.8pts {font-size: 8px}
.10pts {font-size: 10px}
.12pts {font-size: 12px}
.13pts {font-size: 13px}

.smallfont {font-size: small}