// Font size change
function fontSize(fontClass)
{

	theContents = document.getElementById('ntContents');
	theContents.className = fontClass;

}



/*
	window.addEvent('domready', function() {
		new Rokmoomenu($E('ul.menutop '), {
			bgiframe: ,
			delay: ,
			animate: {
				props: ['height', 'opacity'],
				opts: {
					duration: ,
					fps: ,
					transition: Fx.Transitions.
				}
			},
			bg: {
				enabled: ,
				overEffect: {
					duration: ,
					transition: Fx.Transitions.
				},
				outEffect: {
					duration: ,
					transition: Fx.Transitions.
				}
			},
			submenus: {
				enabled: ,
				overEffect: {
					duration: ,
					transition: Fx.Transitions.
				},
				outEffect: {
					duration: ,
					transition: Fx.Transitions.
				},
				offsets: {
					top: ,
					right: ,
					bottom: ,
					left: 
				}
			}
		});
	});
*/