### Brief bug description The CSS uses GT Walsheim font while we now use Work Sans :-) ### Expected behavior Use the right font