Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #270425
| From | Roger Price <roger@rogerprice.org> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: htmldoc default font size |
| Date | 2024-06-24 10:20 +0200 |
| Message-ID | <ISN5D-5bfX-5@gated-at.bofh.it> (permalink) |
| References | <ISwRb-4ZRM-11@gated-at.bofh.it> <ISxNg-50yu-7@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
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
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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