span.numbers {
	font-size: 10pt;
	color: #FF0033;
	text-align: right;
}


/* end wdl-search */
span.bolder {
	font-weight: bold;
}

span.warning {
	font-size: 9pt;
	font-weight: bold;
	color: #FF0033;
}

span.confirmation {
	font-size: 10pt;
	font-weight: bold;
	color: #333333;
}


span.bolder {
	font-weight: bold;
	color: #333333;
}

.correct {
	color: green;
}

.unknown {
	color: rgb(255, 128, 64); /* orange */
}

.stopword {
	color: blue;
}

.invalid {
	background-color: rgb(255, 128, 255); /* pink */
}

.duplicate {
	background-color: rgb(255, 128, 255); /* pink */
}

.bracket {
	color: rgb(255, 128, 64); /* orange */
}

.correct_wrong_case {
	color: green;
	background-color: rgb(255, 128, 255); /* pink */
}

/* Styles for the comparator */
.missing {
	color: red;
	background-color: yellow;
	text-decoration: line-through;
}

.additional {
	color: green;
	background-color: yellow;
	text-decoration: underline;
}

.same {
	color: black;
}


}