rem: var tg = e.target while (!tg.highlightable) { if (!tg.parentNode) return tg = tg.parentNode } 
add: var tg = e.target.mouseObj if (!tg) return 
context: function backgroundOut (e){	var tg = e.target	while (!tg.highlightable)	{		if (!tg.parentNode)			return		tg = tg.parentNode	}	tg.style.borderLeft = tg.style.borderTop = "1px solid #cccccc"	tg.style.borderRight = tg.style.borderBottom = "1px solid #cccccc"	tg.style.backgroundColor = "#cccccc"	tg.focused = false	if (tg.tipVisible)	{		currentFocus = -1		tg.tipVisible = false		tipVisible = false		var div = top.document.getElementById ("tooltip")		if (div)			top.document.body.removeChild (div)	}}
meta: 4793	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4793/01e9c27844f432e5526a53f3be51dbf1a0bb3e98/box.js/clean/teaching_boxes/web/scripts/box/box.js