x {
}

BODY {
	background-color:	#FFFFFF;
	color:			#000000;
	margin-left:		0em;
	margin-right:		0em;
	margin-top:		0em;
	margin-bottom:		0em;
}

H1 {
	font-size:		36pt;
	font-family:		Helvetica, Arial, Lucida Sans, sanserif;
	font-weight:		200;
	color:			#FF0000;
}

H2 {
	font-size:		12pt;
	font-family:		Helvetica, Arial, Lucida Sans, sanserif;
	font-weight:		600;
	color:			#FF0000;
}

P {
	margin-left:		2em;
}

P.initial {
	text-indent:		0em;
}

SMALL.backtrace {
	font-size:		8pt;
	font-family:		Helvetica, Arial, Lucida Sans, sanserif;
}