// JavaScript Document

document.getElementsByClassName = function(class_name) 
	{
    	var docList = this.all || this.getElementsByTagName('*');
    	var matchArray = new Array();

    	/*Create a regular expression object for class*/
    	var re = new RegExp("(?:^|\\s)"+class_name+"(?:\\s|$)");
    	for (var i = 0; i < docList.length; i++) 
			{
        		if (re.test(docList[i].className) ) 
					{
            			matchArray[matchArray.length] = docList[i];
        			}
    		}

		return matchArray;
	}//eof annonymous function



var small=12;
var medium=14;
var large=16;

/*function increaseFontSizeByClassName(classname) 
	{
   		var p = document.getElementsByClassName(classname);
   		for(i=0;i<p.length;i++) 
			{
      			if(p[i].style.fontSize) 
					{
         				var s = parseInt(p[i].style.fontSize.replace("px",""));
      				} 
				else 
					{
         				var s = medium;
      				}
      			if(s!=large) 
					{
         				s += 2;
      				}
      			p[i].style.fontSize = s+"px";
   			}
	}

function decreaseFontSizeClassName(classname) 
	{
   		var p = document.getElementsByClassName(classname);
   		for(i=0;i<p.length;i++) 
			{
      			if(p[i].style.fontSize) 
					{
         				var s = parseInt(p[i].style.fontSize.replace("px",""));
      				} 
				else 
					{
         				var s = medium;
      				}
      			if(s!=samll) 
					{
         				s -= 2;
      				}
      			p[i].style.fontSize = s+"px";
   			}   
	}

function increaseFontSize()
	{
		increaseFontSizeByClassName('tex04');
	}

function decreaseFontSize()
	{
		decreaseFontSizeClassName('tex04');
	}*/


function smallFontSizeByClassName(classname) 
	{
   		var p = document.getElementsByClassName(classname);
   		for(i=0;i<p.length;i++) 
			{
      			p[i].style.fontSize = small+"px";
   			}
	}

function mediumFontSizeByClassName(classname) 
	{
   		var p = document.getElementsByClassName(classname);
   		for(i=0;i<p.length;i++) 
			{
      			p[i].style.fontSize = medium+"px";
   			}
	}

function largeFontSizeByClassName(classname) 
	{
   		var p = document.getElementsByClassName(classname);
   		for(i=0;i<p.length;i++) 
			{
      			p[i].style.fontSize = large+"px";
   			}
	}

function smallFontSize() 
	{
		smallFontSizeByClassName('main');
	}

function mediumFontSize() 
	{
		mediumFontSizeByClassName('main');
	}

function largeFontSize() 
	{
		largeFontSizeByClassName('main');

	}