



			function changeSize(intSize){
				setFontSize("BODY", intSize + 5);
				lastSelectedSize = intSize;
			}
			
			function setFontSize(stringRuleName, intNewSize){
				var ruleToChange = getStyleRuleByName(stringRuleName);
				if (ruleToChange != null){
					ruleToChange.style.fontSize = intNewSize+'px';
				}
			}
			
			function getStyleRuleByName(stringName){
				if (!document.styleSheets) return;
				
				var theRules = new Array();
				for (i = 0; i < document.styleSheets.length; i++){
					if (document.styleSheets[i].cssRules){
						theRules = document.styleSheets[i].cssRules
					} else if (document.styleSheets[i].rules){
						theRules = document.styleSheets[i].rules
					}
					
					for (j = 0; j < theRules.length; j++){
						if (theRules[j].selectorText.toLowerCase() == stringName.toLowerCase()){
							return theRules[j];
						}
					}
				}
				
				return null;
			}
