body {
	font-family:Georgia, "Times New Roman", Times, serif;
	background: white;
	font-size: 12pt;
	}

div#logobox, div#mainbody, div#breadcrumbs {
	border: 0;
	margin: 0 5%;
	padding: 0;
	float: none !important;
}

div#logobox {
	padding-bottom: 20px;
}

div#logobox img {
border: none;
}

div#formbox, div#menubox, div#leftcolumn, div#rightcolumn, div#footer, div#editor, div#widgets {
	display: none;
}

div#mainbody {
	padding-top: 1em;
	border-top: 1px solid #930;
}

div#mainbody a:link:after, div#mainbody a:visited:after {
   content: " (" attr(href) ") ";
   font-size: 90%;
   }

pre {
	padding-top: 1em;
	border-top: 1px solid #930;
	font-size: 9pt;
}