pre {
	white-space: normal;
	font-size=8pt
	font: 1.5em system,courier new;
	padding: 0 1em 1em 1em;
	background-color: #dce7ff;
	border: 1px #ccc dashed;
	margin-top: 1em;
	margin-left: 2em;
	overflow: auto;
	width: 90%;
}