//  Specify spectrum of different font sizes:
var aSizes = new Array( 'xx-small','x-small','small','medium','large','x-large','xx-large' );

/*  Change font function
    sTarget = target for the font change (usually body tag)
    iIncrement = increase or decrease amount
*/
function changeSize( sTarget,iIncrement) {
	if (!document.getElementById) return
	
	var d = document
	var oTarget = null
	var iNewSize = iStartSize,i,j,cTags;
	
	iNewSize += iIncrement;
	if ( iNewSize < 0 ) iNewSize = 0;
	if ( iNewSize > 6 ) iNewSize = 6;
	iStartSize = iNewSize;
		
	if ( !( oTarget = d.getElementById( sTarget ) ) ) oTarget = d.getElementsByTagName( sTarget )[ 0 ];

	oTarget.style.fontSize = aSizes[ iNewSize ];

	for ( i = 0 ; i < aTags.length ; i++ ) {
		cTags = oTarget.getElementsByTagName( aTags[ i ] );
		for ( j = 0 ; j < cTags.length ; j++ ) cTags[ j ].style.fontSize = aSizes[ iNewSize ];
	}
}

function revertSize(){
    ts('body',iStartSize)
}