Implement search

Every docu site needs a good search tool. With jekyll this is not as straight forward since there is no server logic to play around. We either need client side search including loading all the content in one page or an external indexing service.

Here is a lead for the client side search:
https://learn.cloudcannon.com/jekyll/jekyll-search-using-lunr-js/