function ChangeHeader(strTitle) {
    var objElement = document.getElementsByTagName("object")[0];
    if(objElement) {
        var svgHeader = objElement.contentDocument.defaultView;
        strTitle=strTitle.replace("Henk Vijver - ","");
        if(svgHeader) {
            svgHeader.setHeaderText(strTitle);
        }
    }
}



function GetText(sUrl){
    var xmlhttp1;
    if(window.XMLHttpRequest){
        var xmlhttp1 = new XMLHttpRequest();
    } else if(window.ActiveXObject) {
        xmlhttp1 = new ActiveXObject("Microsoft.XMLHTTP");
    }
    if(xmlhttp1){
        xmlhttp1.onreadystatechange = function() {
            if (xmlhttp1.readyState == 4) {
                var temp = xmlhttp1.responseText;
                temp = temp.substr(temp.indexOf('<div id="text">'));
                temp = temp.substr(0,temp.indexOf('<div id="footer">'));
                document.getElementById("text").innerHTML = temp;
            }
        }
        xmlhttp1.open("GET",sUrl,true);
        xmlhttp1.send(null);
    }
}    
   

function GetFirstText(){
    var ft = window.location.href;
    if(ft.indexOf('#') > -1){
        ft = 'docs/' + ft.substr(ft.indexOf('#') + 1, ft.length) + '.html';
    } else {
        ft = document.getElementById("overzicht");
        ft = ft.getElementsByTagName('ul')[2].getElementsByTagName("li")[0].firstChild.getAttribute("href");
    }
    GetText(ft);       
    ChangeHeader(document.title);
}



function ExpandSearchGroup(elem){
    var o = elem.getElementsByTagName('ul')[0];
    if (!o) return;
    var othero = document.getElementById('overzicht').getElementsByTagName('ul');
    for (var q=0,qo;qo=othero[q];q++) if(qo != o) {
        qo.style.display = 'none';
        qo.parentNode.getElementsByTagName('span')[0].innerHTML = '+';
    }
    if(o.style.display=='block'){
        o.style.display = 'none';
        elem.getElementsByTagName('span')[0].innerHTML = '+';
        document.getElementById('overzicht').style.width = '120px';
    } else {
        o.style.display = 'block';
        elem.getElementsByTagName('span')[0].innerHTML = '-';
        document.getElementById('overzicht').style.width = '300px';
    }       
}