.heading {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-weight: bold;
	text-decoration: underline;
}
kbd {
	font-family: monospace;
	font-weight: bold;
}
pre {
	font-family: monospace;
	background-color: #0000FF;
	color: #CCCCCC;
}
pre strong {
	font-weight: normal;
	color: #FFFFFF;
}
.mono {
	font-family: monospace;
}