Demo source code for geocoding with nominatim, leaftlet and jQuery