div.toc {
	border: 1px solid #999;
	height: 8em;
	font-size: .75em;
	overflow: auto;
	width: 60em;
}