Hola andreumic:
A primera vista te voy a decir un par de cosas que veo en tu código:
En primer lugar, cuando quieres averiguar un tamaño o un valor numérico, debes pasar el valor a entero, si no javascript cree que se trata de texto:
parseInt(menu.style.height)+100;
La segunda cosa, es que puesto de esa manera no te va a funcionar en netscape...
Entiendo que haya gente que no le importe, pero es muy fácil conseguir hacerlo compatible...
En vez de poner el id solamente, se pone document.getElementById("El_Id")...
Por ejemplo, para el caso:
menu.style.height
habría que poner:
document.getElementById("menu").style.height
Saludos
