- From: Simon Pieters <simonp@opera.com>
- Date: Thu, 29 Aug 2013 16:17:37 +0200
- To: "www-style@w3.org" <www-style@w3.org>
In the context of this bug https://www.w3.org/Bugs/Public/show_bug.cgi?id=22479 it was suggested that it may be time to drop support for alternative stylesheets in the Web platform. In data set 18/06/2013 http://webdevdata.org I see 368 sites out of 53,000 using alternate stylesheets (with <link>), so that's 0.7%. For the API, I see 0 instances of selectedStyleSheetSet, selectedStylesheetSet or enableStyleSheetsForSet. There might be pages that use <link>.disabled to switch, but this seems a bit harder to look for. Also the data doesn't include external scripts. 3 sites use <meta http-equiv=Default-Style>, but they don't have differently-titled stylesheets. 0 sites use Default-Style HTTP header. There could be sites that only include the header if the user has chosen a different style sheet set (and the site stores the choice in a cookie), but this seems hard to check for. WebKit and Blink don't load alternative stylesheets and don't put them in document.styleSheets. Toggling .disabled doesn't work. The CSSOM API for switching stylesheets isn't implemented. The only thing that does seem to work is changing Default-Style, but doing so leaves the CSSOM in a weird state: the old stylesheet is emptied of its cssRules and the new stylesheet still isn't exposed. Firefox and IE10 have UI for switching stylesheets. Only Firefox support the CSSOM APIs for switching stylesheet sets. (Don't know about IE11.) It would be interesting to have data on how often users switch stylesheets, both using the browser's UI and using JS-based switchers provided by the page (I think most such switchers just toggle .disabled on <link>). The API around alternative stylesheets assume that non-preferred stylesheets are loaded (and present in document.styleSheets). Doing so is bad for performance for users that don't switch stylesheets on pages that have alternative stylesheets (or arguably it's bad for all users). If a user wants to switch styles on a site, presumably the user wants the switch to persist across page navigations. This is not the case with alternative stylesheets without cooperation of the site -- it needs to manually store the choice and manage which style sheet to have enabled on page loads. My proposal right now is, for the sake of discussion, to drop everything that has to do with alternative stylesheets (which most closely matches what WebKit and Blink do today). Are Mozilla and Microsoft OK with that? -- Simon Pieters Opera Software
Received on Thursday, 29 August 2013 14:11:45 UTC