h1 {
	font-family: arial, helvetica;
	font-size: 20pt;
}
h3 {
	font-family: arial, helvetica;
	font-size: 14pt;
}
h4 {
	font-family: arial, helvetica;
	font-size: 12pt;
	color: #808080;
}
h5 {
	font-family: arial, helvetica;
	font-size: 12pt;
	color: #808080;
}
* {
	font-family: arial, helvetica;
	font-size: 11pt;
}
a {
	text-decoration: none;
}
pre, code {
	font-family: courier;
	font-size: 10pt;
	color: #802020;
}