On Sun, 23 Jun 2024, Dan Ritter wrote:
Use this as a test file: <html><head><title>testfile</title></head> <body><p>here is the base text</p></body></html> run it through htmldoc without using a --fontsize option, open the resulting pdf and measure?
I no longer have a working printer, but when I get access to one, I'll do some measurements.
htmldoc is very badly outdated; if you want proper control, you want to use pandoc (yes, Debian packages it) and a CSS file.
I see at https://pandoc.org/MANUAL.html#variables-for-latex that pandoc has the linestretch and fontsize controls for the LaTeX used to produce PDF.
Roger