MIR-4697
April Fools: correct CSS file (from the js one)