function setActive() {
    var ul = document.getElementById("nav");
    if(ul != null)
    {
        var menuHrefTags = ul.getElementsByTagName("a");
        var fileLoc = window.location.href;
        for(var i = 0; i < menuHrefTags.length; i++)
        {
            var aTag = menuHrefTags[i];
            if(aTag.href == fileLoc)
            {
                aTag.className = "active";
            }
            else
            {
                aTag.className = "";
            }
        }
    }
}