/* Leaflet CSS placeholder – use official leaflet.css in production */