HTMLkit voorkeuren aanpassen

Het kan handig zijn om twee instellingen van HTMLkit aan te passen: het standaardsjabloon en de fontgrootte.