var cook=getCookie("style");if(cook==undefined)
document.documentElement.className="jaune";else
document.documentElement.className=cook;
function setCookie(name,value,expire){var timestamp=new Date(expire);document.cookie=name+"="+escape(value)+"; expires="+timestamp.toGMTString();}
function getCookie(name){var cookies=document.cookie.split(/;/);for(var i=0;i<cookies.length;i++){var mycook=cookies[i].split(/=/);if(mycook[0]==name)
return unescape(mycook[1]);}}
function styleSwitcher(css){document.documentElement.className=css;setCookie("style",css,(new Date(2010,12).getTime()));}