body
{
	margin-left: 12pt;
	font-family: "Courier New", Courier, monospace;
    font-size: 10pt;
}

table
{
	font-family: "Courier New", Courier, monospace;
    font-size: 10pt;
}

span.source table
{
    font-size: 8pt;
}

table a:link, 
table a:visited
{
	color: #800000;
	text-decoration: none;
}

hr
{
	color: #000000;
}

span.warning
{
	font-weight: bold;
}

span.life_fore
{
	position: relative;
	top: -1pt;
	font-size: 6pt;
	color: #000000;
}

span.life_back
{
	position: relative;
	top: -1pt;
	font-size: 6pt;
	color: #000000;
}

span.census
{
	font-size: 6pt;
	color: #0040C0;
}

span.pad
{
	font-size: 10pt;
	color: #C0C0C0;
}

span.dummy
{
	position: relative;
	font-size: 2pt;
	color: #FFFFFF;
}

span.ancestor
{
	color: #C00000;
}

ul.ancestor
{
	margin-left: 18pt;
	padding-left: 18pt;
}

ul.descendant
{
	margin-left: 12pt;
	padding-left: 12pt;
}

ul#tree
{
	margin-left: 12pt;
	padding-left: 12pt;
}

ul.census
{
	position: absolute;
	left: -12pt;
	list-style-type: none;
}

ul.census li
{
	margin-left: 0pt;
	padding-left: 0pt;
	display: inline;
}

ul.census li a:link, 
ul.census li a:visited
{
	color: #0060C0;
	text-decoration: none;
}

li
{
	margin-left: -6pt;
	padding-left: -6pt;
	list-style-type: square;
}

li.blank
{
	color: #FFFFFF;
}

li.twig
{
	margin-left: -6pt;
	padding-left: -6pt;
	list-style-type: none;
}

li.branch
{
	margin-left: -24pt;
	padding-left: -24pt;
	list-style-type: none;
}

div.branch1, div.branch0 
{
	display: inline;
}

div.branch1 a:link, div.branch1 a:visited,
div.branch0 a:link, div.branch0 a:visited 
{
	color: #000000;
	text-decoration: none;
}

a:link, a:visited,
a:link, a:visited 
{
	color: #800000;
}

button   
{
	width: 36pt;
	height: 18pt;
	border-style: inset;
	color: #FFFFFF;
	text-align: center;
	font-family: "Courier New", Courier, monospace;
    font-size: 8pt;
	cursor: hand;
}

button.census
{
	border-color: #0060C0;
	background-color: #004080;
}

button.ancestor
{
	border-color: #C00000;
	background-color: #800000;
}

button.ancestors
{
	width: 72pt;
	border-color: #C00000;
	background-color: #800000;
}