add:  if (isMozilla) getChildNode(document.body, "UL").style.marginLeft = -18;  
context: function onloadHandler(title){	parent.tocTitle=title;	if(parent.currentNavFrame=="toc")	{		parent.setToolbarTitle(title);	}}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/da8590277eaea24a179ba8a5121117b0cc0afc7c/toc.js/buggy/org.eclipse.help.webapp/toc.js