////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// display_toggler toggles the display property of an html element
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
function display_toggler(hide, show)
{
   // hide elements
   for(var i = 0;i < hide.length;i++) {
      document.getElementById(hide[i]).style.display = 'none';
   }

   // show elements
   for(var i = 0;i < show.length;i++) {
      document.getElementById(show[i]).style.display = 'inline';
   }
}