
body
{
	background: white;
}

pre
{
	overflow: visible;
	overflow-X: hidden;
	font-size: 100%;
}

#search-box, #header, #navigation, #lastupdate, div#tools, #footernav, #copyright, #github-ribbon, div#top
{
	display: none;
}

div#content
{
	background: white;
	border: 0;
	margin: 0;
	padding: 0;
	font-family: serif;
	font-size: 10pt;
}
