// JavaScript Document
function fntsize(multiplier) {
		document.body.style.fontSize= multiplier + '%';
	}