dt {
	font-weight: bold;
	margin: 0.5em;
}
div.toc {
	background-color: #ddeeff;
	border-style: solid;
	border-width: 2px;
	border-color: #808080;
	margin: 0.3em;
}