/* javascript for terra */
function repos() {
  var margin;
  var width = ( navigator.appName.indexOf('Explorer') > (-1) )
	    ? document.body.clientWidth : innerWidth;
  if (	    width > (640+80+80) )	margin = 80;
  else if ( width > (640+16+16) )	margin = (width - 640) / 2;
  else					margin = 16;
  document.body.style.marginLeft = margin;
  document.body.style.marginRight = margin;
}