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