htmldoc default font size

From	Roger Price <roger@rogerprice.org>
Newsgroups	linux.debian.user
Subject	htmldoc default font size
Date	2024-06-23 17:00 +0200
Message-ID	<ISwRb-4ZRM-11@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

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

Back to linux.debian.user | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

htmldoc default font size Roger Price <roger@rogerprice.org> - 2024-06-23 17:00 +0200
  Re: htmldoc default font size Dan Ritter <dsr@randomstring.org> - 2024-06-23 18:00 +0200
    Re: htmldoc default font size Roger Price <roger@rogerprice.org> - 2024-06-24 10:20 +0200
  Re: htmldoc default font size eben@gmx.us - 2024-06-23 18:10 +0200

csiph-web