rem: Element.setStyle(element, {"background-color" : highLightColor}); 
add: elementSetStyle(element, {"background-color" : highLightColor}); 
context:     highlight : function(element) {        var highLightColor = "yellow";        if (element.originalColor == undefined) { // avoid picking up highlight            element.originalColor = Element.getStyle(element, "background-color");        }        Element.setStyle(element, {"background-color" : highLightColor});        window.setTimeout(function() {            //if element is orphan, probably page of it has already gone, so ignore            if (!element.parentNode) {                return;            }            Element.setStyle(element, {"background-color" : element.originalColor});        }, 200);    }
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/697a29d268d2448c4391184afe752f6497773118/htmlutils.js/clean/code/javascript/core/scripts/htmlutils.js