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?
Roger
