function setFontSize(cssname) {
	var i, CSSlinkTag;
	for(i=0; i<4; i++) {
	CSSlinkTag = document.getElementsByTagName("link")[i];
		if(CSSlinkTag.getAttribute("rel").indexOf("stylesheet") != -1 && CSSlinkTag.getAttribute("title")) {
			CSSlinkTag.disabled = true;
			if(CSSlinkTag.getAttribute("title") == cssname){
			CSSlinkTag.disabled = false;
		}
		}
	}
}