//var browserID = navigator.userAgent;
var isIE;

//if(browserID.indexOf("MSIE") != -1)
if(document.all && navigator.userAgent.indexOf("Opera") == -1)
{
	isIE=true;
}

function styleElementsByTagName(tag,string1,string2)
//Takes <tag> and surrounds its contents with <string1> and <string2>
{
	var tags = document.getElementsByTagName(tag);
	for(var i=0;i < tags.length; i++)
	{
		text = tags[i].innerHTML;
		text = string1 + text + string2;
		tags[i].innerHTML = text;
	}
}

function styleElementById(id,string1,string2)
//Takes <tag> and surrounds its contents with <string1> and <string2>
{
	var tags = document.getElementById(id);
	text = tags.innerHTML;
	text = string1 + text + string2;
	tags.innerHTML = text;
}

function append_to_end()
{
	var p_tags = document.getElementsByTagName("p");
	var last_p = p_tags.length - 1;
	var last_p_text = p_tags[last_p].innerHTML;
	p_tags[last_p].innerHTML = last_p_text + "<br \/>Your user agent is " + navigator.userAgent;
}

function fix_divs()
{
	var thediv = document.getElementById("navigation");
	thediv.style["margin"] = "-3px 0 0 0;";
}

window.onload = function()
{
	if(isIE)
	{
		styleElementsByTagName("li"," :: ","");
		styleElementById("tools",""," ::");
		fix_divs();
	}
	//append_to_end();
}