// Javascript - Lettergrootte op de website veranderen
// Laatste wijziging: 6 april 2008

var min = 10;
var max = 13;
var tekst_element  = document.getElementsByTagName('div');

function lettertypeGroot()
{
	for (i = 0; i < tekst_element.length; i++)
	{
		if (tekst_element[i].style.fontSize) 
		{
			var tekenGrootte = parseInt(tekst_element[i].style.fontSize.replace("px",""));
		} 
		else 
		{
			var tekenGrootte = 11;
		}
		
		if (tekenGrootte != max) 
		{
			tekenGrootte += 1;
		}
		tekst_element[i].style.fontSize = tekenGrootte + "px";
	}
}

function lettertypeKlein() 
{
	for (i = 0; i < tekst_element.length; i++) 
	{
		if (tekst_element[i].style.fontSize) 
		{
			var tekenGrootte = parseInt(tekst_element[i].style.fontSize.replace("px",""));
		}
		else 
		{
			var tekenGrootte = 11;
		}
		
		if (tekenGrootte != min) 
		{
			tekenGrootte -= 1;
		}
	tekst_element[i].style.fontSize = tekenGrootte + "px";
	}   
}