Dear Gil, On a MAC <cmd> + and <cmd> - will change the size of any text in any browser.
I have compared on a medium-res screen (1920X1080, 81 PPI) and a high-res retina screen (2560X1600, 227 PPI) and on both systems the larger font is more pleasing. I vote for the larger text as well. Given the average age of most ooRexxers larger fonts are better than smaller fonts :-) Hälsningar/Regards/Grüsse, P.O. Jonsson oor...@jonases.se > Am 10.03.2020 um 19:37 schrieb Gil Barmwater <gbarmwa...@alum.rpi.edu>: > > Whew! Glad I got it right this time :-). As for your questions, I'll defer to > those who actually might know the answers but on Windows, the IE and Edge > browsers allow for "scaling" (not sure that this is the right term) the > display. In my case, I almost always have it set 125%, making the displayed > image easier for me to read. Unfortunately, some sites don't scale very well > and I have to go back to 100% in order to see fields with which I need to > interact. So it would seem that we are really only talking about the default > starting font size for the ooRexx documentation and whether it is better to > have a smaller value (that the user can enlarge if he wishes using his > browser's controls) or a larger value so he doesn't need to do anything with > it most of the time. And, of course, everyone will have their own preference > so I don't expect a consensus here, just a majority opinion for guidance. > > Gil > > On 3/10/2020 2:11 PM, Jeremy Nicoll wrote: >> On Tue, 10 Mar 2020, at 17:15, Gil Barmwater wrote: >>> OK, I believe I have it right this time! Here is the original, smaller >>> <https://www.dropbox.com/s/lqv49jl2obgwxjn/rxmath-original.zip?dl=0> >>> version as well as the newer, larger >>> <https://www.dropbox.com/s/f48m470358i6ai0/rxmath-bigger.zip?dl=0> >>> version. All comments are appreciated. >> That's better! I certainly prefer the larger text. >> >> I notice that in the CSS, you changed the old font size from "12px" to >> "0.9em". >> >> Does that (also?) have an implication for users of high-dpi screeens, where >> the >> old size 12 pixels would perhaps now be very small? I'm assuming that 0.9 em >> means 90% of the width of a lower-case "m" in whatever font is selected for a >> piece of text? >> >> I'm not using a high dpi screen. If I were, I don't know if I'd want an >> even bigger >> default size. Does the default font get set up only by the CSS, or also by >> the >> user's browser? And if the latter, on a high dpi system, does screen >> scaling (at >> the OS or window manager level) influence this? >> >> >> I've used websites in the past which had (typically) a display of three "A"s >> in one >> corner - a small one, medium one, and a larger one; clicking on one would set >> sometimes a specific small, medium and large font size, or in some cases >> allow >> successive shrinking or expanding of the displayed text size. I'm not sure >> if that's >> possible without using Javascript though. /If/ there's a compact piece of >> JS that >> would so that, it might be worth embedding it on each page, provided that >> there >> is a fallback for browsers that don't support JS, to pick a sensible initial >> display >> size. >> >> It might also be sensible to include in the shipped CSS file several >> settings of >> font-size with adjacent comments, and tell people that they can readily >> change >> the size in their CSS file to achieve a permanent change. >> > > -- > Gil Barmwater > > > > _______________________________________________ > Oorexx-devel mailing list > Oorexx-devel@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/oorexx-devel
_______________________________________________ Oorexx-devel mailing list Oorexx-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/oorexx-devel