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.html#3_2_23 > says “The --fontsize option specifies the base font size for the entire > document in points (1 point = 1/72nd inch)”, but doesn't say what the > default value is if the option is omitted. > > What is the default font size?
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? htmldoc is very badly outdated; if you want proper control, you want to use pandoc (yes, Debian packages it) and a CSS file. -dsr-
