function getWindowHeight() {
// renvoie la hauteur de la fenčtre

    var windowHeight=0;
    if (typeof(window.innerHeight)=='number') {
    
        windowHeight=window.innerHeight;
    }
    else {
        if (document.documentElement && document.documentElement.clientHeight) {
            
            windowHeight = document.documentElement.clientHeight;
        }
        else {
            if (document.body&&document.body.clientHeight) {
                
                windowHeight=document.body.clientHeight;
            }
        }
    }
    return windowHeight;
}

function setOverflow() {
// Si la taille de la fenčtre est plus grande que XXX px, on met overflox ŕ hidden pour cacher les barres de scroll

    var height = getWindowHeight();
    if(height >= 790){
    
        document.getElementById('body').style.overflow = 'hidden';
    } 
    //alert(height);
}