if (navigator.appName=="Microsoft Internet Explorer")
{
	var vertmenu = document.getElementById("verticalmenu");
	if (vertmenu.hasChildNodes())
	 {
		 for (var loop=0; loop < vertmenu.childNodes.length; loop++)
			vertmenu.childNodes.item(loop).firstChild.style.padding = "1px 0px 1px 10px";
	 }
}