function theme_menu(close=0) {
	var t = document.getElementById('trigger');
	var m = document.getElementById('menu');
	var s = document.getElementById('shade');
	
	if(m.className=='menu-open' || close==1) {
		m.className='menu-closed';
		t.innerHTML='≡';
		t.classList.remove('active');
		if(s) s.className='shade-closed';
	} else {
		m.className='menu-open';
		t.innerHTML='×';
		t.classList.add('active');
		if(s) s.className='shade-open';
	}
	return false;
}