function setSmallFontSize(){
 var el = document.getElementById('font-change');
 el.style.fontSize = '11px';
};

function setNormalFontSize(){
 var el = document.getElementById('font-change');
 el.style.fontSize = '13px';
};

function setBigFontSize(){
 var el = document.getElementById('font-change');
 el.style.fontSize = '15px';
};

function setFontSize(id, size){
 var el = document.getElementById(id);
 el.style.fontSize = size;
};