viewof map = {
const container = html`<div style="height:600px;">`;
yield container;
const map = (container.value = new mapboxgl.Map({
container,
center: [0, 0],
zoom: 0,
style: "mapbox://styles/bea9292/cl44ckkn1003i14mvzo12ku6f",
scrollZoom: true
}));
map.on("load", () => {
map.addSource("topoi", {
type: "geojson",
data: topoi
});
map.addLayer({
id: "topoi",
type: "circle",
source: "topoi",
layout: {},
paint: {
"circle-radius": 2,
"circle-color": "black",
"circle-stroke-color": "black",
"circle-stroke-width": 1,
"circle-opacity": 0.5
}
});
});
invalidation.then(() => map.remove());
}