On Nov 28, 8:22pm, gordon wrote: > The percentage of users who will apply their own style sheet is likely to > remain very low for some time to come. Hmm. What is the percentage of users, I wonder, who have ever altered the font or size or color settings in their preferences/settings/whatever menu? Editing a (default, provided) user stylesheet need be no harder than that, except that the result can be saved in a standard format and exchanged with others using different browsers on other platforms. -- Chris Lilley, W3C [ http://www.w3.org/ ] Graphics and Fonts Guy The World Wide Web Consortium http://www.w3.org/people/chris/ INRIA, Projet W3C chris@w3.org 2004 Rt des Lucioles / BP 93 +33 (0)4 93 65 79 87 06902 Sophia Antipolis Cedex, FranceReceived on Sunday, 30 November 1997 16:14:43 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 27 April 2009 13:53:53 GMT