body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
}
.footer {
	font-size: 10px;
}
.sourcecode {
	border: 1px dotted #000;
	padding: 10px;
	width: 98%;
}