body {
	color: #000000;
	background-color: #ffffff;
	padding: 16px;
	font-family: Arial, Helvetica, sans-serif; 
}
a:link, a:visited {  
	color: #CC6633;
}
a:hover, a:active {  
	color: #eeeeee;
}

h3 span {
	font-size: 0.6em;
}
p {
	font-size: 0.8em;
}
pre {
	border-style: solid;
	border-color: black;
	border-width: 1;
	padding: 10px;
}
p.foot {
	font-size: 0.8em;
	font-style: italic;
}