/**
* Change Fontsize on demand
*
* Samples:
*    <a href="" onclick="changeFontSize(-.1); return false">kleiner</a>
*    <a href="" onclick="changeFontSize(+.1); return false">gr&ouml;&szlig;er</a> 
*/
var fs_area = document.getElementById('fontScale');

var fs_init="1.1em";
var fs_now="";

function changeFontSize(value) {
	if (!fs_now) {
		fs_now = fs_init;
	}

	g = parseFloat(fs_now.replace('em','')); 
	g += value; 

	if (g>0.5 && g<10) {
		g = g.toFixed(1)+'em';

		fs_area.style.fontSize = g;
		fs_now = g;
	}
}