// Div functionality

function div_min_height (id, height) {
    var div = document.getElementById(id);
    
    if (div && div.offsetHeight < height) {
        div.style.height = height + 'px';
    }
}