On Fri, Nov 11, 2022 at 1:40 PM Raymond Toy <toy.raym...@gmail.com> wrote:
> > > 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. > texinfo 7.0 makes a difference. The tables are not in a tiny font. (At least when I use chrome and firefox developer tools to simulate a mobile device.) It might be good to know what changed to make this work so it doesn't regress in the future, but I guess basically it's all working now with 7.0. > >> -- >> Pat >> > > > -- > Ray > -- Ray
