Wouter Groeneveld a75d37e8b3 major CSS refactoring: kill bootstrap + theme-default deps		2022-10-30 21:34:55 +01:00
..
_markup	migrate from lunr to pagefind for searching	2022-07-25 15:05:33 +02:00
baseof.html	revert outputformat rss link	2021-07-02 12:16:28 +02:00
list.html	theme refactor, use sass, scrolltop polyfill	2020-05-25 11:16:11 +02:00
rss.xml	migrate from lunr to pagefind for searching	2022-07-25 15:05:33 +02:00
single.html	major CSS refactoring: kill bootstrap + theme-default deps	2022-10-30 21:34:55 +01:00
terms.html	major CSS refactoring: kill bootstrap + theme-default deps	2022-10-30 21:34:55 +01:00