<!DOCTYPE html>
<html>
<head>
<!--Enlazamos la hoja de estilo de Leaftletjs -->
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.8.0/dist/leaflet.css"
integrity="sha512-hoalWLoI8r4UszCkZ5kL8vayOGVae1oxXe/2A4AO6J9+580uKHDO3JdHb7NzwwzK5xr/Fs0W40kiNHxM9vyTtQ=="
crossorigin=""/>
<!--Ponemos después el enlace al js de Leaftletjs. Debe ir detrás de la hoja de estilo -->
<script src="https://unpkg.com/leaflet@1.3.1/dist/leaflet.js"
integrity="sha512-/Nsx9X4HebavoBvEBuyp3I7od5tA0UzAxs+j83KgC8PU0kgB4XiK4Lfe4y4cgBtaRJQEIFCW+oC506aPT2L1zw=="
crossorigin=""></script>
</head>
<body>
<!--Creamos un div para que se cargue el mapa en él -->
<div id="mapid"></div>
</body>
</html>
CSS
/*Le datos un alto al div que contiene el mapa a través del id */
#mapid { height: 480px; }