var setPosition = function() {
	Ext.get('container').setHeight(Ext.lib.Dom.getViewHeight(true) - Ext.get('foot').getHeight());
	Ext.get('leftnavi').position('absolute', 10000);
	Ext.EventManager.onWindowResize(setPosition);
};
Ext.onReady(setPosition);

var setSize = function(sz) {
	var css = Ext.getDom('fscss');
	css.href = '/__/styles/fontsize' + sz + '.css';
	setCookie('fs', sz, '', '/');
	document.location.reload();
};

var setContrast = function(cl) {
	var css = Ext.getDom('clcss');
	css.href = '/__/styles/color' + cl + '.css';
	setCookie('cl', cl, '', '/');
	document.location.reload();
};