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.parentNode.className = "active";
            }
            else {
                aTag.parentNode.className = "";
            }
        }
    }
}