https://dor2dor.co.uk/leaflet-sizing-does-it-matter/