function expand(id, show) {
	if (el = document.getElementById(id)) {
		if (null==show) show = el.style.fontSize=='70%';
		el.style.fontSize = (show ? '' : '70%');
	}
}