full_map = {
let container = DOM.element('div', { style: `width:${width}px;height:${width/1.6}px` });
yield container;
let map = L.map(container).setView([41.90, 12.49], 5);
let osmLayer = L.tileLayer('https://{s}.basemaps.cartocdn.com/light_all/{z}/{x}/{y}{r}.png', {
attribution: '© <a href="https://www.openstreetmap.org/copyright">OpenStreetMap</a> contributors'
}).addTo(map);
let italy_historic = L.tileLayer('https://maps.georeferencer.com/georeferences/64d5b28c-851b-5d6d-b03a-9c681443cb58/2017-04-18T17:47:57.114177Z/map/{z}/{x}/{y}.png?key=KPlLnmp6U0gZTmAcJ4Ob', {
attribution: '© David Rumsey Map Collection',
opacity: 0.4
}).addTo(map);
let it = L.geoJson(italy_regions, {
weight: 2,
color: "black"
}).addTo(map);
for (let datum of data.filter(d => d.Year == 1943)) {
const marker = L.circleMarker([+datum.Y,+datum.X], markerstyle2).bindPopup(datum.Name).openPopup()
marker.addTo(map);
}
}