// JavaScript Document

function tfm_removeLabelHighlight(element) { //v1.01
	var label = tfm_getLabel(element);
	if(label){
		label.style.border = label.style.oldborder;
		label.style.backgroundColor = label.style.oldbg;
	}
}