/* Font changer */

function changeFontSize(size) {
	body = document.getElementsByTagName("body")[0]
	body.style.fontSize = size + "%"

}