body {
	background-color: white;
	color: black;
	font-family: sans-serif;
	font-size: 10pt;
	margin: 2% 5%;
}

pre.programlisting {
	background: aliceblue;
	font-family: monospace;
	border: dashed black 2px;
	margin: 4px;
	padding-left: 10px;
	white-space: pre;
}

div.informaltable table {
	border-spacing: 0pt;
	padding: 0pt;
}