// Mouse-over colour highlighting functions
// $Id: highlight.js,v 1.1 2001/06/12 03:37:47 livitw Exp livitw $

function highlightgrey(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor="#999999";
        } 
}

function unhighlightgrey(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor='';
        }
}

function highlightyellow(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor="#ff9900";
        } 
}

function unhighlightyellow(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor='';
        }
}

function highlightblue(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor="#000033";
        } 
}

function unhighlightblue(thing) {
        if (document.all) {
                thing.parentElement.style.backgroundColor='';
        }
}