W3C home > Mailing lists > Public > w3c-wai-ig@w3.org > October to December 2003

Re: User customization using a style sheet switcher and server side scripts.

From: David Woolley <david@djwhome.demon.co.uk>
Date: Wed, 5 Nov 2003 22:04:04 +0000 (GMT)
Message-Id: <200311052204.hA5M44111690@djwhome.demon.co.uk>
To: w3c-wai-ig@w3.org

> available via the browser preferences. It was not possible to use the
> browser preferences to change the  text to a size that was useful for that
> particular user; I discussed the problem on this list at the time - but

I'm afraid they are going to find the web pretty much unusable, as most
sites will not provide an  override and many, unfortunately, fall to pieces
if you don't let them set their microsopic fonts.

> there were no solutions based on changing IE 6 preferences.

IE has a general mechanism:  user defined styles sheets.  The specific
options are, at least conceptualy, simply easy ways of setting a limited
number of user style sheet properties.
Received on Wednesday, 5 November 2003 17:33:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 13 October 2015 16:21:26 UTC