Wen Kokke 10a3203624 Fixed paths to fonts.		2021-07-14 16:58:54 +01:00
..
skins	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
_base.scss	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
_layout.scss	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
agda.scss	Fixed paths to fonts.	2021-07-14 16:58:54 +01:00
custom-styles.scss	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00
custom-variables.scss	Switch to Hakyll as the build system for PLFA (#540)	2020-10-23 08:45:49 +02:00
initialize.scss	Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.	2021-07-14 16:50:36 +01:00