A {
	text-decoration: none;
	font-family: sans-serif;
	font-weight: bold;
	color: rgb(0,0,255);
}

A:visited {
	color: rgb(0,0,255);
}

A:active {
	color: rgb(0,128,255);
}

A:hover {
	color: rgb(0,255,255);
}

P {
	margin-left: 20pt;
	margin-bottom: 10pt;
}


H2 {
	font-size: 12pt;
	font-weight: bold;
}

BODY {
	font-family: sans-serif;
	font-size: 12pt;
	background-color: rgb(255,255,255);

	vlink-color: rgb(0,0,255);
	alink-color: rgb(0,128,128);
}

UL {
	font-family: sans-serif;
	font-size: 12pt;
}


TD.title {
	font-family: sans-serif;
	font-size: 12pt;
	font-weight: bold;
	background-color: rgb(0,0,130);
	color: rgb(255,255,255);
	align: left;
}

TD {
	font-family: sans-serif;
	font-size: 12pt;
	vertical-align: top;
	background-color: rgb(200,200,230);
}

TD.version {
	font-family: sans-serif;
	font-size: 12pt;
	font-weight: bold;
}

SPAN.title {
	font-weight: bold;
	font-size: 13pt;
}

SPAN.cxx {
	font-family: monospace;
	font-size: 12pt;
}