<a href="http://mercurial.selenic.com/" title="Mercurial">

            <img src="/images/hglogo.png" width="75" height="90" alt="mercurial"/></a>

        </p>

    </div>

    <div id="corner-top-left"></div>

    <div id="corner-top-right"></div>

    <div id="corner-bottom-left"></div>

    <div id="corner-bottom-right"></div>

</div>

</body>

</html>

### MAKO DEFS ### 

<%def name="page_nav()">

	${self.menu()}

</%def>

<%def name="menu(current)">

<% 

def is_current(selected):

	if selected == current:

%>

		%if current not in ['home','admin']:

	       <script type="text/javascript">

	       	YAHOO.util.Event.onDOMReady(function(){

				YAHOO.util.Event.addListener('repo_switcher','click',function(){

					if(YAHOO.util.Dom.hasClass('repo_switcher','selected')){

						YAHOO.util.Dom.setStyle('switch_repos','display','none');

						YAHOO.util.Dom.setStyle('repo_switcher','background','');

						YAHOO.util.Dom.removeClass('repo_switcher','selected');

					}

					else{

						YAHOO.util.Dom.setStyle('switch_repos','display','');

						YAHOO.util.Dom.setStyle('repo_switcher','background','#FFFFFF');

						YAHOO.util.Dom.addClass('repo_switcher','selected');

					}

					});

				YAHOO.util.Event.addListener('repos_list','change',function(e){

		            var wa = YAHOO.util.Dom.get('repos_list').value;

		            var url = "${h.url('summary_home',repo_name='__REPLACE__')}".replace('__REPLACE__',wa);

			        window.location = url;

				})

	           });

	       	</script>