5 commits

Author		Message	Date
Wen Kokke	10a3203624	Fixed paths to fonts.	2021-07-14 16:58:54 +01:00
Wen Kokke	9691c05909	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
Wen Kokke	edfb6c1601	Fixed bug in agda.css; compile with SCSS compiler.	2021-07-14 16:50:36 +01:00
Wen Kokke	e43ff72ce2	Removed borders around socials.	2020-10-23 13:09:39 +02:00
Wen Kokke	2c82ce21da	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00