/*------------------------------------------------------------
	Document Text Sizer- Copyright 2003 - Taewook Kang.  All rights reserved.
	Coded by: Taewook Kang (txkang.REMOVETHIS@hotmail.com)
	Web Site: http://txkang.com
	Script featured on Dynamic Drive (http://www.dynamicdrive.com)
	
	Please retain this copyright notice in the script.
	License is granted to user to reuse this code on 
	their own website if, and only if, 
	this entire copyright notice is included.
--------------------------------------------------------------*/
function isArray() {
	if (typeof arguments[0] == 'object') {  
		var criterion = arguments[0].constructor.toString().match(/array/i); 
 		return (criterion != null);  
 	}
 	
 	return false;
}

function beNull() {

	if (typeof arguments[0] == '[object]') {  
 		return ( isNull( arguments[0]) );  
 	}
	else {
		if( typeof arguments[0] == 'undefined' ) return true;
	}
 	return false;
}

//Specify affected tags. Add or remove from list:
var affectedTags = new Array( 'p','font','span' );

//Specify spectrum of different font sizes:
var fontSizes = new Array( '5pt','6pt','7pt','8pt','9pt','10pt','11pt','12pt','13pt','14pt','15pt','16pt' );
var startSize = 5;

function ts( selTarget, sizeIncrement ) {
	
		// Check if browser supports DOM function, if not then just quit
	if (!document.getElementById) return
	
		// Declare some variables
	var targetElement = null, newSize = startSize, h, i, j, currentTag, targets, currentTarget;
	
	newSize += sizeIncrement;
	if ( newSize < 0 ) newSize = 0;
	if ( newSize > 11 ) newSize = 11;
	startSize = newSize;

	targets = selTarget.split(",");

		// Loop for each target
	for ( h =0; h < targets.length ; h++ ) {
		currentTarget = targets[h];
			// Try to find the element by id or name
		if ( !( targetElement = document.getElementById( currentTarget ) ) ) targetElement = document.getElementsByTagName( currentTarget )[ 0 ];  

		if( ! beNull ( targetElement ) ){
			targetElement.style.fontSize = fontSizes[ newSize ];
		
			for ( i = 0 ; i < affectedTags.length ; i++ ) {
				currentTag = targetElement.getElementsByTagName( affectedTags[ i ] );
				for ( j = 0 ; j < currentTag.length ; j++ ) currentTag[ j ].style.fontSize = fontSizes[ newSize ];
			}
		}
	}
}