// Initiation code
// Check for text size cookie, defaults to 12 if no cookie
// Has to load after the user code as this code contains the php that sets the cookie if the form is submitted
	textSize = readTextSize();
	menuWidth = 153;
	menuWidth = Math.max(Math.round(textSize * 12.75),100);
	smallTextSize = Math.max(Math.min(textSize-1,Math.round(textSize * 0.9)),4);
	verySmallTextSize = Math.max(Math.min(textSize-2,Math.round(textSize * 0.8)),3);
	pageWidth = 976 + menuWidth;

	document.write("<style type=\"text/css\">");
	document.write(".pageText {font-size: ",textSize,"px;}");
	document.write(".topNavText {font-size: ",smallTextSize,"px;}");
	document.write(".topNavTextLocation {font-size: ",textSize,"px;}");
	document.write(".leftNav {font-size: ",smallTextSize,"px;}");
	document.write(".bottomLeftCell {font-size: ",verySmallTextSize,"px;}");
	// document.write(".bottomLeftCell {	width: ",menuWidth,"px;}");
	document.write(".menuMainCell {	width: ",menuWidth,"px;}");
	document.write(".mainTable {	width: ",pageWidth,"px;}");
	document.write(".leftNav {	width: ",menuWidth,"px;}");
	document.write("</style>");