var pageSize = 10;

function getParam() {
	var param = window.location.search.split('&');
	if(param.length == 0)
		return;
	param[0] = param[0].substr(1);
	for(var i = 0; i < param.length; i++) {
		var cparam = param[i].split('=');
		if(cparam[0] == 'pageSize') {
			resizePage(cparam[1] - 10);
		}	
	}
}

function resizePage(step) {
	pageSize += step;
	document.getElementsByTagName('body')[0].style.fontSize = pageSize + 'pt';
}