var header_border = 0;
var body_border = 0;
var footer_border = 0;
var menu_border = 0;
var map_border = 1;

var min_width = 1000;
var min_height = 600;

function setMapSize(x, y) {
  $("#main").width(x - 304 - 2*menu_border - 2*body_border);
  $("#main").height(y - 100 - 18 - 2*header_border - 2*footer_border);
  $("#map").width(x - 304 - 2*map_border - 2*menu_border - 2*body_border);
  $("#map").height(y - 100 - 18 - 2*map_border - 2*header_border - 2*footer_border);
}

function setMenuSize(x, y) {
  $("#menu").height(y - 100 - 18 - 2*menu_border - 2*header_border - 2*footer_border);
}

function setMainWidths(x) {
  $("#header").width(x - 2*header_border);
  $("#body_index").width(x);
  $("#footer").width(x - 2*footer_border);
}

function resizePerformed() {
  var windowSize = getWindowSize(); 

  var currWidth = windowSize.width;
  if(currWidth < min_width) {
    currWidth = min_width;
  } 

  var currHeight = windowSize.height;
  if(currHeight < min_height) {
    currHeight = min_height;
  } 

  //Do the actual resizing
  setMainWidths(currWidth);
  setMenuSize(currWidth, currHeight);
  setMapSize(currWidth, currHeight);
}

function getWindowSize() { 
  var e = {}; 
  if(window.self && self.innerWidth) { 
    e.width = self.innerWidth; 
    e.height = self.innerHeight; 
  } 
  else if(document.documentElement && document.documentElement.clientHeight) { 
    e.width = document.documentElement.clientWidth; 
    e.height = document.documentElement.clientHeight; 
  }else { 
    e.width = document.body.clientWidth; 
    e.height = document.body.clientHeight; 
  } 
  return e;
}