body {
	font-family: Helvetica, Arial, sans-serif;
	/*	
	width: 75%;
	left: 143px;
	position: relative;
	*/
}
pre {
	background: #eee;
	border-style:solid; 
	margin:4pt 10pt 4pt 10pt;
	border-width: 1px 1px 1px 1px;
	padding: 2px 8px 2px 8px;
}
h1
{
	font-family: Helvetica, sans-serif;
	font-size: x-large;
	font-weight: bold;
}
li { padding-top: 8px; }
.pageref
{
	font-size: inherit;
	line-height: inherit;
	font-style: italic;
	/* font-weight: bold; */
	margin-bottom: 0px;
	padding-top: 8px;
	border-top-style: dotted;
	border-top-width: 1px;
	text-decoration: underline;
}
.section
{
	margin-top: 0px;
}
.footer
{
	text-align: center;
	font-size: small;
}
div.menu
{
	width: 130px;
	top: 16px;
	left: 4 px;
	position: fixed;
	font-family: Helvetica,sans;
	font-size: 9pt;
	line-height: 12pt;
	background-color: #eee;
	text-align: right;
	margin-right: 4px;
	padding-right: 4px;
	border: 1px black solid;
}
div.content { margin-left: 148px; }