function toggleDiv(show, hide1, hide2, hide3) {
    document.getElementById(show).style.display = "block";
    document.getElementById(hide1).style.display = "none";
    document.getElementById(hide2).style.display = "none";
    document.getElementById(hide3).style.display = "none";
    document.getElementById(show+'Tab').style.borderColor = "#d8dee1";
    document.getElementById(hide1+'Tab').style.borderColor = "#b2bdc4";
    document.getElementById(hide2+'Tab').style.borderColor = "#b2bdc4";
    document.getElementById(hide3+'Tab').style.borderColor = "#b2bdc4";
    nudgeFirefox();    
}
function nudgeFirefox(){
    document.getElementsByTagName('body')[0].style.width='99%';
    document.getElementsByTagName('body')[0].style.width='auto';
}
function toggleBorderWhite(that){
    that.style.borderColor = '#ffffff'    
}
function toggleBorderBack(that){
    that.style.borderColor = '#b2bdc4'    
}