.header {
	font-family: Arial;
	font-size: 24pt;
	background: #CCDDFF;
	padding: 4px;
}
body {
	font-family: Arial;
	font-size: 10pt;
	margin: 0px;
}
pre {
	border: 1px solid #CCCCCC;
	background: #EEEEEE;
}
code {
	font-size: 12pt;
}