// warning: this script can cycle around the childs only one level deep,
// and all of childs must have font-size property, otherwise that child will be not resized.

var originalProperties = new Array();

function increaseFontSize(startEl) {
	var cookieHandler = new Ext.state.CookieProvider();
	var cookieValue = cookieHandler.get('fontSize',1);
	cookieHandler.set('fontSize',(cookieValue+0.1));
	
	setupFontSize(startEl);
}


function decreaseFontSize(startEl) {
	var cookieHandler = new Ext.state.CookieProvider();
	var cookieValue = cookieHandler.get('fontSize',1);
	
	if ( cookieValue > 0.1 ) { cookieHandler.set('fontSize',(cookieValue-0.1)); }
	setupFontSize(startEl);
}


function setupFontSize(startEl) {
	var obj = Ext.get(startEl);
	var el = obj.first();

	var cookieHandler = new Ext.state.CookieProvider();
	var cookieValue = cookieHandler.get('fontSize',1);
	
	while ( el != null ) {
		
		if ( originalProperties[el.dom.className] == undefined ) { 
			originalProperties[el.dom.className] = parseInt(el.getStyle('font-size'));
		}

		el.setStyle('font-size',(parseInt(originalProperties[el.dom.className]*cookieValue)+'px'));
		var el = el.next();
	}	
}