ready for new_leaflet_map.html