style=getCookie('style');
if (style!=null) {
	if (style == '1_global') { document.write('<link href="css/global.css" rel="stylesheet" type="text/css">') }
	if (style == '2_access') { document.write('<link href="css/accessibility.css" rel="stylesheet" type="text/css">') }
} else { 
	setCookie('style', '1_global', 365);
	document.write('<link href="css/global.css" rel="stylesheet" type="text/css">'); 
}



var fs = 0.75;
document.write( "<style id=fontsize> td { font-size: " + fs + "em; } </style>" );



function textup() { 
	fs += 0.05; 
	document.getElementById('fontsize').innerHTML ="td { font-size: " + fs + "em; }";

}

function textdown() {
	fs -= 0.05; 
	document.getElementById('fontsize').innerHTML ="td { font-size: " + fs + "em; }";

}