Thank you for noticing! And I agree, the map functionality the site is using is great. Fortunately @TheDude is wrong, the site is actually using Mapbox, which is much more fun for creating great maps. Mapbox adds vector layers on top of OpenStreetMap data. Sign up for an account and give it a whirl, the service allows you to do a lot for free.