#moduleDefinitions_definitions {
	overflow: auto;
}
.moduleDefinitions_class {
	overflow: hidden;
}
#moduleDefinitions_alphabet {
	position: absolute;
}
#moduleDefinitions_alphabet div {
	color: gray;
}
#moduleDefinitions_alphabet div.highlighted {
	color: red;
}