Danke für Antwort!
Ein relativ einfacher Weg min-height 100% beim IE zu realisieren ist
per margin möglich.
Die Lösung in meinem Beispiel finde ich auch einfach, Hauptsache es funktioniert!
Dein Codebeispiel kann übrigens zumindest für "kleine" Inhalte und
moderne Browser etwas unabhängiger vom Javascript werden:
div#nav { min-height: 83%; }
Wenn ich aber mehr Text in "Main" Kasten dynamisch generiere, bleibt die Navigation ohne JavaScript-Einsatz beim 83% der Fenstergrösse, während der "Main" Kasten sich an Text anpasst. Also unerwünscht!