rem: function onloadHandler(title) 
add: function onloadHandler(toc, title) 
context: function onloadHandler(title){	// little change for mozilla margins	if (isMozilla)		adjustMargins(); 			parent.tocTitle=title;	if(parent.currentNavFrame=="toc")	{		parent.setToolbarTitle(title);	}}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/91ca6aa9f8aca34a9bcaae9701796a8797b06d56/toc.js/buggy/org.eclipse.help.webapp/toc.js