// function used in the font_sizer.js 
window.onload = function() {
	initFontSize();
}