x {
}

body {
	background-color:	#330000;
	color:			#FFFFFF;
	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;
}