- From: David Woolley <forums@david-woolley.me.uk>
- Date: Wed, 28 Sep 2022 11:25:25 +0100
- To: w3c-wai-ig@w3.org
On 28/09/2022 10:49, Patrick H. Lauke wrote: > Sure, but the ability to actually set real user styles (rather than > injecting extra styles in a document's <head>, like most > plugins/extensions do) has been slowly but surely phased out of most > browsers. I thought, in practical terms, they never existed, as hardly any user would directly set them. I thought they were more an abstraction of how browser settings could modify the presentation.
Received on Wednesday, 28 September 2022 10:26:21 UTC