On Fri, Nov 11, 2022 at 12:18 PM Patrice Dumas <pertu...@free.fr> wrote:
> On Fri, Nov 11, 2022 at 10:34:05AM -0800, Raymond Toy wrote: > > The following examples were built using texinfo 6.8 (haven't upgraded to > 7 > > yet). No custom css is used. > > > > Look at > > > https://cmucl.org/docs/cmu-user/html/More-About-Types-in-Python.html#More-About-Types-in-Python > > on a mobile device. I'm using a Pixel 4 phone with both Chrome and > > Firefox. At the bottom, there are links for more sections. They are > very > > tiny and almost unreadable. > > > > Now look at > https://cmucl.org/docs/cmu-user/html/The-Values-Declaration.html. > > The code snippets (@example) are really tiny. > > > > And curiously, > > > https://cmucl.org/docs/cmu-user/html/Advanced-Compiler-Use-and-Efficiency-Hints.html > > has the entire page in tiny font, including the heading and text. > > > > This seems really odd. In general, the pages look nice on mobile. Just > > menu items and examples seem to be using a really tiny font. > > The menu items are in a table, and another table has the same issue: > > https://cmucl.org/docs/cmu-user/html/Relative-Package-Names.html#Relative-Package-Names > > So it looks like things in <table> and in <pre> get tiny. I have no > idea what could be going on. > I don't know either, but I was able to get chrome remote debugging attached to my phone. So, it says I'm using a Times New Roman font. The paragraph above the table has a font size of 51.7199px. I guess that makes sense since I have android set up for large fonts. But the table has a font size of 16px. That would certainly explain it. I have no idea where that font size comes from. Oh, and the files say I used texinfo 6.7; I'm pretty sure I intended to use 6.8. I'll give that a try and see if it makes a difference. > > -- > Pat > -- Ray