function adjustmenu()
{
document.getElementByClass("menu").font="20px";
}

function adjustLayout()
{
  // Get natural heights
  var lHeight = xHeight("left_col");
  var rHeight = xHeight("right_col");

  // Find the maximum height
  var maxHeight =
    Math.max(lHeight, rHeight)+50;

  // Assign maximum height to all columns
  xHeight("left", maxHeight);
  xHeight("right", maxHeight);

  // Show the footer
  xShow("footer");
}