/*
  font_size.js : 2006.02.27
 -----------------------------------------------------------------------------
 */	
 		var font_sizes = new Array( 100, 110, 120 ); 
			var current_font_size = 0;
			if ( ( typeof( loadFontSize ) ).toLowerCase() != 'undefined' ) { event_attach( 'onload' , loadFontSize ); }
			if ( ( typeof( set_min_width ) ).toLowerCase() != 'undefined' ) { set_min_width( 'page-container' , 600 ); }
			if ( ( typeof( sfHover ) ).toLowerCase() != 'undefined' ) { event_attach( 'onload' , function () { 
				sfHover( 'leftmenu' );
				sfHover( 'middlemenu' );
			} ); }