function setNav(id) {
	var title = document.getElementById(id);
	var module = document.getElementById(id+'module');
	var titles = document.getElementById('sidenav').getElementsByTagName('h3');
	var modules = document.getElementById('sidenav').getElementsByTagName('ul');
	for(i=0;i<titles.length;i++) {
		titles[i].className='';
		modules[i].style.display='none';
	}
	title.className='current';
	module.style.display='block';
}
function chgDemoBox(id) {
	var demoBox = document.getElementById(id);
	if (demoBox.className == 'demobox' ) {
		demoBox.className = 'demobox sidearea';
	} else {
		demoBox.className = 'demobox';
	}
}