/* global style */

span.error {
	color: #FF0000;
}

span.debug-value {
	color: #FF0000;
}