h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: medium;
}
.highlight {
	color: #FF0000;
}
.htmlbody {
	font-family: Arial, Helvetica, sans-serif;
	font-size: small;
}