change notes 2023-06-03
- Various formatting repairs for the HTML rendering of chapters in /diss.
- Removed malfunctioning JavaScript to just use an
#end anchor in the footer to repair the scroll-to-bottom arrow in the nav-bar.
- Introduced a search feature, with Lunr.js, initially building off CloudCannon's tutorial and old git commit. I updated the code for the new version of Lunr.js and setup a pre-built index because the client side performance significantly deteriorated once I added my diss chapters.