Re: Lua 5.4.0 manual

[Francisco Olarte <folarte@...>]

Lorenzo:

On Sat, Jul 11, 2020 at 12:50 PM Lorenzo Donati
<lorenzodonatibz@tiscali.it> wrote:
...
> Moreover, correctly typeset PDF documents are easier to read and they
> are less eye-straining.

This depends a bit on fonts and hardware. While (good) HTML pages
typically use screen-optimized fonts and layouts PDFs sometimes use
paper optimized ones. Fine if you have a medium-big HiDPI monitor, a
PiTA (i.e., the one IO'm using now, 31.5", 4K, that should be...
3840/(31.5*16/sqrt(16^2+9^2)) = 139.867 dpi
and change, and a full page fits nicely in vertical, but the other one
I  use, 24" 1920*1280, is
1920/(24*16/sqrt(16^2+10^2)) = 94.339 dpi
if my math is right. As I'm getting old, and even having glasses
especifically made for working with the computer ( a little farther
than reading glasses ), in many PDF documents I have to choose between
cutting the page OR  having eye strain due to small printer fonts.

Francisco Olarte.