#toc {
	display: none;
}

th.grp {
	font-weight: bold;
	padding-top: 4px;
}