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

/* I'd like to find a 
   different way to compute 
   margins in IE versus other
   browsers
   */
/* this works in OS X Safari but not IE
	margin-right: -0.5in;
	margin-left: 0.5in;
*/
}

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

.navigation, .search, .cse-search-box {
	display: none;
}

.search-form {
	display: none;
}

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