/* tableSize - autosize bottom table according to window size etc. */
window.onload = function tabSize() {
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else {
    if( document.documentElement &&
        ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
      //IE 6+ in 'standards compliant mode'
      myWidth = document.documentElement.clientWidth;
      myHeight = document.documentElement.clientHeight;
    } else {
      if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
        //IE 4 compatible
        myWidth = document.body.clientWidth;
        myHeight = document.body.clientHeight;
      }
    }
  }
   var table = document.getElementById("stretch");
   //alert('Table name is' + table + ' - myHeight is ' + myHeight);
   if ((screen.width == 640) && (screen.height == 480)) {var reshgt = 145;}
    else if ((screen.width == 800) && (screen.height == 600)) {var reshgt = 145;}
    else if ((screen.width == 1024) && (screen.height == 768)) {var reshgt = 180;}
    else {var reshgt = 180;};
   table.setAttribute("height",myHeight-reshgt);
}
window.onresize = function tabSize() {
  var myWidth = 0, myHeight = 0;
  if( typeof( window.innerWidth ) == 'number' ) {
    //Non-IE
    myWidth = window.innerWidth;
    myHeight = window.innerHeight;
  } else {
    if( document.documentElement &&
        ( document.documentElement.clientWidth || document.documentElement.clientHeight ) ) {
      //IE 6+ in 'standards compliant mode'
      myWidth = document.documentElement.clientWidth;
      myHeight = document.documentElement.clientHeight;
    } else {
      if( document.body && ( document.body.clientWidth || document.body.clientHeight ) ) {
        //IE 4 compatible
        myWidth = document.body.clientWidth;
        myHeight = document.body.clientHeight;
      }
    }
  }
   var table = document.getElementById("stretch");
   //alert('Table name is' + table + ' - myHeight is ' + myHeight);
   if ((screen.width == 640) && (screen.height == 480)) {var reshgt = 145;}
    else if ((screen.width == 800) && (screen.height == 600)) {var reshgt = 145;}
    else if ((screen.width == 1024) && (screen.height == 768)) {var reshgt = 180;}
    else {var reshgt = 180;};
   table.setAttribute("height",myHeight-reshgt);
}