/* -------- sets page height --------------- modified 16 February 2009 ---------- */
// used to avoid page height problems if different fonts are used
 function setPgHt()
   { // determine page height by detecting image at bottom of text
       var offsetTrail=document.getElementById("imgBot");
       var offsetTop=0;
       while(offsetTrail) { offsetTop+=offsetTrail.offsetTop;  offsetTrail=offsetTrail.offsetParent;   }
     // for Macs
       if(navigator.userAgent.indexOf("Mac") != -1 && typeof document.body.leftMargin != "undefined")
           { offsetTop+=document.body.topMargin;
           }
    // set pagebody height 
      document.getElementById("bdr_bdy").style.height=(offsetTop+26)+"px";

   }
// --------------