<!DOCTYPE html>
<html>
<head>
<!--Enlazamos la hoja de estilo de Leaftletjs -->
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.3.1/dist/leaflet.css"
integrity="sha512-Rksm5RenBEKSKFjgI3a41vrjkw4EVPlJ3+OiI65vTjIdo9brlAacEuKOiQ5OFh7cOI1bkDwLqdLw3Zg0cRJAAQ=="
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 damos un alto al div que contiene el mapa a través del id */
#mapid { height: 480px; }