
//change the "fontSize" property of all the elements with class "className"
function setTextSize(className, size) {
	var elements = document.getElementsByClassName(className);
	var children;
	
	for ( var i=0; i<elements.length; i++ ) {
		elements[i].style.fontSize = size + "pt";
		
		if (elements[i].childNodes != null) {
			children = elements[i].childNodes;
			for ( var k=0; k<children.length; k++ ){
				if (children[k].style != null)
					children[k].style.fontSize = size + "pt";
			}
		}
		
	}
}
