pre {
	background-color:white;
	margin: 1em 12px;
	padding: 2px 4px;
	/*font-family:courier,courier new,monospace*/
}