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

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

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

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