// Highlights and "de-highlights" elements on main page
function highlightMain(aTableRow) { highlightRowForIE(aTableRow, '#D7FFD7', '#B7CFB7'); }
function dehighlightMain(aTableRow) { highlightRowForIE(aTableRow, '#FFFFFF', '#FFFFFF'); }