Merge branch 'yet_more_scaling_fix' into 'master'

bugfix: added the proper check for "mapHeader" div being there or not

See merge request !6

webpage/map_display.php

@@ -528,7 +528,7 @@ $scaling = <<<EOD
 	var userAgent = window.navigator.userAgent;
 	var map = document.getElementById("mapid");
 	var header = document.getElementById("mapHeader");
-	if(header) {
+	if(header.offsetHeight != 0 || !header) {
 		var offset = header.offsetHeight;
 		var search4FF = /Firefox/;
 		if(search4FF.test(userAgent)) {