div.section {
	font-size:larger;
	font-weight:bold;
	color:#aa0000;
}

div.Anoline a {
	cursor:pointer;
	color:#0044aa;
	text-decoration:none;
}

div.indent {
	margin: 0 0 0 10;
}

/*
div.tooltip {
	position:relative;
	z-index:24;
	text-decoration:none;
}
*/
div.tooltip:hover {
	background:#ffffff;
	text-decoration:none;
}

div.tooltip span {
	display:none;
	padding:3px; margin-left:8px;
}

div.tooltip:hover span {
	display:inline;
	position:absolute;
	text-align:center;
	color:#6c6c6c;
	border:1px solid #cccccc;
}