rem: dojo._setMarginBox = function(node, leftPx, topPx, widthPx, heightPx, computedStyle){ 
add: dojo._setMarginBox = function(/*DomNode*/node, 	/*Number?*/leftPx, /*Number?*/topPx, /*Number?*/widthPx, /*Number?*/heightPx, /*Object*/computedStyle){       
context: 	dojo._setMarginBox = function(node, leftPx, topPx, widthPx, heightPx, computedStyle){		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/e5485335c2fd40b4084dc008626b69fa6ba39322/html.js/buggy/_base/html.js