pre.screen {
	white-space: pre;
	overflow: auto;
	font-family: monospace;
	padding: 1ex;
	background-color: #edc;
	border: 1px solid #ccc;
	border-radius: 4px;
}

pre.programlisting {
	white-space: pre;
	overflow: auto;
	font-family: monospace;
	padding: 1ex;
	background-color: #eee;
	border: 1px solid #ccc;
	border-radius: 4px;
}