jump to search:/  select search:K  navigate results:/  navigate suggestions:/  close suggestions:esc

    changes 2023-06-03

    June 3rd, 2023
    • 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.
    Today's new posts