//*****************************************************************************
// positionFooter():
//*****************************************************************************
function positionFooter()
{
   var contents = document.getElementById( "contents" );
   var leftbox = document.getElementById( "leftbox" );
   var footer = document.getElementById( "footer" );
       
   if( contents.offsetHeight > leftbox.offsetHeight ) {
       leftbox.style.height = contents.offsetHeight + 17 + "px";
   }
 
   contents.style.height = leftbox.offsetHeight + "px";
   footer.style.visibility = "visible";     
}