/**
 * @author andrewwhitt
 */

 function enlarge(size){
 	document.getElementById("content").style.fontSize=size+"px";
	document.getElementById("form").style.fontSize=size+"px";
 }