label span {
	cursor:pointer;
	padding: 2px;
}

label span:hover,
label span.spanHover {
	background: #CCE6F3;
	color: #333;
}
.highlighted {
	color: #fff !important;
	background: #0080C1 !important;
}
div.categories {
	padding: 1px 0 1px 18px;
}
div.toplevel {
	font-weight: bold;
	padding-top: 18px;
	padding-left: 0;
}