function ajustaAltura() {
    var contenidos=(document.getElementById("documento")).offsetHeight;
    
    if (contenidos>750) {
        (document.getElementById("colorFondo")).style.height=contenidos + "px";
    } else {
        (document.getElementById("colorFondo")).style.height="750px";
    }
}

function ajustaAlturaDoble() {
    var contenidos=(document.getElementById("documento")).offsetHeight;
    
    if (contenidos>750) {
        (document.getElementById("colorFondo")).style.height=contenidos + "px";
        (document.getElementById("altoDocumento")).style.height=contenidos + "px";
    } else {
        (document.getElementById("colorFondo")).style.height="750px";
        (document.getElementById("altoDocumento")).style.height="750px";
    }
}