<!--

var ua = window.navigator.userAgent;
var msie = ua.indexOf("MSIE ");
if (msie>0) {
    var msieversion = parseInt(ua.substring(msie+5, ua.indexOf(".", msie)));
} else {
    var msieversion = 0;
}

var litelink=0;
var subscript;
function liteLinks() {
    if (msieversion>=4) {
        subscript = window.event.srcElement.sourceIndex;
        if (litelink==0) {
            document.all[subscript].style.color="orange";
            document.all[subscript].style.textDecoration="underline";
            litelink=1;
        } else {
            document.all[subscript].style.color="#DD0000";
            document.all[subscript].style.textDecoration="";
            litelink=0;
        }
    }
}

function liteLinks2() {
    if (msieversion>=4) {
        subscript = window.event.srcElement.sourceIndex;
        if (litelink==0) {
            document.all[subscript].style.color="#DD0000";
            document.all[subscript].style.textDecoration="underline";
            litelink=1;
        } else {
            document.all[subscript].style.color="orange";
            document.all[subscript].style.textDecoration="";
            litelink=0;
        }
    }
}

var myname=0;
function showName() {
    if (msieversion>=4) {
        if (myname==0) {
            document.all.myname[0].style.visibility="hidden";
            document.all.myname[1].style.visibility="hidden";
            document.all.myname[2].style.visibility="hidden";
            document.all.myname[3].style.visibility="hidden";
            document.all.myname[4].style.visibility="visible";
            document.all.myname[5].style.visibility="visible";
            document.all.myname[6].style.visibility="visible";
            document.all.myname[7].style.visibility="visible";
            myname=1;
        } else {
            document.all.myname[4].style.visibility="hidden";
            document.all.myname[5].style.visibility="hidden";
            document.all.myname[6].style.visibility="hidden";
            document.all.myname[7].style.visibility="hidden";
            document.all.myname[0].style.visibility="visible";
            document.all.myname[1].style.visibility="visible";
            document.all.myname[2].style.visibility="visible";
            document.all.myname[3].style.visibility="visible";
            myname=0;
        }
    }
}

function openClip(hyperref, w, h) {
    thistext = "scrollbars,width=" + w;
    thistext2 = ",height=" + h;
    thistext = thistext + thistext2;
    window.open(hyperref, "subWindow", thistext);
//    window.open(hyperref, "subWindow", "scrollbars,width=540,height=325");
}

var whichurl;
function displayStatus(filename) {
    whichurl="http://www.texlips.org/" + filename;
    window.status=whichurl;
    return true;
}

function hideStatus() {
    window.status="";
    return true;
}

//  -->
