New features

• The user can choose his preferred font family from the "Global settings" modal window and the "My preferences" tab.

Improvements

• Updated translations.
• Various minor improvements of some text elements.

Fixes

• A server-side error that occurred during maintenance has been fixed.