- From: Patrick H. Lauke <redux@splintered.co.uk>
- Date: Wed, 28 Sep 2022 12:17:02 +0100
- To: w3c-wai-ig@w3.org
On 28/09/2022 11:25, David Woolley wrote: > 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. > Internet Explorer had them https://en.wikibooks.org/wiki/Internet_Explorer/Adding_User_Styles Apparently it's a legacy feature in Firefox now that can still be enabled https://www.thoughtco.com/user-style-sheet-3469931 No doubt "Opera did it first", but not sure what current state is. Wouldn't surprise me if Vivaldi (it's spiritual successor) has something along those lines. Don't think Chrome or Safari ever had any user-exposed way of setting user styles, but I may be wrong. But it's certainly a very niche feature, even in browsers that did/do still have the feature. P -- Patrick H. Lauke https://www.splintered.co.uk/ | https://github.com/patrickhlauke https://flickr.com/photos/redux/ | https://www.deviantart.com/redux twitter: @patrick_h_lauke | skype: patrick_h_lauke
Received on Wednesday, 28 September 2022 11:17:14 UTC