function ChangeFontSize(inc)
{
    
  var div = document.getElementById('ContentContainer');
  var all = div.getElementsByTagName('*');
  var size;
  
  for(n=0; n<all.length; n++) {
	if(all[n].style.fontSize) {
	   size = parseInt(all[n].style.fontSize.replace("%", ""));
	}
	else {size = 100;}
	
	all[n].style.fontSize = size + inc + '%';
   }
}
function ResetFontSize()
{
    
  var div = document.getElementById('ContentContainer');
  var all = div.getElementsByTagName('*');
  var size;
  
  for(n=0; n<all.length; n++) {
	all[n].style.fontSize = '100%';
   }
}