Width and hight of the wrmap element are now set by javascript.
drwxr-xr-x - openlayers
-rw-r--r-- 8163 wrmap.body.php
-rw-r--r-- 8687 wrmap.js
-rw-r--r-- 6139 wrmap.php