Added leaflet API to HTML file.