I changed a shape in the "leaflet_geojson1.js" file, and changed the size of the map.