- From: Marc Haunschild <haunschild@mhis.onmicrosoft.de>
- Date: Wed, 28 Sep 2022 15:45:59 +0000
- To: "Patrick H. Lauke" <redux@splintered.co.uk>
- CC: "w3c-wai-ig@w3.org" <w3c-wai-ig@w3.org>
Thanks for the clarification - I always thought, the sense of an Styling-AddOn would be to provide a user stylesheet. Obviously I misunderstood their concept until today... > Am 28.09.2022 um 16:58 schrieb Patrick H. Lauke <redux@splintered.co.uk>: > > On 28/09/2022 14:27, Marc Haunschild wrote: >> Sorry, my auto correction and I have some issues. Next try: >> I thought user styles are commonly used with an AddOn like Stylus… > > No, bookmarklets and extensions like Stylus inject styles into the page, so they effectively are on par with "author styles" [...] > 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 15:46:15 UTC