// JavaScript Document

function style2px(hodnota) {
  if (hodnota) 
    return Number(hodnota.substr(0,hodnota.indexOf("px")));
  else return 0;
}

function get_current_height($element) {
  var ee;

  try {
    var $cs=document.defaultView.getComputedStyle($element,'');
    $val=style2px($cs.getPropertyValue("height"));
  }

  catch(ee) {
    $val=($element.offsetHeight);
    if($val<0)$val=0;
	}

  return $val;
}

function setBG() {
	var vyska = get_current_height(document.body);
	document.getElementById('web-bg').style.height = vyska + 'px';
}