function initStyleSwitcher(StyleMark,nummer) {
	if(navigator.appVersion.indexOf("Mac")==-1) {
		divName = StyleMark + nummer;
		document.getElementById(divName).onclick = function() {
			setActiveStyleSheet(StyleMark, 1);
		}
	}
}
function writeStyleSwitcher() {
	if(navigator.appVersion.indexOf("Mac")==-1) {
		if(document.getElementsByTagName) {
			if(window.print) {
				printStr = '&nbsp;&nbsp;|&nbsp;&nbsp;<span id="printPage">Print page</span>';
			}
			else {
				printStr = '';
			}
			document.getElementById('stylePlace').innerHTML = '<table cellpadding="0" cellspacing="0" border="0"><tr><td id="styleShifter" nowrap>Change font size: <span id="smallOne" title="small">T</span> : <span id="bigOne" title="big">T</span>' + printStr + '</td></tr></table>';
			if(window.print) {
				document.getElementById('printPage').onclick = function() {
					window.print();
				}
			}
			setStyle()
			initStyleSwitcher("big","One")
			initStyleSwitcher("small","One")
		}
	}
}


function setActiveStyleSheet(title, reset) {
  var i, a, main;
  for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
    if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title")) {
      a.disabled = true;
      if(a.getAttribute("title") == title) a.disabled = false;

    }
  }
  if (reset == 1) {
	  createCookie("winstyle", title, 365);
  }
}

function setStyle() {
	var style = readCookie("winstyle");
	if (style != null) {
		setActiveStyleSheet(style, 0);
	}
}

function createCookie(name,value,days) {
  if (days) {
    var date = new Date();
    date.setTime(date.getTime()+(days*24*60*60*1000));
    var expires = "; expires="+date.toGMTString();
  }
  else expires = "";
  document.cookie = name+"="+value+expires+";";
}
function readCookie(name) {
  var nameEQ = name + "=";
  var ca = document.cookie.split(';');
  for(var i=0;i < ca.length;i++) {
    var c = ca[i];
    while (c.charAt(0)==' ') c = c.substring(1,c.length);
    if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
  }
  return null;
}