span.highlight-text {
	background-color: #C6D9DB;
	cursor: pointer;
}
span.splink {
	color: #0A5794;
	cursor: pointer;
}