// JavaScript Document
function raiseSize(){
	var getText = document.getElementById("content");
	var textSize=getText.fontSize;
	textSize=textSize+0.1;
}