.heads {
	font-size: 150%;
	color: #990000;
	font-weight: bold;
	font-family: Arial, Helvetica, sans-serif;
}

.defs {
	font-size: 100%;
	font-family: "Times New Roman", Times, serif;
}

.example {
	font-size: 85%;
	font-style: italic;
	font-family: "Times New Roman", Times, serif;
}

.atts {
	font-size: 75%;
	font-family: Arial, Helvetica, sans-serif;
}

.notes {
	font-size: 10pt;
	font-family: "Times New Roman", Times, serif;
}

.noteswhite {
	font-size: 80%;
	font-family: "Times New Roman", Times, serif;
}

.tablebg {
	background-color: #FFFFE8;
}

A {
	color: #000066;
}

A:Visited {
	color: #666666;
}

A:Active {
	color: #990000;
}