No I didn't see it, adding it to the top of the userchrome file solves the problem. Is there any way to know whether this is just a temporary fix ?
Sorry for my ignorance in the matter :wink: