// JavaScript Document -- resize font


var the_tags = new Array( 'div', 'p',  'li'); // array of tags to enlarge
var text_sizes = new Array( 'xx-small','x-small','small','medium','large','x-large','xx-large' );
var start_size = 3;

function resize_it ( change_tag,bigger ) {
	if (!document.getElementById) return
	var d = document;
	var the_element = null;
	var current_size = start_size;
	var i,j,resized_tags;
	
 	current_size += bigger;
	if ( current_size < 0 ) current_size = 0;
	if ( current_size > 6 ) current_size = 6;
	start_size = current_size;
		
	if ( !( the_element = d.getElementById( change_tag ) ) ) the_element = d.getElementsByTagName( change_tag )[ 0 ];

	the_element.style.fontSize = text_sizes[ current_size ];

	for ( i = 0 ; i < the_tags.length ; i++ ) {
		resized_tags = the_element.getElementsByTagName( the_tags[ i ] );
		for ( j = 0 ; j < resized_tags.length ; j++ )
			resized_tags[ j ].style.fontSize = text_sizes[ current_size ];
	}
}