// JavaScript Document
// setta altezze uguali ad A e B
function setEqual(col_right, col_left) {
    if (document.getElementById) {
		var div_1 = document.getElementById(col_right);
        var divs = new Array(div_1, document.getElementById(col_left));
        //trovo l'altezza maggiore
        var maxHeight = 0;
        for (var i = 0; i < divs.length; i++) {
            divs[i].style.height = 'auto';
            if (divs[i].offsetHeight > maxHeight) maxHeight = divs[i].offsetHeight;
        }
        // setto le colonne alla nuova altezza
        for (var i = 0; i < divs.length; i++) {
            divs[i].style.height = maxHeight + 'px';
            // offsetHeight include padding bordi, ma non lo fa style.height, ricaviamo la differenza e correggiamo
            if (divs[i].offsetHeight > maxHeight) {
                divs[i].style.height = (maxHeight - (divs[i].offsetHeight - maxHeight)) + 'px';
            }
        }
    }
}