- From: Boris Zbarsky <bzbarsky@MIT.EDU>
- Date: Thu, 14 Oct 2010 21:23:54 -0400
- 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... ;)
-Boris
Received on Friday, 15 October 2010 01:24:28 UTC