BodgeMaster f8eee6d993 style: fix a bug with <pre> width ... The width of terminal and paper text boxes could shrink below 80 characters in the desktop layout. The will no longer do that.		2024-04-16 20:36:00 +02: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	html_resources/style: Lower contrast to make design easier on the eyes	2024-03-16 19:50:31 +01:00
md2htmlhelper.py	HTML helper: fix a bug and its impact	2023-09-06 06:15:02 +02:00
style.css	style: fix a bug with <pre> width	2024-04-16 20:36:00 +02:00
template.html	*: fix a critical bug in the JS that decorates paper sections	2023-10-17 16:48:50 +02:00