body
{
	font-family: "Helvetica", sans-serif;
	font-size: 10pt;
}

ol li { margin-bottom: 5ex; }

.note
{
	color: gray;
	font-style: italic;
}

a
{
	color: #00C;
	text-decoration: none;
}

a:visited
{
	color: #406;
}

a:hover
{
	color: #00F;
}