dojo.html.setMarginBox = function(/* HTMLElement */node, /* object */args){   node = dojo.byId(node); var width = 0; var height = 0; var isbb = dojo.html.isBorderBox(node); var padborder = (!isbb ? dojo.html.getPadBorder(node) : { width: 0, height: 0 }); var margin = dojo.html.getMargin(node); var ret = {}; if(typeof args.width != "undefined"){ width = args.width - padborder.width; width -= margin.width; ret.width = dojo.html.setPositivePixelValue(node, "width", width); } if(typeof args.height != "undefined"){ height = args.height - padborder.height; height -= margin.height; ret.height = dojo.html.setPositivePixelValue(node, "height", height); } return ret; 
dojo.html.setMarginBox=function(node,args){ node=dojo.byId(node); var _27b=0; var _27c=0; var isbb=dojo.html.isBorderBox(node); var _27e=(!isbb?dojo.html.getPadBorder(node):{width:0,height:0}); var _27f=dojo.html.getMargin(node); var ret={}; if(typeof args.width!="undefined"){ _27b=args.width-_27e.width; _27b-=_27f.width; ret.width=dojo.html.setPositivePixelValue(node,"width",_27b); 
dojo.html.setMarginBox = function(/* HTMLElement */node, /* object */args){  //  summary  //  Sets the dimensions of the passed node using margin box calcs.  node = dojo.byId(node);  var width = 0; var height = 0;  var isbb = dojo.html.isBorderBox(node);  var padborder = (!isbb ? dojo.html.getPadBorder(node) : { width: 0, height: 0 });  var margin = dojo.html.getMargin(node);  var ret = {};  if(typeof args.width != "undefined"){    width = args.width - padborder.width;    width -= margin.width;    ret.width = dojo.html.setPositivePixelValue(node, "width", width);  }  if(typeof args.height != "undefined"){    height = args.height - padborder.height;    height -= margin.height;    ret.height = dojo.html.setPositivePixelValue(node, "height", height);  }  return ret; //  object}
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js