// JavaScript Document
var f = new font();
function font(){
	var maxSize = 16;
	var minSize = 8;
	var size	= 12;
	
	this.up = function(){
		var element = document.getElementById("rightColumn");
		
		size += 1;
		
		if(size > maxSize){
			size = maxSize;
		}
		
		//element.style.fontSize = size + 'px';
		
		var elms = element.getElementsByTagName("*");
      	for(var i = 0, maxI = elms.length; i < maxI; ++i) {
        	var elm = elms[i];
        	if(elm.id){
				document.getElementById(elm.id).style.fontSize = size + 'px';;
			}
      	}
	}
	
	this.down = function(){
		var element = document.getElementById("rightColumn");
		
		size -= 1;
		
		if(size < minSize){
			size = minSize;
		}
		
		//element.style.fontSize = size + 'px';
		
		var elms = element.getElementsByTagName("*");
      	for(var i = 0, maxI = elms.length; i < maxI; ++i) {
        	var elm = elms[i];
        	if(elm.id){
				document.getElementById(elm.id).style.fontSize = size + 'px';;
			}
      	}
	}
}