/* terms.html
------------------------------*/

#page_toc
{
	width: 250px;
	float: right; 
	font-size: 0.8em; 
	border: 1px solid #666; 
	background: #ddd; 
	padding: 8px; 
	margin-left: 2.0em;
	margin-bottom: 2.0em;
}

#page_toc ul
{
	padding: 0;
	margin: 0;
	list-style-image: none;
	list-style-type: none;
}

#page_toc ul + ul
{
	padding: 0 0 0 16px;
	margin: 0;
	list-style-image: none;
	list-style-type: none;
}

#page_toc li > ul
{
	padding: 0 0 0 16px;
	margin: 0;
	list-style-image: none;
	list-style-type: none;
}