- From: Rijk van Geijtenbeek <rijk@opera.com>
- Date: Mon, 09 Feb 2009 17:48:18 +0100
- To: "WWW Style" <www-style@w3.org>
Op Mon, 09 Feb 2009 17:09:55 +0100 schreef Charles-André Landemaine <landemaine@gmail.com>: > On Mon, Feb 9, 2009 at 4:52 PM, Christopher Schmitt > <schmitt@christopher.org> wrote: >> I understand, but I raise two questions: >> >> 1) Shouldn't this be for browsers vendors to implement on their own? For >> example, Opera apparently has a solution (see >> http://userstyles.org/styles/installing ) > > Firefox has already, but if we let browser vendors go further, all of > them will have their own syntax, and sharing user styles will be > painful, having to maintain various versions for different browsers. Agreed - it would be nice if user styles for 'fixing up' websites were freely usable in multiple browsers. IMHO a variant of the @-moz-document domain solution (@domain ?) would likely be easier to deal with, both for style sheet authors as for browsers. Though without an installer mechanism like the Stylish extension, it requires users to deal with files and their file system. This will restrict it to being a feature for a tiny minority of users (though somewhat larger than the ultra-tiny minority that uses user styles now :) ). > Actually Opera doesn't have a real solution. You can only resort to > user scripts to implement user styles with the possibility to filter > by domain name. You can use Site Preferences in Opera to set a specific single style sheet as user style for a specific server or domain, no scripting needed. Not even @domain needed if you use that method. -- Rijk van Geijtenbeek Opera Software ASA, Documentation & QA Tweak: http://my.opera.com/Rijk/blog/ "The most common way to get usability wrong is to listen to what users say rather than actually watching what they do." - J.Nielsen
Received on Monday, 9 February 2009 16:49:10 UTC