function zoom(size) {
	if (size == 'larger') {
		document.getElementsByTagName('body')[0].style.fontSize='120%'
	} else if (size == 'smaller') {
		document.getElementsByTagName('body')[0].style.fontSize='100%'
	}
}