/* Set DIV Size for Opera and Firefox*/
function setRightDivSize(){
    var theRight = document.getElementById("main"); // <div id="main"/>
    var theLeft = document.getElementById("left"); // <div id="left"/>
    var theRightHeight = theRight.offsetHeight; // wysokosc "main"
    var theLeftHeight = theLeft.offsetHeight; // wysokosc "left"

    if(theRight && theLeft && theRightHeight<theLeftHeight) {
        if (theRight.hasChildNodes()){
            var theArtTop = 0;          // wysokosc naglowka artykulu
            var theArtBottom = 0;       // wysokosc stopki artykulu
            var theArt = null;          // tresc artykulu
            
            if(theRight.hasChildNodes()){
                var children = theRight.childNodes; //lista węzłów w main
                for(i=0;i<children.length;i++){
                   if(children[i].className == "art-top")   {theArtTop = children[i].offsetHeight;}
                   if(children[i].className == "art-bottom"){theArtBottom = children[i].offsetHeight;}
                   if(children[i].className == "art")       {theArt = children[i];}           
                }
				if(theArt!=null) theArt.style.height=(theLeftHeight-theArtTop-theArtBottom-77)+'px';
            }
        }
    }
}