TOOLS-16 (Improvement - Complete): Allow the user to change the fonts in the settings.