body {
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 5em;
	margin-right: 5em;
	background-color: #ffffff;
}


h1 {text-align:center;}


p {font-family:"Times New Roman", Times, serif;}
ul {font-family:"Times New Roman", Times, serif;}

/*
pre {
	padding: 1em;
	border: 1px dashed  #cfcfcf;
	color: #000000;
	background-color: #f4f4f4;
}
	*/

pre {
	border: 1px dashed #B11718;
	background: white;
	color: black;
	font-family: Courier;
	font-size: 11pt;
	padding: 10px 0px;
}

img {
	vertical-align: 	middle
}