// set main to screen width
function update_screen()
{
  screenWidth = document.documentElement.clientWidth;
  if (screenWidth > 1000) screenWidth = "1000";
  document.getElementById("main").style.width = screenWidth + "px";
}