body {  font-family: Verdana, Arial, Helvetica, sans-serif}
p {  font-size: x-small}
h1 {  font-family: "comic sans ms", Verdana, Arial, Helvetica, sans-serif; color: #993300}
h2 {  font-family: "comic sans ms", Verdana, Arial, Helvetica, sans-serif; font-weight: normal; color: #993300}

ul {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: x-small}
li {  font-size: x-small}
h3 { font-family: "comic sans ms", Verdana, Arial, Helvetica, sans-serif; font-weight: normal; color: #993300 }
dt {  font-size: x-small}
dd {  font-size: x-small}
td {  font-size: x-small}
pre {  font-size: small}
.author {
	font-size: small;
}
.codefragment {
	font-family: "Courier New", Courier, mono;
	font-size: small;
}
.errorline {
	background-color: <?php echo HIGHLIGHT_BG_COLOR; ?>;
}
.bold {
	color: #993300;
	font-weight: bold;
}