/*change_css.js*/
//*************************************************************************************************************
// A ajouter dans le html:
//
var style=1;
function go(){
if(style==1){
changeCSS('style2');
style=2;
}
else{
changeCSS('style1');
style=1;
}
}
//*************************************************************************************************************
//***********************
// Changer de CSS à la volée
//***********************
// A ajouter dans le html:
//
//
// Passer à la CSS alternative
function changeCSS(title) {
var i;
var css;
for(i=0; (css = document.getElementsByTagName("link")[i]); i++) {
if (css.getAttribute("rel").indexOf("style") != -1 && css.getAttribute("title")) {
css.disabled = true;
if (css.getAttribute("title") == title){
css.disabled = false;
}
}
}
}