BODY, P, LI, INPUT, SELECT, TD, LI, TH {
	font-family: Times, serif;
	font-size: 12px;
}

FORM DIV {
	margin: 2px auto;
}

DIV.navigation DIV {
	margin-bottom: 4px;
}

DIV.content-section, DIV.content-section-toc {
	margin: 4px auto 24px auto;
}

TH {
	text-decoration: underline;
}