var dom = new Object();dom.event = new Object();dom.event.addEventListener = function(elm, type, func, useCapture) {	if(! elm) { return false; }	if(! useCapture) {		useCapture = false;	}	if(elm.addEventListener) {		elm.addEventListener(type, func, false);	} else if(elm.attachEvent) {		elm.attachEvent('on'+type, func);	} else {		return false;	}	return true;};var buttonId = ["normal", "large", "exlarge"];var linkTagIndex = 2;var cookiePath = "/mayor/";dom.event.addEventListener(window, "load", init);function init() {	if (document.getElementById) {		for (i = 0; i < buttonId.length; i++) {			if (element = document.getElementById("fontsize-" + buttonId[i])) {				dom.event.addEventListener(element, "click", changeFontSize);			}		}	}	getCookie();}function changeFontSize(event) {	var element;	if (event.target) {		element = event.target;	} else if (event.srcElement) {		element = event.srcElement;	}	if (element.nodeType == 3) element = element.parentNode;	switchStyleSheet(element.id.split("-")[1]);}function switchStyleSheet(styleId) {	if (document.getElementsByTagName) {		var linkTag = document.getElementsByTagName("link").item(linkTagIndex);		var pathData = linkTag.href.split("/");		var cssName = pathData[pathData.length - 1];		var nameData = cssName.substring(0, cssName.length - 4).split("_");		setClass(nameData[nameData.length - 1], "");		setClass(styleId, "selected");		nameData[nameData.length - 1] = styleId;		pathData[pathData.length - 1] = nameData.join("_") + ".css";		linkTag.href = pathData.join("/");		setCookie(styleId);	}}function setClass(id, style) {	if (document.getElementById) {		if (element = document.getElementById("fontsize-" + id)) {			if (style) {				element.setAttribute("class", style);				element.setAttribute("className", style);			} else {				element.removeAttribute("class");				element.removeAttribute("className");			}		}	}}function setCookie(fontSize) {	var cookie = "fontsize=" + fontSize + ";";	cookie += "expires=Fri, 31-Dec-2017 23:59:59 GMT; path=" + cookiePath +";";	document.cookie = cookie;}function getCookie() {	if (!document.cookie) return false;	var data = unescape(document.cookie).split(';');	for (i = 0; i < data.length; i++) {		if (data[i].indexOf("fontsize=") == 0) {			switchStyleSheet(data[i].split("=")[1]);			break;		}	}}
