> We can easily fix that without any such workaround by patching the original firefox css file.
And now that we have the exact same release schedule than firefox it doesn't change anything patching firefox than the sdk.

That's a good point, we should patch firefox CSS, but even so I'd rather do these concurrently.