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. -- Jeremy Nicoll - my opinions are my own. _______________________________________________ Oorexx-devel mailing list Oorexx-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/oorexx-devel
