<!-- // hide javascript.

function shiftGoo() {
  var width = document.body.offsetWidth;
  if ( width >0 ) {
     var lefty = width * 0.1;  // Set 10% floating left margin.  The default is 120.
	document.getElementById("centerdiv").style.left = lefty-120 + "px";
        // this becomes a negative number, but that's OK, its effect is to shift it rightward from the default.
     
	lefty = document.getElementById("centerdiv").offsetLeft;  // Set the width of center.
	document.getElementById("centerdiv").style.width = (width-155-lefty) + "px";
	// This usually works, unless the window width is really narrow, and then some elements
	// simply refuse to collapse to such a small width. 
	
	// So we check what the biggest element actually ended up as,
	// and set that for everything else in the center content div.
     var edge = document.getElementById("biggesttable").offsetWidth + document.getElementById("biggesttable").offsetLeft;
	// You see, "edge" will never get smaller than the minimum actual 
	// width of the biggesttable, as it appears on-screen.

    if ( lefty+edge+155 > width ) {
     document.getElementById("rightdiv").style.left = (edge+lefty+7) + "px";
    } else {
     document.getElementById("rightdiv").style.left = "";
    }
  }
}

window.onload = shiftGoo;
window.onresize = shiftGoo;

// -->