// center the display, stretch out the repeating background
function resize(size)
{
  var winH;
 
 // how big is the window? 
  if (parseInt(navigator.appVersion)>3) 
  {
    if (navigator.appName=="Netscape") 
      winH = window.innerHeight;
   
    if (navigator.appName.indexOf("Microsoft")!=-1) 
      winH = document.body.offsetHeight;
  }

  var wrap = document.getElementById('wrap');
  
  if (size == undefined)
  {
    var content = document.getElementById('main_content');
    wrap.style.width = content.offsetWidth + 185;   // 170 is the width of the menu
  }
  else
    wrap.style.width = size + 185;
  
 // for short pages, make sure the menu's white underlay is as long as the page.
  if (wrap.offsetHeight < winH)
    wrap.style.height = winH;
}


function emailLink(name, dummy, domain, anotherDummy, div)
{
  var link = '<a href="mailto:'+name+'@'+domain+'">'+name+'@'+domain+'</a>';

  if (div != undefined)
    document.getElementById(div).innerHTML = link;
  else
    document.write(link);
}