Closed LRydin closed 4 years ago
The idea is to embed a map (with leafletjs) on the index page, so we can pin the different locations where we have the recordings. According to the documentation of leaflet (quick-start), this should just be:
<link rel="stylesheet" href="https://unpkg.com/leaflet@1.6.0/dist/leaflet.css"
integrity="sha512-xwE/Az9zrjBIphAcBb3F6JVqxf46+CDLwfLMHloNu6KEQCAWi6HcDUbeOfBIptF7tcCzusKFjFw2yuvEpDL9wQ=="
crossorigin=""/>
<!-- Make sure you put this AFTER Leaflet's CSS -->
<script src="https://unpkg.com/leaflet@1.6.0/dist/leaflet.js"
integrity="sha512-gZwIG9x3wUXg2hdXF6+rVkLF/0Vi9U8D2Ntg4Ga5I5BZpVkVxlJWbSQtXPSiUTtC0TjtGOmxa1AJPuV0CPthew=="
crossorigin=""></script>
Put a div element with a certain id where you want your map to be:
<div id="mapid"></div>
#mapid { height: 180px; }
I've finally succeeded in embedding the js and css straight in the (index.md)[index.md]. I think we can keep the index.md
fixed, and add the rest of the webpage in separate .md
and .html
files. See last commit 4d01a68 in the website branch.
I'll close this, as we are clearly using jekyll and things seem to be going okay.
Here is the
jekyll
based theme in branch website.I'd like to try to integrate a map from leaflet, which seems to have all the tools that we need.
The current configuration for
jekyll
uses aremote_theme
, so we don't need the localcss
orhtml
files.