// JavaScript Document

function changeFontSize(n) {
  
    var el = document.getElementById("mainContent");
	if (el !=null){
    el.style.fontSize = (n) + 'px';}
	
    var ex = document.getElementById("hm1");
	if (ex !=null){
    ex.style.fontSize = (n) + 'px';}
	
    var em = document.getElementById("hm2");
	if (em !=null){
    em.style.fontSize = (n) + 'px';}
	
    var ep = document.getElementById("hm3");
	if (ep !=null){
    ep.style.fontSize = (n) + 'px';}

}