H1
{	background: rgb(255,228,176);
	color: rgb(153,0,0)}
H2
{	color: rgb(153,0,0)}
H3
{	margin-top: 24px;
	margin-bottom: 0px;
	color: rgb(153,0,0)}
H4
{	margin-top: 12px;
	margin-bottom: 0px;
	color: rgb(153,0,0)}
.s
{	background: rgb(230,230,230);}
.hct
{	color: rgb(153,0,0);}
.hcn
{	color: rgb(153,0,0);
	font-weight:bold;
	background: rgb(255,228,176)}
.hc
{	color: rgb(153,0,0);
	font-weight:bold;
	background: rgb(255,228,176);
	margin-left: 40px}
.red
{	color: rgb(255,0,0)}
PRE B, B.bl
{	color: rgb(0,0,255)}
PRE I, CODE I
{	color: rgb(0,102,0);
	font-style: normal}
B.er
{	background: rgb(255,204,204);
	font-weight: normal}
LI
{	margin-top: 8px}
LI.n
{	margin-top: 2px;
	margin-bottom: 2px}
CODE
{	font-family: monospace;
	font-size: smaller}