rem: { var ul = document.body.childNodes; for (var i=0; i<ul.length; i++) if (ul[i].tagName == "UL") ul[i].style.marginLeft = -18; } 
add: adjustMargins(); 
context: function onloadHandler(title){	// little change for mozilla margins	if (isMozilla)	{		var ul = document.body.childNodes;		for (var i=0; i<ul.length; i++)			if (ul[i].tagName == "UL")				ul[i].style.marginLeft = -18;	} 			parent.tocTitle=title;	if(parent.currentNavFrame=="toc")	{		parent.setToolbarTitle(title);	}}
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/bdea952ad9ee9c656b5c08054e8432a25b2702b0/toc.js/buggy/org.eclipse.help.webapp/toc.js