.nodename	{
	font-family:arial, sans-serif;
	font-size: 16pt;
	font-weight:900;
	color:#990000;
}

.nodesect	{
	font-family:arial, sans-serif;
	font-size: 12pt;
	font-weight: 900;
	color: #1144AA;
	padding-left: 25px;
}

.nodetext	{
	font-family: arial, sans-serif;
	font-size: 12pt;
	padding-left: 50px;
}

.nodeexample	{
	padding-left: 50px;
}