function $( id ) { return document.getElementById( id ); }

function nav_ul_toggle( obj, ul_id )
{
	var ul = $( ul_id );
	if ( ul.className.indexOf( 'collap' ) > 0 )
	{
		ul.className = 'nav-side';
		obj.innerHTML = '[-]';
	}
	else
	{
		ul.className = 'nav-side collapsed';
		obj.innerHTML = '[+]';
	}
}