for robustness: keep the div's dimensions even if <body> is styled with craziness like 'width:1600px; height:900px'.