function addLoadEvent(func) {
    var oldonload = window.onload;
    if (typeof window.onload != 'function') {
        window.onload = func;
    } else {
        window.onload = function() {
            if (oldonload) {
                oldonload();
            }
            func();
        }
    }
}

// src=pagetools.js
try { addLoadEvent(PageTools); } catch(err) { }

// src=navigation.js
try { addLoadEvent(startList); } catch(err) { }

// src=styleswitcher.js
try { 
    addLoadEvent(function(e) { 
        var cookie = readCookie("style");
        var title = cookie ? cookie : getPreferredStyleSheet();
        setActiveStyleSheet(title);
    })
} 
catch(err) { }