<!--
function focus(topLevel, subLevel) {
	document.getElementById(topLevel).style.fontWeight = 'bold';
	document.getElementById(subLevel).style.fontStyle = 'italic';
}
// -->