var expdate = new Date();
var cookies_expiration_date = expdate + (365*24*60*60*1000);

var fontSizeMin = 11;
var fontSizeMax = 21;
var fontSizeDefault = 13;


function changeFontSize(divID, pas) {
	
	if(document.getElementById(divID)) {
		fs = (document.getElementById(divID).style.fontSize).replace("px", "");
		if(fs=="")
			fs = fontSizeDefault;
		
		new_size = fs-0+pas;
		
		if(new_size > fontSizeMax)
			new_size = fontSizeMax;
		if(new_size < fontSizeMin)
			new_size = fontSizeMin;

		document.getElementById(divID).style.fontSize = new_size +"px";
		try	{	setCookie("WS_fontSize", new_size, cookies_expiration_date); }
		catch (e) { }
	}

}

function setFontSize(divID, fs) {
	
	if(document.getElementById(divID)) {
		new_size = fs-0;
		
		if(new_size > fontSizeMax)
			new_size = fontSizeMax;
		if(new_size < fontSizeMin)
			new_size = fontSizeMin;

		document.getElementById(divID).style.fontSize = new_size +"px";
		try	{	setCookie("WS_fontSize", new_size, cookies_expiration_date); }
		catch (e) { }
	}

}