BodgeMaster 2eddcab052 style: adjust font size of terminal sections		2024-01-09 08:42:58 +01:00
..
index_template.html	html_resources/index_template: rework the text on the landing page	2023-12-28 08:42:42 +01:00
layout.html	*: fix a critical bug in the JS that decorates paper sections	2023-10-17 16:48:50 +02:00
md2htmlhelper.py	HTML helper: fix a bug and its impact	2023-09-06 06:15:02 +02:00
style.css	style: adjust font size of terminal sections	2024-01-09 08:42:58 +01:00
template.html	*: fix a critical bug in the JS that decorates paper sections	2023-10-17 16:48:50 +02:00