add leaflet for github.io