Better adaption to Leaflet 0.7's touch styling
Switch to 0.7.2 in all examples, removing special IE stylesheet