Dank Stegiman voor de snelle reactie Mijn probleem is opgelost.

Ik heb met succes en tot mijn algehele voldoening Mint 20.3 cinnamon geïnstalleerd. Wel heb ik de volgende vraag: hoe kan ik het lettertype vergroten in de menubalk, de bladwijzerwerkbalk en ... van Firefox? Ik heb daarover wel iets gevonden in "Makkelijke linuxtips: 10 dingen om direct te doen" maa...