body {
	margin: 1em;
	padding: 0;
	background: transparent;
	font-family: Helvetica, sans-serif;
	color: #000;
	font-size: 12pt;
	}
h1 {
	margin: 0;
	padding: 0;
	}
h1 img {
	display: none;
	}
span.print {
	display: block;
	font-weight: bold;
	width: 100%;
	border-bottom: 1px solid #666;
	}
h2 {
	color: #000;
	}
h3 {
	color: #000;
	}
a:link {
	color: #333;
	}
a:visited {
	color: #666;
	}
a:hover, a:focus {
	color: #000;
	}
div#content {
	width: 100%;
	margin: 0;
	padding: 0;
	background: transparent;
	border: 0;
	}
div#content code {
	font-family: monospace;
	font-size: 100%;
	}
div#content pre {
	display: block;
	margin: 0.5em 2em;
	padding: 0;
	background: #fff;
	border: 0;
	}
ul#menu {
	display: none;
	}