div#toc a {
	text-decoration: none;
}

div#toc a:hover {
	text-decoration: underline;
}

div#toc ol {
	list-style-type: none;
	margin-left: 0.5em;
	padding-left: 0;
}

div#toc ol li {
	display:inline;
	padding-left: 2em;}

div#toc p.toc {
	font-weight: bold;
	font-size: 120%;
}


div#toc { 
	background: #CCC;
	border-top: 2px solid #e2edfe;
	border-bottom: 1px solid #171717;
	border-bottom-width: 1px;
	border-bottom-style: solid;
	margin-bottom: 0.5em;
	padding: 0.1em 0;
	font-size: 110%;
}