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