//----------------------------------------------------------------------
// SET STYLE SCRIPTS
//----------------------------------------------------------------------
// Read cookie
function readCookie() {
	if(document.cookie){
		if(document.cookie=="typeSize=big"){
			return "USING BIG TEXT";
		}else{
			return "USING SMALL TEXT";
		}
	}else{
		return "NO COOKIE SET, USING BIG TEXT BY DEFAULT 33341234";
	}
}
//----------------------------------------------------------------------
// Style sheet setter 
//----------------------------------------------------------------------
function setStyle() {
}
setStyle();
//----------------------------------------------------------------------
// trigger change with BIG and SMALL buttons
//----------------------------------------------------------------------
function doCookie(whichSize) {
	document.cookie="typeSize="+whichSize;
	window.location.reload( true );
}