body {
	font-family: arial, helvetica, sans-serif;
	font-size: 80%;
	color: black;
	background-color: white;
	margin: 1em;
	padding: 0;
}

pre {
	white-space: normal;
	font: 1em arial, helvetica, sans-serif;
	padding: 0 1em 1em 1em;
	background-color: #dce7ff;
	border: 1px #ccc groove;
	margin-top: 1em;
	margin-left: 2em;
	overflow: auto;
	width: 80%;
}