body {
	font-size: 12pt;
  font-family: Georgia, "Times New Roman", Times, serif;
	margin-right: 1in;
	margin-left: 1in;
	margin-top:  0.75in;
	margin-bottom: 0.5in;
}

#main-content {
	width: 100%;
	margin-bottom: 2em;
	line-height: 1.4;
}

.navigation {
	display: none;
}

pre {
	font-size: 10pt;
	overflow: auto;
	font-family: "Courier New", Courier, mono;
}