/**
 * Set document class name (font size related
 * @param tagClass CSS className of body tag
 */
setFontSize = function(tagClass) 
{
	document.body.className = tagClass;	
}

/**
 * Set normal font size
 */
normal_char=function() 
{
	setFontSize("normal");
}

/**
 * Set big font size
 */ 
larger_char=function() 
{
	setFontSize("big");
}

/**
 * Set very big font size
 */
largest_char=function() 
{
	setFontSize("very_big");
}