/** @return string html to indent the menu line */
	function getIndent($depth) {
		$result = '';
		for($i=0; $i<$depth; $i++) 
			$result .= '&nbsp;&nbsp;&nbsp;';
		return $result;
	}