4 Commits

Author	SHA1	Message	Date
Johann Birnick	75273937f7	Transform high level headings to HTML (#5525)	2024-12-16 18:22:00 +00:00
Michael Färber	60f1d8f9b5	Prepend section numbers to headings in HTML output. (#5522)	2024-12-04 16:55:37 +00:00
Laurenz	885c7d96ee	A few basic HTML show rules ... These are very incomplete and ignore various properties. They are just to get things started.	2024-12-04 10:12:07 +01:00
Laurenz	be7cfc85d0	Split out four new crates (#5302)	2024-10-27 18:04:55 +00:00