body {
	font-family: sans-serif;
	font-size: 85%;
	background: #fff;
	color: #000;
}

code {
	font-family: "Courier New", monospace;
	font-size: 0.9em;
	background: #ddd;
}

pre.programlisting {
	font-family: "Courier New", monospace;
	background: #ddd;
	border: solid 1px #888;
	padding: 4px 10px 2px 4em;
	font-size: 0.9em;
}

em {
	font-style: normal;
	font-weight: bold;
}


.footnote {
	font-size: 0.85em;
}