W3C home > Mailing lists > Public > www-style@w3.org > October 2010

Re: practicality of user styleshseets

From: Boris Zbarsky <bzbarsky@MIT.EDU>
Date: Thu, 14 Oct 2010 21:23:54 -0400
Message-ID: <4CB7AD2A.20806@mit.edu>
To: Felix Miata <mrmazda@earthlink.net>
CC: www-style@w3.org
On 10/14/10 7:19 PM, Felix Miata wrote:
> On 2010/10/14 14:30 (GMT-0400) Boris Zbarsky composed:
>> I'm not sure why he needs find the rule in the stylesheet...
> Because
>    * {background-image: none !important}
> does not override
>    .gobbledegook142375-UX {background: url(pointlesstransparentbackground.png)....

Sure it does, if the former is in a user stylesheet and the latter is in 
an author stylesheet.

> I have to identify .gobbledegook142375-UX as needing to be added to the user
> stylesheet.

No, you don't.  Not to handle the above.

Further, even if you did need that (which you don't) DOM Inspector shows 
you the selectors for all the rules involved (though doesn't let you 
easily copy them; worth a bug on that).  So you don't really need to go 
to the original text file to extract the information you think you want.

> FWIW, my main Gecko profile's chrome dir contains 670kb in user styles.
> Without Domi, the considerable effort that went into creating them would
> probably have been multiplied several times if possible at all. Compaction
> proliferation has compounded the problem, because I must save to disk, append
> newlines to each } that doesn't already have one, and then because 7 year old
> https://bugzilla.mozilla.org/show_bug.cgi?id=208641 hasn't been fixed, work
> with that result outside of the browser and its extensions.

If you just want to dynamically enable/disable user stylesheets at 
runtime, I'd recommend https://addons.mozilla.org/en-US/firefox/addon/2108/

But that's getting way off-topic for this list...  ;)

Received on Friday, 15 October 2010 01:24:28 UTC

This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:38:39 UTC