2022-05-19 15:46:43 +02:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
<head>
|
2024-02-08 15:58:52 +01:00
|
|
|
<!-- dune-site should have installed leaflet.css
|
|
|
|
|
you can use css_path.ml to get it's path -->
|
2022-05-19 15:46:43 +02:00
|
|
|
<link href="leaflet.css" rel="stylesheet">
|
2024-02-08 15:58:52 +01:00
|
|
|
<script type="text/javascript" src="script.bc.js" defer="defer"></script>
|
2022-05-19 15:46:43 +02:00
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<main>
|
2024-02-08 15:58:52 +01:00
|
|
|
<!-- don't forget to set a size! -->
|
|
|
|
|
<div id="map" style="height: 100%"></div>
|
2022-05-19 15:46:43 +02:00
|
|
|
</main>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|