p {
	margin-top: 0px;
	margin-bottom: 1em
	}

code {
	font-size: small
	}

td   { font-size: x-small; font-family: verdana, sans-serif, arial, helvetica }

td.HelpPage  {
	color: #669
	}

a  {
	color: #000080;
	text-decoration: none
	}

a:visited  { color: #600080 }

a:hover  { color: red }