Grazie. Anche se con body {overflow: auto;} non mi pare che Ie si comporti allo stesso modo, ma forse ho sbagliato io qualcosa, boh!
L'altro metodo, mi vergogno di non esserci arrivato da solo, invece funziona perfettamente.

Grazie