/*$Id$*/
#TOC {
	font-size: small;
}
ul {
	list-style: disc inside;	
	font-size: small;
}
ol {
	font-size: small;
	/*list-style: inside;*/
}
ul li, ol li {
	margin-left: -15px;
	margin-top: 3px;
}
ul ul  {
	list-style: square inside;
	font-size: x-small;
}
ul ol, ol ul, ol ol {
	font-size: x-small;
}
.Selected, .current {
	font-weight: bold;
	background-color: Aqua;
}