<!--

/* 
    typefacesize.js
    maydaySM

    Created by Hendrik  on Sun Apr 25 2004.
    Copyright (c) 2004.
    
    $Id: typefacesize.js,v 1.2 2004/08/22 21:08:38 hendrik Exp $
	
	Simply a wrapper for Paul's StyleSwitcher.
	See ./styleswitcher for more details--don't forget to visit ALA.
*/

	var myFontSize		=   0;
	var TypefaceSizes	=   new Array ();
	
	TypefaceSizes [0]	=   'standard';
	TypefaceSizes [1]   =   'medium';
	TypefaceSizes [2]	=   'large';
	
	function decreaseTypefaceSize () {
		myFontSize		=   (myFontSize < 1)	?	0	:	myFontSize - 1;
		setActiveStyleSheet(TypefaceSizes [myFontSize]);
	}
	
	function increaseTypefaceSize () {
		myFontSize		=   (myFontSize > 1)	?	2	:	myFontSize + 1;
		setActiveStyleSheet(TypefaceSizes [myFontSize]);
	}

// -->