function leftNavInit() {

    // need just the filename of the currently selected page
    var filename = getNameFromPath(location.pathname);
    var hrefs = document.getElementsByTagName('a');
    for (var ii=0; ii < hrefs.length; ii++) {
        var href = getNameFromPath(hrefs[ii].href);
        if (href == filename) {
            var hrefId = new String(hrefs[ii].id);
            var className = new String(hrefs[ii].className);
            if (hrefId.indexOf("menu") >= 0) {
                if (className.indexOf("havechild") >= 0) {
                    hrefs[ii].className = 'havechild-mainlevel-active-trans';
                } else {
                    hrefs[ii].className = 'mainlevel-active-trans';
                }
            } else {
                if (className.indexOf("sublevel") >= 0) {
                    hrefs[ii].className = 'sublevel-active';
                    var parentFilename = getMenuParentFilename(hrefs[ii]);
                    for (var jj=0; jj < hrefs.length; jj++) {
                        var hrefParent = getNameFromPath(hrefs[jj].href);
                        if (hrefParent == parentFilename) {
                            hrefs[jj].id = 'active_menu';
                        }
                    }
                } else {
                    hrefs[ii].id = 'active_menu';
                }
            }
        }
    }
}

function getNameFromPath(path) {
    var fullFilename = new String(path);
    var index = fullFilename.lastIndexOf('/');
    var filename = fullFilename.substr(index+1);
    return filename;
}

function getMenuParentFilename(child) {
    var filename = "";
    var parent = child.parentElement.parentElement;
    var children = parent.children;
    for (var ii=0; ii < children.length; ii++) {
        if (children[ii].nodeName == "A") {
            filename = getNameFromPath(children[ii].href);
        }
    }
    return (filename);
}