function web_content_setup()
{
 var element1 = document.getElementById( 'web_content2' );
 var element2 = document.getElementById( 'web_middle' );
 var element3 = document.getElementById( 'web_content' );
 if( ( element1 != null ) && ( element2 != null ) && ( element3 != null ) )
 {
  var height = element1.offsetHeight;
  height -= element2.offsetHeight;
  if( height < 0 ) height = 0;
  element3.style.height = height;
 }
}

function setup()
{
 web_content_setup();
}