body {
	font-family: tahoma;
	font-size: 70%;
	padding: 290px 10px 10px 10px;
}

p {
	text-align: justify;
}

h1 {
	font-size: 130%;
	font-family: arial;
}

pre {
	font-size: 9pt;
	padding: 10px;
	background-color: #F8F8F8;
	border: 1px solid #F0F0F0;
}

.clsNode { font-family: tahoma; font-size: 8pt; text-decoration: none; cursor: hand; color: black }
.clsNode:hover { text-decoration: none; color: #eeeeee; background-color: #003366 }

div.ctrl {
	font-family: tahoma; font-size: 8pt;
}

div.ctrl a {
	color: black;
	text-decoration: none;
}

p.ctrl a:hover {
	color: red;
}