.searchindex-result li {
	margin-bottom: 1em;
}

.searchindex-results li {
	display: inline;
	padding-right: 10px;
}

.searchindex-results {
	margin-bottom: 1em;
}

.searchindex-results li.active a {
	color: #464646;
	text-decoration: none;
	font-weight: bold;
}