<?php 
$active = ' class="active"';
?>
<ul id="mainmenu" class="no_bullets">
	<li id="item_downloads"><a href="http://www.eclipse.org/downloads/index-developer.php?release=kepler" title="Downloads"><span class="icon"></span><span class="caption">Downloads</span></a></li>
	<li id="item_highlights"<?php if ($page == 'Highlights') print $active;?>><a href="/kepler/" title="Highlights"><span class="icon"></span><span class="caption">Highlights</span></a></li>
	<li id="item_projects"><a href="/kepler/projects.php" title="Projects"><span class="icon"></span><span class="caption">Projects</span></a></li>
	<li id="item_democamps"><a href="http://wiki.eclipse.org/Eclipse_DemoCamps_Kepler_2013" title="DemoCamps"><span class="icon"></span><span class="caption">DemoCamps</span></a></li>
	<li id="item_friends"<?php if ($page == 'Friends of Eclipse') print $active;?>><a href="/kepler/friends.php" title="Friends of Kepler"><span class="icon"></span><span class="caption">Friends of Kepler</span></a></li>
</ul>
<p id="release-date">Coming June 26, 2013<br/><span>Learn more about <a href="http://wiki.eclipse.org/Kepler" title="About Eclipse Kepler 4.3">Eclipse Kepler</a></span></p>
<a href="/kepler/kepler.php" class="info-button<?php if ($page == 'Who is Kepler?') print ' active';?>" title="Who is Kepler?">Who is Kepler?</a>