window.onload = function() {
	var fontSizeBox = new FontSizeToolbox("fontSizeTool", { grand: 1.2, petit: .9, class_petit: "petit", class_petit_actif: "petitActif", class_normal: "normal", class_normal_actif: "normalActif", class_grand: "grand", class_grand_actif: "grandActif" });
}