BODY
	{
	background-color:#ffffff;
	font-family:Helvetica
	}

div.topbar {
	background-color: #a0a0a0;
	color: white;
	font-size:small;
}

PRE
	{
	font-family:Courier
	}

A:link
	{
	color: blue
	}

A:visited
	{
	color: blue
	}