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
