.navtree {
	background-color: #E9E9D1;
	border: 1px solid #999966;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	clear: right;
}
.error {
	background-color: #FFD9D9;
	border: 1px solid #FF9999;
	font-weight: bold;
	color: #FF0000;
}