function increaseFontSize( name, defaultSize )
{
	var p = document.getElementsByName( name );
	for( i = 0; i < p.length; i++ )
	{
		if( p[i].style.fontSize )
			var s = parseInt( p[i].style.fontSize.replace( "px", "" ) );
		else
			var s = defaultSize;

		if( s < 24 )
			p[i].style.fontSize = ( s + 1 ) + "px"
	}
}

function decreaseFontSize( name, defaultSize )
{
	var p = document.getElementsByName( name );
	for( i = 0; i < p.length; i++ )
	{
		if( p[i].style.fontSize )
			var s = parseInt( p[i].style.fontSize.replace( "px", "" ) );
		else
			var s = defaultSize;

		if( s > 8 )
			p[i].style.fontSize = ( s - 1 ) + "px"
	}
}