// This script dynamically sets the height of the content area to a given minimum if the content is less than that.
// The CSS already does this for most browsers.
// This is specifically for Safari and IE5/Mac.
// The next version of Safari will have the proper CSS support.
// Then this will just be for IE5/Mac's benefit.
// (As of 9/04).

function setHeight() {
  var contentHeight;
  if (document.getElementById) {
    contentHeight = document.getElementById('content').offsetHeight;
    if (contentHeight<457) {
      document.getElementById('content').style.height = 457+'px';
    }
  }
}