Vielleicht kannst Du dem IE beim weiterhelfen, indem Du ihm die Höhe der zweiten Tabellenzeile vorrechnest:
.banner { height:25%; }
.menu { height:75%; }
table{ height:100%; }
Danke für den Vorschlag, aber das mit dem Prozent war etwas unglücklich gewählt, denn es sollte 130px sein. Und da wird es schwierig etwas weiteres fortzugeben...
Auch mit dem Attribut table-layout:fixed konnte ich keine Verbesserung bewirken. Aber wie gesagt, ist nur beim sh** IE !!