/* Initialize events to make the drop-down menus function in IE-based
   browsers. */
function initialize_navigation()
{
    if (document.all && document.getElementById)
    {
        navigation_root = document.getElementById("navigation-root");

        for (i = 0; i < navigation_root.childNodes.length; i++)
        {
            node = navigation_root.childNodes[i];

            if (node.nodeName == "LI")
            {
                node.onmouseover = function()
                {
                    this.className += " over";
                }

                node.onmouseout = function()
                {
                    this.className = this.className.replace(" over", "");
                }
            }
        }
    }
}