// Simple loader to make Leaflet resources available globally to pages
(function(){
  if(window._leafletLoaderRan) return; window._leafletLoaderRan = true;
  var link = document.createElement('link');
  link.rel = 'stylesheet';
  link.href = 'https://unpkg.com/leaflet@1.9.4/dist/leaflet.css';
  document.head.appendChild(link);

  var script = document.createElement('script');
  script.src = 'https://unpkg.com/leaflet@1.9.4/dist/leaflet.js';
  script.defer = false;
  script.onload = function(){
    console.log('Leaflet loaded');
    var ev = document.createEvent('Event'); ev.initEvent('leaflet:loaded', true, true); window.dispatchEvent(ev);
  };
  document.head.appendChild(script);
})();