Grant Edwards wrote:
<< SNIP >> Whatever's generating the HTML/CSS for the Gentoo manual web pages does know the difference, and should be able to do The Right Thing(tm). The manual HTML is definitely machine-generated, but I can't tell you by what at this point, so I can't offer a specific fix...
Maybe what needs to happen is this. Find the person that is "in the know" on the Gentoo docs, give them a OLD 12" monitor to help do the pages with. That way, they will certainly be able to see the issue and maybe know how to make it work better. They can then also test it on their normal monitor and if it is readable on both, it should work for anyone pretty much regardless of what monitor size and resolution they use.
Not sure that is doable either tho. Dale :-) :-)
