pre {
	border: 0;
	white-space: pre;
	font-size: 8pt;
	overflow: auto;
	padding: 1em;
}