Oystein Kristoffer Tveit 44697feb49 Split default.html into several templates: ... default.html now consists of `navbar.html` `head.html` and `default.html`		2023-03-12 22:26:50 +01:00
..
Formats	Revamp:	2023-03-11 16:56:32 +01:00
Preprocessing	Revamp:	2023-03-11 16:56:32 +01:00
Util	Revamp:	2023-03-11 16:56:32 +01:00
Main.hs	Split default.html into several templates:	2023-03-12 22:26:50 +01:00