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