I am looking at this Pencil theme for MapBox.
I have a very basic map, just getting started, I am new to MapBox.
<!doctype html>
<html lang='en'>
<head>
<meta charset='utf-8'>
</head>
<body>
<script src='https://api.mapbox.com/mapbox-gl-js/v2.1.1/mapbox-gl.js'></script>
<div id='map' style='width: 400px; height: 300px;'></div>
<script>
mapboxgl.accessToken = 'my-token'
var map = new mapboxgl.Map({
container: 'map',
style: 'mapbox://styles/mapbox/streets-v11'
})
</script>
</body>
</html>How do I convert it to pencil theme? Does this help? How do I apply that locally? Their blog doesn't really offer much help.
I can go to mapbox studio and see a pencil map, and click "share" then "Download pencil.zip", but what do I do with that style.json?