6 Commits

Author	SHA1	Message	Date
Laurenz	6fb5596645	Tweak HTML pretty printing	2025-01-24 12:11:00 +01:00
Laurenz	cd044825fc	Handle boxes and blocks a bit better in HTML export (#5744) ... Co-authored-by: Martin Haug <3874949+reknih@users.noreply.github.com>	2025-01-23 22:18:02 +00:00
Michael Färber	dda486a412	HTML tables (#5666)	2025-01-23 12:08:48 +00:00
Laurenz	cb8d862a55	Terminate pretty-printed HTML with trailing newline (#5661)	2025-01-06 13:55:34 +00:00
Michael Färber	17f20c6944	Basic HTML pretty-printing (#5533) ... Co-authored-by: Laurenz <laurmaedje@gmail.com>	2024-12-10 09:57:22 +00:00
Laurenz	e0122a5b50	Add HTML export format	2024-12-04 10:12:07 +01:00