// uja 20101104: einheitliche User-Stylesheets in den Unterseiten einstellen:
// alles wird erledigt durch init_style(); 
// gecheckt mit Firefox
// --------------------------------------------------------------------------

// Styletitel als Cookie speichern: 
function save_style(titel)
{ var ablauf = new Date(); 
  var dreimonate = ablauf.getTime() + (100 * 24 * 60 * 60 * 1000); ablauf.setTime(dreimonate);
  document.cookie='style='+titel+'; expires=' + ablauf.toGMTString();
}

// Styletitel aus Cookie laden:
function load_style()
{ var t='',paare,wert='';
  if (document.cookie) 
  { paare=document.cookie.split(';');
    anz=paare.length;
    for (i=0; i<anz; i++)
    { t=paare[i].replace(/^\s+/,''); t=t.replace(/\s+$/,''); // trim
      t=paare[i].split('\=');
      if (t[0]=='style') wert=t[1];
    }
  }
  return wert;
}

// Titel des aktuellen Styles
function get_aktstyle()
{ var i,titel="";
  if (document.styleSheets) for (i=0; i<document.styleSheets.length; i++) with(document.styleSheets[i]) if (!disabled) titel=title;
  return titel;
}

// ausgelesenen Style setzen: geht bei zurückgezogenen Styles noch ins Leere
function set_aktstyle(titel) { if (document.styleSheets) for (var i=0; i<document.styleSheets.length; i++) with(document.styleSheets[i]) disabled=(titel!=title); }

// einmal bei onload oder vorher aufrufen, einmal bei onunload:
function init_style()      { var t=load_style(); if (t=='') { t=get_aktstyle(); save_style(t); } else set_aktstyle(t); }
function save_last_style() { var t=get_aktstyle(); save_style(t); }