On Thu, Mar 26, 2020 at 10:56 PM Karl Berry <[email protected]> wrote: > > Gavin - I suggest adding > <meta name="viewport" content="width=device-width,initial-scale=1"> > to the standard HTML <head>...</head> block. This will make the result > noticeably better on mobile/pads and is, so far as I have seen, harmless > on larger screens. > > It looks like this would be in tp/Texinfo/Convert/HTML.pm, > where the charset http-equiv is output. FWIW ... --best, karl.
I will certainly add it but could you explain what difference it makes? Does this fix the "font boosting" issue? (https://lists.gnu.org/archive/html/bug-texinfo/2019-06/msg00000.html)
