// ----------
// sniff for IE

is_ie = 0;
(function(){
  /* MSIE sniffing */
  /*@cc_on
    is_ie = {
      version : parseFloat(navigator.appVersion.match(/MSIE ([^;]+)/)[1]),
      quirksmode : (document.compatMode=="BackCompat")
    };
  @*/;
})(); 


// ----------
// this exposes things dependent on javascript

(function(){
  document.body.className += " jspresent";
})(); 


// ----------
// this makes sure, when column1 is 
// absolute positioned, that the body
// height is the same
/*
(function(){

  var elmH = function (eId) { 
    var _elm = document.getElementById(eId);
    return (_elm && _elm.offsetHeight) || 0; 
  }

  var lastX = 0;
  var styleProp = (is_ie && (is_ie.version < 7 || is_ie.quirksmode)) ? "height" : "minHeight";

  function fixHeight() {
    
    var _mh  = elmH("pagebody");
    var _xh  = elmH("pageextra1");
    var _pb  = document.getElementById("pagebody");

    // changed?
    if (lastX != _xh || _xh > _mh) {
      _pb.style[styleProp] = _xh + "px";
    }

    lastX = _xh;
    
  };

  (window.onresize = fixHeight)(); // set and run
  setInterval(fixHeight, 1000);  // check for font resize every second

})();
*/