On 10/12/12 4:08 AM, Anton Prowse wrote: > Without a visible indication of the existence of an alternative > stylesheet, the concept seems doomed. Browser makers will argue that > nobody uses it, but that's because nobody's going to visit the menu on > every site on the off-chance that there might be an alternative > stylesheet available. Note that there are DOM APIs specced that allow sites to manipulate the selected style set, for what it's worth. So sites could still do this even without browsers providing UI, if they wanted to. Of course those APIs are not widely supported.... -BorisReceived on Friday, 12 October 2012 14:51:50 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:22 UTC