.header {
	font-family: Georgia, Times New Roman, Times, serif;
	font-size: 34px;
	font-weight: bold;
}
.normal {
	font-family: Georgia, Times New Roman, Times, serif;
	font-size: 12px;
}
.subheader {
	font-family: Georgia, Times New Roman, Times, serif;
	font-size: 16px;
	font-weight: bold;
	color: #FF9900;
}
.code {
	font-family: Courier New, Courier, mono;
	font-size: 11px;
	color: #999999;
}
.inlinecode {
	font-family: Courier New, Courier, mono;
	font-size: 11px;
	color: #999999;
	padding-left: 30px;
}