var css = GetCookie("CSS");

if(css == ""){
 css = "font_default.css";
}
document.write('<link rel="stylesheet" href="' + css + '" type="text/css" />');

function SetCss(file){
 SetCookie("CSS", file);
 window.location.reload();
}

function GetCookie(key){
 var tmp = document.cookie + ";";
 var tmp1 = tmp.indexOf(key, 0);
 if(tmp1 != -1){
  tmp = tmp.substring(tmp1, tmp.length);
  var start = tmp.indexOf("=", 0) + 1;
  var end = tmp.indexOf(";", start);
  return(unescape(tmp.substring(start,end)));
 }
 return("");
}

function SetCookie(key, val){
 document.cookie = key + "=" + escape(val) + ";expires=Fri, 31-Dec-2030 23:59:59;";
}