function changeFontSize(size)
{
  var contentDIV = document.getElementById("inmaContent");
  contentDIV.style.fontSize = size;
  var contentTitleDIV = document.getElementById("inmaContentTitle");
  contentTitleDIV.style.fontSize = size;
  
  return;
}