body
{
	background-color: white;
	font-family: Helvetica, Arial;
	font-size: 10pt;
}

li
{
	list-style-type: none;
}

a
{
	text-decoration: none;
	color: darkblue;
	font-weight: bold;
}

.floatRight
{
	float: right;
	margin: 4px;
}

.floatLeft
{
	float: left;
	margin: 4px;
}

a:hover
{
	text-decoration: underline;
}

.code
{
	font-family: Times New Roman;
	font-size: 10pt;
}

dt
{
	font-weight: bold;
}