code {  font-family: "Courier New", Courier, mono; color: #000099; font-weight: bold}
pre {
	color: #000099;
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
}
h1 {  font-family: Arial, Helvetica, sans-serif; font-size: 18pt; font-weight: bold}
h2 {  font-family: Arial, Helvetica, sans-serif; font-size: 14pt; font-weight: bold}
samp {  font-family: Arial, Helvetica, sans-serif; font-weight: bold}
.BoxedTitle {
    padding: 4px;
	height: auto;
	width: auto;
	border: thin solid #6600CC;
	font-family: Arial, Helvetica, sans-serif;
 }
h3 {  font-family: Arial, Helvetica, sans-serif; font-weight: bold; font-size: 12pt}
kbd {
	color: #000066;
}
.answer {
	color: #3300CC;
	font-family: "Comic Sans MS";

}
.larger {
	font-size: larger;
}