un'altra soluzione potrebbe essere quella di evitare di impostare l'altezza e usare piuttosto padding o margin -o quel che è possibile in relazione alla struttura del tuo xhtml- per far sì che questo div abbia comunque l'altezza desiderata