context: 	dojo._setMarginBox = function(/*DomNode*/node, 	/*Number?*/leftPx, /*Number?*/topPx, 													/*Number?*/widthPx, /*Number?*/heightPx, 													/*Object*/computedStyle){		//	summary:		//		sets the size of the node's margin box and palcement		//		(left/top), irrespective of box model. Think of it as a		//		passthrough to dojo._setBox that handles box-model vagaries for		//		you.		var s = computedStyle || dojo.getComputedStyle(node);		// Some elements have special padding, margin, and box-model settings. 		// To use box functions you may need to set padding, margin explicitly.		// Controlling box-model is harder, in a pinch you might set dojo.boxModel.		var bb=dojo._usesBorderBox(node),				pb=bb ? _nilExtents : dojo._getPadBorderExtents(node, s),				mb=dojo._getMarginExtents(node, s);		if(widthPx>=0){	widthPx = Math.max(widthPx - pb.w - mb.w, 0); }		if(heightPx>=0){ heightPx = Math.max(heightPx - pb.h - mb.h, 0); }		dojo._setBox(node, leftPx, topPx, widthPx, heightPx);	}
meta: 4497	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4497/c5c15a47ccf248a9de97f351e1c61185207f9a3f/html.js/buggy/_base/html.js