rem: var _4fc=dojo.html.getBorder(node); return {width:box.width-_4fc.width,height:box.height-_4fc.height}; 
add: var _50a=dojo.html.getBorder(node); return {width:box.width-_50a.width,height:box.height-_50a.height}; 
context: dojo.html.getPaddingBox=function(node){var box=dojo.html.getBorderBox(node);var _4fc=dojo.html.getBorder(node);return {width:box.width-_4fc.width,height:box.height-_4fc.height};};
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/dojo.js/buggy/www/resources/dojo-ajax/dojo.js