Wen Kokke
|
2987995c7a
|
WIP rewrite of book rendering.
|
2021-08-24 01:01:23 +01:00 |
|
Altariarite
|
46371b34e8
|
Updated woff and css to include home brewed font (#570)
|
2021-08-22 19:53:43 +01:00 |
|
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 |
|