Tip: wanneer u de letters van deze website te klein vindt, kunt u voor grotere letters kiezen via de instellingen van uw internet-programma. Bij de meeste programma's werkt het ook als u eerst de Ctrl-toets indrukt (en ingedrukt houdt) en daarna de +toets indrukt. U kunt op dezelfde manier het lettertype verkleinen met Ctrl en de - toets.