Merge branch 'scaling_fix' into 'master'

bugfix: forgot to actually change the map div in the scaling fix! lmao!

See merge request !4

webpage/map_display.php

@@ -535,6 +535,7 @@ $scaling = <<<EOD
 			offset = offset + 14;
 		}
 		str = "calc(100vh - " + offset + "px)";
+		map.style.height = str;
 	}
 </script>