// toggle visibility and highlighting of the tabbed editing bar

function toggleControlVisibility(control1,control2,control3,control4)
{
  var controlsToChange = [document.getElementById(control1),document.getElementById(control2),document.getElementById(control3),document.getElementById(control4)];
  if (controlsToChange[0].style.display == 'none') 
  {
    controlsToChange[0].style.display = 'block';
    controlsToChange[1].style.display = 'none';
    controlsToChange[2].style.backgroundColor = 'rgb(240,240,240)';
    controlsToChange[3].style.backgroundColor = 'rgb(210,210,210)';
  }
}