// Initialize the arrays containing our size info.

//ALEX: Mögliche Werte 11 ist der Defaultwert - Defaultarrayvalue 0
var pixelArray = new Array('11','12','13'); // Possible font px sizes
var countOfPixels = pixelArray.length;
var initSize = 1; // Array position of inital px size

function fontSizer(inc) {
	/*if (!document.getElementById) return;*/
	
	size = parseInt(inc);
	
	if (size < 0 ) { size = 0; }	
	if (size > countOfPixels ) { size = countOfPixels; }
	
	doFontSizing(size);	
	
}

function doFontSizing(theFontSize) {			
	// Bugfix: Elements inside table would not resize with only the code below, so we do them seperatly.
	// NOTE: This only resizes the font, nothing else.
	// Resize by ID does not work with this.
	aTables = document.getElementsByTagName('table');
	for(i = 0; i < aTables.length; i++){
			aTables[i].style.fontSize = pixelArray[theFontSize];
	}
	
	// if you rather want to size an individual element by ID, use this:
	// resizeContainer = document.getElementById('nameOfConainingElement');	
	// and uncomment the if statements at the start of each function
	resizeContainer = document.getElementsByTagName('body')[0];		
	resizeContainer.style.fontSize = pixelArray[theFontSize];		
}

function normalSize() {
	
	//ALEX DEFAULTARRAYVALUE
	var size = 0;
	doFontSizing(size);	
}