Upgrade Leaflet and popup style. (2.3.1)

Popups now use the most appropriate HTML5 elements, and styling is done
in a separate stylesheet.