// JavaScript Document

// The function of writing value from event handler to cookie

function fontChange(str){
	var targetFile;
	switch(str){
	case "small":
		targetFile="/css/jha/font_small.css";
	break;
	case "medium":
		targetFile="/css/jha/font_medium.css";
	break;
	case "large":
		targetFile="/css/jha/font_large.css";
	break;
	}
	document.cookie="fontstyle="+targetFile+";path=/;";
	window.location.reload(); 
}



// The must processing when page onload 
var name="fontstyle";
var cookie=document.cookie;
if(-1==cookie.indexOf(name)){
	var file='/css/jha/font_medium.css';
}else{
	var pos_s=cookie.indexOf(name)+name.length+1;
	var pos_e=cookie.indexOf(";",pos_s);
	if(-1==pos_e){
		var file=cookie.slice(pos_s);
	}else{
		var file=cookie.slice(pos_s,pos_e);
	}
}

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