// thanks to suckerfish
// http://www.htmldog.com/articles/suckerfish/example/
function initLiHover( id ) {
    var ul = document.getElementById( id );
    if (ul) {
        var lis = ul.getElementsByTagName("li");
        for (i=0; i<lis.length; i++) {
            if (lis[i].nodeName=="LI") {
                lis[i].onmouseover=function() {
                    this.className += " hover";
                }
                lis[i].onmouseout=function() {
                    this.className = this.className.replace(/ hover/g, "");
                }
            }
        }
    }
}
function initHeadLinks() {
    // Since IE has problems with all sorts of CSS, fix so
    // that the li-tags in the #head is clickable besides the
    // a-tag.
    var head = document.getElementById( "head" );
    if (head) {
        var lis = head.getElementsByTagName("li");
        for (i=0; i<lis.length; i++) {
            lis[i].onclick = function() {
                var as = this.getElementsByTagName("a");
                if (as.length > 0) {
                    document.location = as[0].href;
                }
            }
        }
    }
}
function initIE(){
    initLiHover( 'head' ); //Suckerfish
    initHeadLinks();
}
var ua = navigator.userAgent;
if (document.all && document.getElementById && ua.match(/msie [456]/i) && !ua.match(/opera/i)) {
    window.onload = initIE;
}