jaggaer October 6, 2022 at 14:40 #35192 The reason of the problem seems to be the presence of “!important” in a css file used to define a few styles of our html page.
