objCookieManager = new CookieManager();

function setFontsizeCookie(){
	href = stylesheet_fontsize.href;
	objCookieManager.setCookie( stylesheet_fontsize, href );
}

function getFontsizeCookie(){
	href = objCookieManager.getCookie( stylesheet_fontsize );
	if( null != href ) stylesheet_fontsize.href = href;
}

function setFontsize_small(){
	setFontsizePath_small();
	setFontsizeCookie();
}

function setFontsize_medium(){
	setFontsizePath_medium();
	setFontsizeCookie();
}

function setFontsize_big(){
	setFontsizePath_big();
	setFontsizeCookie();
}

//function getFontsize(){
	getFontsizeCookie();
//}