b.OK{
	/*color:#4BDB12;*/
	/* padding-left: 15px; */
}


b.KO{
	/*color:#C70039;*/
}
span.true{
	color:#4BDB12;
	font-weight: bold;
}


span.false{
	color:#C70039;
	font-weight: bold;
}

/*
span.workbench {
	color: #777;
}


span.colors{
	color:blue;
}
*/

a.colors, span.colors, span.workbench, span.sledgehammer, span.why, span.layer, span.sticker, span.FUFU{
	color:var(--colorLink);
	/* background-color: #C70039; */
	text-decoration: none;
	border-bottom: dotted 1px var(--colorLink);
	cursor: grab;
}

a.colors, span.colors:hover, span.workbench:hover, span.sledgehammer:hover, span.why:hover, span.layer:hover, span.sticker:hover, span.FUFU:hover{
	/*text-decoration: underline;*/
	/*color:var(--color);*/
	/* border-bottom: solid 1px var(--green); */
}