Re: htmldoc default font size

On Sun, 23 Jun 2024, Dan Ritter wrote: Use this as a test file: testfile here is the base text 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. htmldo

Re: htmldoc default font size

On 6/23/24 10:32, Roger Price wrote: I'm using htmldoc 1.9.11-4+deb11u3 to convert html files to pdf.  When playing with the fontsize option I discover that the default is not a whole number, more like 11.2 points. Hmm, maybe the author used something in mm? Weird. 4mm is 11.33 points. -- An

Re: htmldoc default font size

Roger Price wrote: > I'm using htmldoc 1.9.11-4+deb11u3 to convert html files to pdf. When > playing with the fontsize option I discover that the default is not a whole > number, more like 11.2 points. Is this the expected behaviour ? > > Background: The manual at https://www.msweet.org/htmldoc

htmldoc default font size

I'm using htmldoc 1.9.11-4+deb11u3 to convert html files to pdf. When playing with the fontsize option I discover that the default is not a whole number, more like 11.2 points. Is this the expected behaviour ? Background: The manual at https://www.msweet.org/htmldoc/htmldoc.html#3_2_23 says