var min_height = 850;
var bottom_space = 450;
var debug = false;

function add_css (href) {
    var fileref=document.createElement("link")
    fileref.setAttribute("rel", "stylesheet")
    fileref.setAttribute("type", "text/css")
    fileref.setAttribute("href", href)
    document.getElementsByTagName("head")[0].appendChild(fileref)
}

function add_js (filename) {
    var fileref=document.createElement('script')
    fileref.setAttribute("type","text/javascript")
    fileref.setAttribute("src", filename)
    document.getElementsByTagName("head")[0].appendChild(fileref)
}

function getFile(url) {
  if (window.XMLHttpRequest) {              
    AJAX=new XMLHttpRequest();              
  } else {                                  
    AJAX=new ActiveXObject("Microsoft.XMLHTTP");
  }
  if (AJAX) {
     AJAX.open("GET", url, false);                             
     AJAX.send(null);
     return AJAX.responseText;                                         
  } else {
     return false;
  }                                             
}

function get_height (obj_id) {
				 var objHeight = 0;
				 var obj = document.getElementById(obj_id)||new Object();
				 if ("clientHeight" in obj) objHeight = obj.clientHeight;
				 else if ("offsetHeight" in obj) objHeight = obj.offsetHeight;
				 if (debug) console.log(obj_id + " " + objHeight);
				 return objHeight;
}

Array.prototype.max = function() {
    var max = this[0];
		var len = this.length;
		for (var i = 1; i < len; i++) if (this[i] > max) max = this[i];
		return max;
}

function set_height() {
	
				 //Set body height according to articles and nav bar
				 var body = document.getElementById("body");
				 
				 
				 heights = new Array (
  							 get_height("navmenu"),
				 				 get_height("content"), 
								 get_height("info_bar")
				 );
				 
				 var bodyHeight = get_height("body");
				 
				 bodyHeight = heights.max();
				 if (bodyHeight == 0) bodyHeight = min_height;
				 else bodyHeight += bottom_space;
				 
				 if (debug) console.log("initial bodyHeight: " + bodyHeight);
				 
				 
				 
         
				 //bodyHeight =  bodyHeight * 2;
				 //if (bodyHeight < min_height) bodyHeight = min_height;
				 
				 body.style.height = bodyHeight + "px";
				 
				 //set graphic height
				 var vinnerbar = document.getElementById("vinnerbar");
				 var vbar = document.getElementById("vbar");
				 
				 var vheight = bodyHeight + 150;
				 //vinnerbar.style.height = body.style.height;
				 
				 
				 if(vinnerbar != null)  vinnerbar.style.height = vheight - 165 + "px";
				 if(vbar != null) vbar.style.height = vheight + "px";
				 
				 var bg_right = document.getElementById("bg_right");
				 var bg_right_height = get_height("header") + bodyHeight + get_height("footer");
				 
				 bg_right.style.height = bg_right_height + "px";
				 //var windowHeight = window.outerheight  ? window.outerheight  : document.documentElement.clientHeight ? document.documentElement.clientHeight : document.body.clientHeight;
				// document.body.style.height = bg_right_height + "px";
         //document.getElementById("footer").style.top = f_scrollTop + "px";
		     //alert(window.location.href);
}