English: Change archive font size
Dutch: Verander de lettertype grootte van het archief