2020-02-25

Site-Wide SearchSite-Wide SearchSite-Wide Search

I finally got around to implementing a site-wide search.

Reveal the search input box by clicking on the magnifying glasses icon in the page header.

The current version should already be quite useful and usable. Nevertheless, I'll continously improve the index generation and query matching algorithm.