['margin', 'padding'].each(function(style){ 
['Top', 'Right', 'Bottom', 'Left'].each(function(direction){ var Short = Element.ShortStyles; var All = Element.Styles; ['margin', 'padding'].each(function(style){ 
	['margin', 'padding'].each(function(style){		var sd = style + direction;		Short[style][sd] = All[sd] = '@px';	});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/85e22ddf09a0c4f9bbdf7fe7a12f9c00279ad997/Element.Style.js/clean/Source/Element/Element.Style.js