window.onload = init;

var initfunctions = [];
var weOwnTheWindow = false;

function init() {
    updateMenuheight();
	
	for(var i=0; i<initfunctions.length; i++) {
		initfunctions[i]();
	}
}

function updateMenuheight() {
    if ($defined($('menu'))) {
        var diff = $('midden').offsetHeight - $('menu').offsetHeight;
        if (diff > 0) {
            var newHeight = $('midden').offsetHeight - $('menu_top').offsetHeight - $('menu_bottom').offsetHeight;
            if (newHeight > $('menu_middle').getStyle('min-height').replace('px', '')) {
                $('menu_middle').setStyle('height', newHeight + 'px');
            }
        }
    }
}