function alterFontSize(size) {
	if (!document.styleSheets) return;
	var theRules;
	if (document.styleSheets[0].cssRules) {
		theRules = document.styleSheets[0].cssRules;
	} else if (document.styleSheets[0].rules) {
		theRules = document.styleSheets[0].rules;
	} else {
		return;
	}
	theRules[0].style.fontSize = size;
}