<?php

	# Set the theme for your project's web pages.
	# See the Committer Tools "How Do I" for list of themes
	# https://dev.eclipse.org/committers/
	# Optional: defaults to system theme 
	$theme = "Nova";

	# Define your project-wide Nav bars here.
	# Format is Link text, link URL (can be http://www.someothersite.com/), target (_self, _blank), level (1, 2 or 3)
	# these are optional
	$Nav->addCustomNav("About This Project", "/projects/project_summary.php?projectid=modeling.emft.refactor", "_self", 2);
	$Nav->addNavSeparator("Project Home", 	"index.php");
	$Nav->addCustomNav("Refactorings", 	"refactorings.php", 	"_self", 2);
	$Nav->addCustomNav("Downloads", 		"downloads.php", 	"_self", 2);
	$Nav->addCustomNav("Installation", 		"install.php", 		"_self", 2);
	$Nav->addCustomNav("Documentation", 		"docu.php", 		"_self", 2);
	$Nav->addCustomNav("Publications", 				"publications.php", 			"_self", 2);
	$Nav->addCustomNav("MoDELS 2013", 				"models2013.php", 			"_self", 2);
	$Nav->addCustomNav("FASE 2014", 				"fase2014.php", 			"_self", 2);
	$Nav->addCustomNav("MoK 2014", 				"moK2014.php", 			"_self", 2);
	# $Nav->addCustomNav("FAQ", 				"faq.php", 			"_self", 2);


?>