June 5684e3d819 Make the header actually a <header> HTML element		2023-11-03 21:43:09 +01:00
..
blog-header.html	[TIDY] Apply editorconfig	2023-10-29 22:52:32 +01:00
footer.html	[TIDY] fix some html formatting	2023-11-03 20:36:12 +01:00
head.html	Head: Include all JavaScript sources in js directory	2023-11-03 21:17:32 +01:00
header.html	Make the header actually a <header> HTML element	2023-11-03 21:43:09 +01:00
menu.html	[TIDY] fix some html formatting	2023-11-03 20:36:12 +01:00
pagination.html	Blog: List page with summary and pagination	2023-10-08 01:01:48 +02:00