var m = new COOLjsMenuPRO("menu1", MENU_ITEMS_BORDERSPRO)
m.initTop();
m.init();

window.initializeScripts = function () {
	m.show();
}	

function highlightNode(url, nodes, offset) {
	if (!offset)
		offset = 0;
	for (var i = offset; i < nodes.length; i++)
		if (nodes[i]) {
			if (nodes[i][1] && (url == nodes[i][1] || (nodes[i][1].length > 1 && url.substr(0, nodes[i][1].length) == nodes[i][1])))
				highlighted = nodes[i][0] = '<span style="color: #FFF122">' + nodes[i][0] + '</span>';
			else if (nodes[i][3])
				nodes[i] = highlightNode(url, nodes[i], 3);
		}	
	return nodes;	
}
if (window.initializeScripts)
	window.initializeScripts();

function refreshNavigation() {
	window.nav_tree.draw();
}