var cookie = readCookie("style");
var title = cookie ? cookie : getPreferredStyleSheet();
setActiveStyleSheet(title);

function load_eventhandlers()
{
	if (document.getElementsByTagName)
	{
		var anchors = document.getElementsByTagName('A');
	}
	else if (document.all)
	{
		var anchors = document.all.tags('A');
	}
	else
	{
		return;
	}
	for (var i=0; i<anchors.length; i++)
	{
		if (anchors[i].className == 'menu')
		{
			anchors[i].onclick = function () {this.blur()};
		}
	}
}