Adding a search box to a Leaflet.js example

Consider the example in the following link for Folium: US Employment visualization per county.

The result looks like what you see below:

   

I would like to add a search box to it to be able to search by city, and have the visualization zoom in and/or center around it. How can I go about adding such search box to it? Can I add this functionality perhaps in the HTML file?

Answer

You could use the Leaflet search control. It allows you to insert a search widget on your map, search by place names around the world (see Nominatim example), and once a place is selected, zoom/center your map to that place location.

In the Leaflet search's GitHub website you find examples on how to add the control to your leaflet map.