• htmldoc default font size

    From Roger Price@21:1/5 to All on Sun Jun 23 17:00:01 2024
    This message is in MIME format. The first part should be readable text,
    while the remaining parts are likely unreadable without MIME-aware tools.

    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From eben@gmx.us@21:1/5 to Roger Price on Sun Jun 23 18:10:01 2024
    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 ASCII character walks into a bar and orders a double. "Having a bad
    day?" asks the barman. "Yeah, I have a parity error," replies the ASCII chrcter. The barman says, "Yeah, I thought you looked a bit off." - Skud

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Dan Ritter@21:1/5 to Roger Price on Sun Jun 23 18:00:02 2024
    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-

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Roger Price@21:1/5 to Dan Ritter on Mon Jun 24 10:20:01 2024
    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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)