Wouter Groeneveld 718b91bb3f boldify author name in works/papers, remove margin from h1 in intro		2022-11-03 13:55:34 +01:00
..
js	migrate from lunr to pagefind for searching	2022-07-25 12:19:05 +02:00
sass	boldify author name in works/papers, remove margin from h1 in intro	2022-11-03 13:55:34 +01:00