function fixDisplay() {
  c = document.getElementById("content");
  if (c.offsetWidth<700) c.style.width="700px";
  t = getOffsetTop(c);
  if (t>140) c.style.marginTop = (2*140-t)+"px";
  c.style.visibility = "visible";
}