context: dojo.html.overElement = function(/* HTMLElement */element, /* DOMEvent */e){	//	summary	//	Returns whether the mouse is over the passed element.	element = dojo.byId(element);	var mouse = dojo.html.getCursorPosition(e);	var bb = dojo.html.getBorderBox(element);	var absolute = dojo.html.getAbsolutePosition(element, true, dojo.html.boxSizing.BORDER_BOX);	var top = absolute.y;	var bottom = top + bb.height;	var left = absolute.x;	var right = left + bb.width;	return (mouse.x >= left		&& mouse.x <= right		&& mouse.y >= top		&& mouse.y <= bottom	);	//	boolean}
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/util.js/clean/www/resources/dojo-ajax/src/html/util.js